laser.regularlanguage.fsa.test
Class FSAStateTests<L extends LabelInterface>

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by laser.regularlanguage.fsa.test.FSARelatedTests<L>
              extended by laser.regularlanguage.fsa.test.FSAStateTests<L>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
MutableFSAStateTests, RunnableFSAStateTests

public abstract class FSAStateTests<L extends LabelInterface>
extends FSARelatedTests<L>


Field Summary
 
Fields inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
emptyDFA_, labelDFA_, labelEpsilonFreeNFA_, starDFA_, starNFA_
 
Constructor Summary
FSAStateTests()
           
 
Method Summary
 void testGetIncomingEpsilonTransitionsReturnsEmpty()
           
 void testGetIncomingEpsilonTransitionsReturnsEmptyIsCopy()
           
 void testGetIncomingEpsilonTransitionsReturnsNotEmpty()
           
 void testGetIncomingEpsilonTransitionsReturnsNotEmptyIsCopy()
           
 void testGetIncomingLabelTransitionsLabelInSigmaReturnsEmpty()
           
 void testGetIncomingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy()
           
 void testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmpty()
           
 void testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy()
           
 void testGetIncomingLabelTransitionsLabelNotInSigma()
           
 void testGetIncomingLabelTransitionsNullLabel()
           
 void testGetIncomingTransitionsReturnsEmpty()
           
 void testGetIncomingTransitionsReturnsEmptyIsCopy()
           
 void testGetIncomingTransitionsReturnsNotEmpty()
           
 void testGetIncomingTransitionsReturnsNotEmptyIsCopy()
           
 void testGetIncomingTransitionsUnionIsT()
           
 void testGetOutgoingEpsilonTransitionsReturnsEmpty()
           
 void testGetOutgoingEpsilonTransitionsReturnsEmptyIsCopy()
           
 void testGetOutgoingEpsilonTransitionsReturnsNotEmpty()
           
 void testGetOutgoingEpsilonTransitionsReturnsNotEmptyIsCopy()
           
 void testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmpty()
           
 void testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy()
           
 void testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmpty()
           
 void testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy()
           
 void testGetOutgoingLabelTransitionsLabelNotInSigma()
           
 void testGetOutgoingLabelTransitionsNullLabel()
           
 void testGetOutgoingTransitionsReturnsEmpty()
           
 void testGetOutgoingTransitionsReturnsEmptyIsCopy()
           
 void testGetOutgoingTransitionsReturnsNotEmpty()
           
 void testGetOutgoingTransitionsReturnsNotEmptyIsCopy()
           
 void testGetOutgoingTransitionsUnionIsT()
           
 void testIsAcceptReturnsFalse()
           
 void testIsAcceptReturnsTrue()
           
 void testIsDeterministicHasEpsilonReturnsFalse()
           
 void testIsDeterministicHasNondeterminismReturnsFalse()
           
 void testIsDeterministicReturnsTrue()
           
 void testIsSinkExistsOutgoingTransitionReturnsFalse()
           
 void testIsSinkNotExistsOutgoingTransitionReturnsFalse()
           
 void testIsSinkReturnsTrue()
           
 void testIsStartReturnsFalse()
           
 void testIsStartReturnsTrue()
           
 void testIsStartReturnsTrueOnZeroOrOneStates()
           
 void testSetNameNotNull()
           
 void testSetNameNull()
           
 
Methods inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
_createAlphabetInstance, _createEmptyDFA, _createLabelDFA, _createLabelEpsilonFreeNFA, _createStarDFA, _createStarNFA, _setUp, checkEmptyDFAPostconditions, checkLabelDFAPostconditions, checkLabelEpsilonFreeNFAPostconditions, checkStarDFAPostconditions, checkStarNFAPostconditions, copyAlphabetInstance, setUp, testCheckEmptyDFAPostconditions, testCheckLabelDFAPostconditions, testCheckLabelEpsilonFreeNFAPostconditions, testCheckStarDFAPostconditions, testCheckStarNFAPostconditions, testDFAInterfaceIsWellDefined
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FSAStateTests

public FSAStateTests()
Method Detail

testSetNameNull

public final void testSetNameNull()

testSetNameNotNull

public final void testSetNameNotNull()

testIsStartReturnsFalse

public final void testIsStartReturnsFalse()

testIsStartReturnsTrue

public final void testIsStartReturnsTrue()

testIsStartReturnsTrueOnZeroOrOneStates

public final void testIsStartReturnsTrueOnZeroOrOneStates()

