laser.regularlanguage.fsa.test
Class StringRunnableDFATests

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>
                  extended by laser.regularlanguage.fsa.test.RunnableFSATests<StringLabel>
                      extended by laser.regularlanguage.fsa.test.StringRunnableDFATests
All Implemented Interfaces:
junit.framework.Test

public class StringRunnableDFATests
extends RunnableFSATests<StringLabel>


Field Summary
 
Fields inherited from class laser.regularlanguage.fsa.test.RunnableFSATests
EMPTY_STRING, forwardsDFABecomesBackwardsNFA_, fsaFactory_
 
Fields inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
emptyDFA_, labelDFA_, labelEpsilonFreeNFA_, starDFA_, starNFA_
 
Constructor Summary
StringRunnableDFATests()
           
 
Method Summary
protected  AbstractRunnableFSAFactory<StringLabel> _createRunnableFSAFactory()
           
 
Methods inherited from class laser.regularlanguage.fsa.test.RunnableFSATests
_createAlphabetInstance, _createEmptyDFA, _createLabelDFA, _createLabelEpsilonFreeNFA, _createStarDFA, _createStarNFA, _setUp, getEmptyDFA, getLabelDFA, getLabelEpsilonFreeNFA, getStarDFA, getStarNFA, testGetInitialConfigurationForwardsDFA, testGetInitialConfigurationForwardsEpsilonFreeNFA, testGetInitialConfigurationForwardsIsCopy, testGetInitialConfigurationForwardsNFA, testGetMutableFSA, testIsAcceptedStringBackwardsEmptyDFA, testIsAcceptedStringBackwardsLabelDFA, testIsAcceptedStringBackwardsLabelEpsilonFreeNFA, testIsAcceptedStringBackwardsStarDFA, testIsAcceptedStringBackwardsStarNFA, testIsAcceptedStringForwardsEmptyDFA, testIsAcceptedStringForwardsLabelDFA, testIsAcceptedStringForwardsLabelEpsilonFreeNFA, testIsAcceptedStringForwardsStarDFA, testIsAcceptedStringForwardsStarNFA, testIsFinalConfigurationBackwardsReturnsFalse, testIsFinalConfigurationForwardsDFAReturnsFalse, testIsFinalConfigurationForwardsDFAReturnTrue, testIsFinalConfigurationForwardsEpsilonFreeNFAReturnsFalse, testIsFinalConfigurationForwardsNFAReturnsFalse, testIsFinalConfigurationsBackwardsReturnsTrue, testIsFinalConfigurationsForwardsEpsilonFreeNFAReturnsTrue, testIsFinalConfigurationsForwardsNFAReturnsTrue, testRunBackwardsOnLabelDFALabelInSigmaReturnsNotEmpty, testRunBackwardsOnLabelEpsilonFreeNFALabelInSigmaReturnsNotEmpty, testRunBackwardsOnLabelForwardsDFABecomesBackwardsNFA, testRunBackwardsOnLabelLabelInSigmaReturnsNotEmptyIsCopy, testRunBackwardsOnLabelLabelNotInSigma, testRunBackwardsOnLabelNFALabelInSigmaReturnsNotEmpty, testRunBackwardsOnLabelNotIsTotalLabelInSigmaReturnsEmpty, testRunBackwardsOnLabelNotIsTotalLabelInSigmaReturnsEmptyIsCopy, testRunBackwardsOnLabelNullConfiguration, testRunBackwardsOnLabelNullLabel, testRunBackwardsOnLabelNullState, testRunBackwardsOnLabelStateNotInQ, testRunBackwardsOnStringLabelNotInSigma, testRunBackwardsOnStringNullConfiguration, testRunBackwardsOnStringNullLabel, testRunBackwardsOnStringNullState, testRunBackwardsOnStringStateNotInQ, testRunForwardsOnLabelDFALabelInSigmaReturnsNotEmpty, testRunForwardsOnLabelEpsilonFreeNFALabelInSigmaReturnsNotEmpty, testRunForwardsOnLabelLabelInSigmaReturnsNotEmptyIsCopy, testRunForwardsOnLabelLabelNotInSigma, testRunForwardsOnLabelNFALabelInSigmaReturnsNotEmpty, testRunForwardsOnLabelNotIsTotalLabelInSigmaReturnsEmpty, testRunForwardsOnLabelNotIsTotalLabelInSigmaReturnsEmptyIsCopy, testRunForwardsOnLabelNullConfiguration, testRunForwardsOnLabelNullLabel, testRunForwardsOnLabelNullState, testRunForwardsOnLabelStateNotInQ, testRunForwardsOnStringLabelNotInSigma, testRunForwardsOnStringNullConfiguration, testRunForwardsOnStringNullLabel, testRunForwardsOnStringNullState, testRunForwardsOnStringStateNotInQ
 
Methods inherited from class laser.regularlanguage.fsa.test.FSATests
abstractEquals, testCheckWellFormedReturnsNull, testClone, testGetAcceptStatesAndGetNonAcceptStatesAreMutuallyExclusive, testGetAcceptStatesIsCopy, testGetAcceptStatesThenIsAcceptReturnsTrue, testGetAcceptStatesUnionGetNonAcceptStatesIsGetStates, testGetAlphabetIsCopy, testGetDescriptionNotNullIsCopy, testGetEpsilonTransitionNullSource, testGetEpsilonTransitionNullTarget, testGetEpsilonTransitionReturnsNotNull, testGetEpsilonTransitionReturnsNull, testGetEpsilonTransitionSourceNotInQ, testGetEpsilonTransitionTargetNotInQ, testGetLabelTransitionLabelNotInSigma, testGetLabelTransitionNullLabel, testGetLabelTransitionNullSource, testGetLabelTransitionNullTarget, testGetLabelTransitionReturnsNotNull, testGetLabelTransitionReturnsNull, testGetLabelTransitionSourceNotInQ, testGetLabelTransitionTargetNotInQ, testGetNonAcceptStatesIsCopy, testGetNonAcceptStatesThenIsAcceptReturnsFalse, testGetStartStateReturnsNotNull, testGetStatesHaveUniqueIDs, testGetStatesIsCopy, testGetTransitionsHaveUniqueIDs, testGetTransitionsIsCopy, testGetTransitionsNullSource, testGetTransitionsNullTarget, testGetTransitionsReturnsEmpty, testGetTransitionsReturnsEmptyIsCopy, testGetTransitionsReturnsNotEmpty, testGetTransitionsReturnsNotEmptyIsCopy, testGetTransitionsSourceNotInQ, testGetTransitionsTargetNotInQ, testHasEpsilonTransitionsReturnsFalse, testHasEpsilonTransitionsReturnsTrue, testIsDeterministicHasEpsilonReturnsFalse, testIsDeterministicHasNondeterminismReturnsFalse, testIsDeterministicReturnsTrue, testIsTotalReturnsFalse, testIsTotalReturnsTrue, testSetDescriptionNotNull, testSetDescriptionNotNullIsCopy, testSetDescriptionNull, testSetNameNotNull, testSetNameNull
 
Methods inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
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

StringRunnableDFATests

public StringRunnableDFATests()
Method Detail

_createRunnableFSAFactory

protected AbstractRunnableFSAFactory<StringLabel> _createRunnableFSAFactory()
Specified by:
_createRunnableFSAFactory in class RunnableFSATests<StringLabel>