laser.regularlanguage.fsa.test
Class FSATests<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.FSATests<L>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
MutableFSATests, RunnableFSATests

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


Field Summary
 
Fields inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
emptyDFA_, labelDFA_, labelEpsilonFreeNFA_, starDFA_, starNFA_
 
Constructor Summary
FSATests()
           
 
Method Summary
protected  void abstractEquals(FSAInterface<L> oldFSA, FSAInterface<L> newFSA)
           
 void testCheckWellFormedReturnsNull()
           
 void testClone()
           
 void testGetAcceptStatesAndGetNonAcceptStatesAreMutuallyExclusive()
           
 void testGetAcceptStatesIsCopy()
           
 void testGetAcceptStatesThenIsAcceptReturnsTrue()
           
 void testGetAcceptStatesUnionGetNonAcceptStatesIsGetStates()
           
 void testGetAlphabetIsCopy()
           
 void testGetDescriptionNotNullIsCopy()
           
 void testGetEpsilonTransitionNullSource()
           
 void testGetEpsilonTransitionNullTarget()
           
 void testGetEpsilonTransitionReturnsNotNull()
           
 void testGetEpsilonTransitionReturnsNull()
           
 void testGetEpsilonTransitionSourceNotInQ()
           
 void testGetEpsilonTransitionTargetNotInQ()
           
 void testGetLabelTransitionLabelNotInSigma()
           
 void testGetLabelTransitionNullLabel()
           
 void testGetLabelTransitionNullSource()
           
 void testGetLabelTransitionNullTarget()
           
 void testGetLabelTransitionReturnsNotNull()
           
 void testGetLabelTransitionReturnsNull()
           
 void testGetLabelTransitionSourceNotInQ()
           
 void testGetLabelTransitionTargetNotInQ()
           
 void testGetNonAcceptStatesIsCopy()
           
 void testGetNonAcceptStatesThenIsAcceptReturnsFalse()
           
 void testGetStartStateReturnsNotNull()
           
 void testGetStatesHaveUniqueIDs()
           
 void testGetStatesIsCopy()
           
 void testGetTransitionsHaveUniqueIDs()
           
 void testGetTransitionsIsCopy()
           
 void testGetTransitionsNullSource()
           
 void testGetTransitionsNullTarget()
           
 void testGetTransitionsReturnsEmpty()
           
 void testGetTransitionsReturnsEmptyIsCopy()
           
 void testGetTransitionsReturnsNotEmpty()
           
 void testGetTransitionsReturnsNotEmptyIsCopy()
           
 void testGetTransitionsSourceNotInQ()
           
 void testGetTransitionsTargetNotInQ()
           
 void testHasEpsilonTransitionsReturnsFalse()
           
 void testHasEpsilonTransitionsReturnsTrue()
           
 void testIsDeterministicHasEpsilonReturnsFalse()
           
 void testIsDeterministicHasNondeterminismReturnsFalse()
           
 void testIsDeterministicReturnsTrue()
           
 void testIsTotalReturnsFalse()
           
 void testIsTotalReturnsTrue()
           
 void testSetDescriptionNotNull()
           
 void testSetDescriptionNotNullIsCopy()
           
 void testSetDescriptionNull()
           
 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

FSATests

public FSATests()
Method Detail

abstractEquals

protected void abstractEquals(FSAInterface<L> oldFSA,
                              FSAInterface<L> newFSA)

testSetNameNull

public final void testSetNameNull()

testSetNameNotNull

public final void testSetNameNotNull()

testGetDescriptionNotNullIsCopy

public final void testGetDescriptionNotNullIsCopy()

testSetDescriptionNull

public final void testSetDescriptionNull()

testSetDescriptionNotNull

public final void testSetDescriptionNotNull()

testSetDescriptionNotNullIsCopy

public final void testSetDescriptionNotNullIsCopy()

testGetAlphabetIsCopy

public final void testGetAlphabetIsCopy()

testGetAcceptStatesIsCopy

public final void testGetAcceptStatesIsCopy()

testGetNonAcceptStatesIsCopy

public final void testGetNonAcceptStatesIsCopy()

testGetAcceptStatesThenIsAcceptReturnsTrue