testIsAcceptReturnsFalse

public final void testIsAcceptReturnsFalse()

testIsAcceptReturnsTrue

public final void testIsAcceptReturnsTrue()

testGetIncomingEpsilonTransitionsReturnsEmpty

public final void testGetIncomingEpsilonTransitionsReturnsEmpty()

testGetIncomingEpsilonTransitionsReturnsNotEmpty

public final void testGetIncomingEpsilonTransitionsReturnsNotEmpty()

testGetIncomingEpsilonTransitionsReturnsEmptyIsCopy

public final void testGetIncomingEpsilonTransitionsReturnsEmptyIsCopy()

testGetIncomingEpsilonTransitionsReturnsNotEmptyIsCopy

public final void testGetIncomingEpsilonTransitionsReturnsNotEmptyIsCopy()

testGetIncomingLabelTransitionsNullLabel

public final void testGetIncomingLabelTransitionsNullLabel()

testGetIncomingLabelTransitionsLabelNotInSigma

public final void testGetIncomingLabelTransitionsLabelNotInSigma()

testGetIncomingLabelTransitionsLabelInSigmaReturnsEmpty

public final void testGetIncomingLabelTransitionsLabelInSigmaReturnsEmpty()

testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmpty

public final void testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmpty()

testGetIncomingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy

public final void testGetIncomingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy()

testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy

public final void testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy()

testGetIncomingTransitionsReturnsEmpty

public final void testGetIncomingTransitionsReturnsEmpty()

testGetIncomingTransitionsReturnsNotEmpty

public final void testGetIncomingTransitionsReturnsNotEmpty()

testGetIncomingTransitionsReturnsEmptyIsCopy

public final void testGetIncomingTransitionsReturnsEmptyIsCopy()

testGetIncomingTransitionsReturnsNotEmptyIsCopy

public final void testGetIncomingTransitionsReturnsNotEmptyIsCopy()

testGetIncomingTransitionsUnionIsT

public final void testGetIncomingTransitionsUnionIsT()

testGetOutgoingEpsilonTransitionsReturnsEmpty

public final void testGetOutgoingEpsilonTransitionsReturnsEmpty()

testGetOutgoingEpsilonTransitionsReturnsNotEmpty

public final void testGetOutgoingEpsilonTransitionsReturnsNotEmpty()

testGetOutgoingEpsilonTransitionsReturnsEmptyIsCopy

public final void testGetOutgoingEpsilonTransitionsReturnsEmptyIsCopy()

testGetOutgoingEpsilonTransitionsReturnsNotEmptyIsCopy

public final void testGetOutgoingEpsilonTransitionsReturnsNotEmptyIsCopy()

testGetOutgoingLabelTransitionsNullLabel

public final void testGetOutgoingLabelTransitionsNullLabel()

testGetOutgoingLabelTransitionsLabelNotInSigma

public final void testGetOutgoingLabelTransitionsLabelNotInSigma()

testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmpty

public final void testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmpty()

testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmpty

public final void testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmpty()

testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy

public final void testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy()

testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy

public final void testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy()

testGetOutgoingTransitionsReturnsEmpty

public final void testGetOutgoingTransitionsReturnsEmpty()

testGetOutgoingTransitionsReturnsNotEmpty

public final void testGetOutgoingTransitionsReturnsNotEmpty()

testGetOutgoingTransitionsReturnsEmptyIsCopy

public final void testGetOutgoingTransitionsReturnsEmptyIsCopy()

testGetOutgoingTransitionsReturnsNotEmptyIsCopy

public final void testGetOutgoingTransitionsReturnsNotEmptyIsCopy()

testGetOutgoingTransitionsUnionIsT

public final void testGetOutgoingTransitionsUnionIsT()

testIsDeterministicHasEpsilonReturnsFalse

public final void testIsDeterministicHasEpsilonReturnsFalse()

testIsDeterministicHasNondeterminismReturnsFalse

public final void testIsDeterministicHasNondeterminismReturnsFalse()

testIsDeterministicReturnsTrue

public final void testIsDeterministicReturnsTrue()

testIsSinkExistsOutgoingTransitionReturnsFalse

public final void testIsSinkExistsOutgoingTransitionReturnsFalse()

testIsSinkNotExistsOutgoingTransitionReturnsFalse

public final void testIsSinkNotExistsOutgoingTransitionReturnsFalse()

testIsSinkReturnsTrue

public final void testIsSinkReturnsTrue()