laser.regularlanguage.fsa.test
Class StringMutableFSATests

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

public class StringMutableFSATests
extends MutableFSATests<StringLabel>


Field Summary
 
Fields inherited from class laser.regularlanguage.fsa.test.MutableFSATests
fsa_, fsaFactory_, labelPattern_, labelPatternDFA_
 
Fields inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
emptyDFA_, labelDFA_, labelEpsilonFreeNFA_, starDFA_, starNFA_
 
Constructor Summary
StringMutableFSATests()
           
 
Method Summary
protected  AbstractMutableFSAFactory<StringLabel> _createMutableFSAFactory()
           
 
Methods inherited from class laser.regularlanguage.fsa.test.MutableFSATests
_createAlphabetInstance, _createEmptyDFA, _createLabelDFA, _createLabelEpsilonFreeNFA, _createLabelPatternDFA, _createStarDFA, _createStarNFA, _setUp, abstractEquals, getEmptyDFA, getLabelDFA, getLabelEpsilonFreeNFA, getLabelPatternDFA, getStarDFA, getStarNFA, testAddEpsilonTransitionNullSource, testAddEpsilonTransitionNullTarget, testAddEpsilonTransitionOnce, testAddEpsilonTransitionSourceNotInQ, testAddEpsilonTransitionTargetNotInQ, testAddEpsilonTransitionTwice, testAddLabel, testAddLabelInSigma, testAddLabelNull, testAddLabelPatternTransitionNullLabelPattern, testAddLabelPatternTransitionNullSource, testAddLabelPatternTransitionNullTarget, testAddLabelPatternTransitionOnce, testAddLabelPatternTransitionSourceNotInQ, testAddLabelPatternTransitionTargetNotInQ, testAddLabelPatternTransitionTwice, testAddLabelTransitionLabelNotInSigma, testAddLabelTransitionNullLabel, testAddLabelTransitionNullSource, testAddLabelTransitionNullTarget, testAddLabelTransitionOnce, testAddLabelTransitionSourceNotInQ, testAddLabelTransitionTargetNotInQ, testAddLabelTransitionTwice, testAddState, testCheckWellFormedNullStartStateReturnsNotNull, testCreateLabelInstance, testDeleteDeadReturnsFalse, testDeleteDeadReturnsTrue, testDeleteUnreachableReturnsFalse, testDeleteUnreachableReturnsTrue, testGetLabelPatternTransitionNullLabelPattern, testGetLabelPatternTransitionNullSource, testGetLabelPatternTransitionNullTarget, testGetLabelPatternTransitionReturnsNotNull, testGetLabelPatternTransitionReturnsNull, testGetLabelPatternTransitionSourceNotInQ, testGetLabelPatternTransitionTargetNotInQ, testGetRunnableFSANotWellFormedFSA, testGetRunnableFSAWellFormedFSA, testHasLabelPatternTransitionsReturnFalse, testHasLabelPatternTransitionsReturnsTrue, testIsDeterministicNotWellFormed, testMakeTotalReturnsNotNull, testMakeTotalReturnsNull, testRemoveEpsilonTransitionInT, testRemoveEpsilonTransitionNotInT, testRemoveEpsilonTransitionNull, testRemoveLabelInSigma, testRemoveLabelInSigmaWithoutTransition, testRemoveLabelInSigmaWithTransition, testRemoveLabelNotInSigma, testRemoveLabelNull, testRemoveLabelPatternTransitionInT, testRemoveLabelPatternTransitionNotInT, testRemoveLabelPatternTransitionNull, testRemoveLabelsInSigma, testRemoveLabelsInSigmaWithoutTransition, testRemoveLabelsInSigmaWithTransition, testRemoveLabelsLabelNotInSigma, testRemoveLabelsLabelNull, testRemoveLabelsNull, testRemoveLabelTransitionInT, testRemoveLabelTransitionNotInT, testRemoveLabelTransitionNull, testRemoveStateInQIsNotStartIsAccept, testRemoveStateInQIsStartIsNotAccept, testRemoveStateNotInQ, testRemoveStateNull, testRemoveTransitionInT, testRemoveTransitionNotInT, testRemoveTransitionNull, testReplaceLabelPatternTransitionsWithLabelTransitionsHasLabelPatterns, testReplaceLabelPatternTransitionsWithLabelTransitionsNotHasLabelPatterns, testSetAlphabetNotNull, testSetAlphabetNotNullIsCopy, testSetAlphabetNull, testSetStartStateInQ, testSetStartStateNotInQ, testSetStartStateNull
 
Methods inherited from class laser.regularlanguage.fsa.test.FSATests
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

StringMutableFSATests

public StringMutableFSATests()
Method Detail

_createMutableFSAFactory

protected AbstractMutableFSAFactory<StringLabel> _createMutableFSAFactory()
Specified by:
_createMutableFSAFactory in class MutableFSATests<StringLabel>