public final void testGetAcceptStatesThenIsAcceptReturnsTrue()

testGetNonAcceptStatesThenIsAcceptReturnsFalse

public final void testGetNonAcceptStatesThenIsAcceptReturnsFalse()

testGetAcceptStatesAndGetNonAcceptStatesAreMutuallyExclusive

public final void testGetAcceptStatesAndGetNonAcceptStatesAreMutuallyExclusive()

testGetAcceptStatesUnionGetNonAcceptStatesIsGetStates

public final void testGetAcceptStatesUnionGetNonAcceptStatesIsGetStates()

testGetEpsilonTransitionNullSource

public final void testGetEpsilonTransitionNullSource()

testGetEpsilonTransitionNullTarget

public final void testGetEpsilonTransitionNullTarget()

testGetEpsilonTransitionSourceNotInQ

public final void testGetEpsilonTransitionSourceNotInQ()

testGetEpsilonTransitionTargetNotInQ

public final void testGetEpsilonTransitionTargetNotInQ()

testGetEpsilonTransitionReturnsNotNull

public final void testGetEpsilonTransitionReturnsNotNull()

testGetEpsilonTransitionReturnsNull

public final void testGetEpsilonTransitionReturnsNull()

testGetStartStateReturnsNotNull

public final void testGetStartStateReturnsNotNull()

testGetStatesHaveUniqueIDs

public final void testGetStatesHaveUniqueIDs()

testGetStatesIsCopy

public final void testGetStatesIsCopy()

testHasEpsilonTransitionsReturnsFalse

public final void testHasEpsilonTransitionsReturnsFalse()

testHasEpsilonTransitionsReturnsTrue

public final void testHasEpsilonTransitionsReturnsTrue()

testGetLabelTransitionNullSource

public final void testGetLabelTransitionNullSource()

testGetLabelTransitionNullTarget

public final void testGetLabelTransitionNullTarget()

testGetLabelTransitionNullLabel

public final void testGetLabelTransitionNullLabel()

testGetLabelTransitionSourceNotInQ

public final void testGetLabelTransitionSourceNotInQ()

testGetLabelTransitionTargetNotInQ

public final void testGetLabelTransitionTargetNotInQ()

testGetLabelTransitionLabelNotInSigma

public final void testGetLabelTransitionLabelNotInSigma()

testGetLabelTransitionReturnsNotNull

public final void testGetLabelTransitionReturnsNotNull()

testGetLabelTransitionReturnsNull

public final void testGetLabelTransitionReturnsNull()

testGetTransitionsHaveUniqueIDs

public final void testGetTransitionsHaveUniqueIDs()

testGetTransitionsIsCopy

public final void testGetTransitionsIsCopy()

testGetTransitionsNullSource

public final void testGetTransitionsNullSource()

testGetTransitionsNullTarget

public final void testGetTransitionsNullTarget()

testGetTransitionsSourceNotInQ

public final void testGetTransitionsSourceNotInQ()

testGetTransitionsTargetNotInQ

public final void testGetTransitionsTargetNotInQ()

testGetTransitionsReturnsEmpty

public final void testGetTransitionsReturnsEmpty()

testGetTransitionsReturnsNotEmpty

public final void testGetTransitionsReturnsNotEmpty()

testGetTransitionsReturnsEmptyIsCopy

public final void testGetTransitionsReturnsEmptyIsCopy()

testGetTransitionsReturnsNotEmptyIsCopy

public final void testGetTransitionsReturnsNotEmptyIsCopy()

testCheckWellFormedReturnsNull

public final void testCheckWellFormedReturnsNull()

testClone

public final void testClone()

testIsDeterministicHasEpsilonReturnsFalse

public final void testIsDeterministicHasEpsilonReturnsFalse()

testIsDeterministicHasNondeterminismReturnsFalse

public final void testIsDeterministicHasNondeterminismReturnsFalse()

testIsDeterministicReturnsTrue

public final void testIsDeterministicReturnsTrue()

testIsTotalReturnsFalse

public final void testIsTotalReturnsFalse()

testIsTotalReturnsTrue

public final void testIsTotalReturnsTrue()