laser.regularlanguage.fsa.test
Class MutableFSAStateTests<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>
                  extended by laser.regularlanguage.fsa.test.MutableFSAStateTests<L>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
StringMutableDFAStateTests, StringMutableFSAStateTests

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


Field Summary
protected  MutableFSAInterface<L> fsa_
           
protected  AbstractMutableFSAFactory<L> fsaFactory_
           
protected  MutableFSAInterface<L> labelPatternDFA_
           
 
Fields inherited from class laser.regularlanguage.fsa.test.FSARelatedTests
emptyDFA_, labelDFA_, labelEpsilonFreeNFA_, starDFA_, starNFA_
 
Constructor Summary
MutableFSAStateTests()
           
 
Method Summary
 AlphabetInterface<L> _createAlphabetInstance()
          Creates a new empty Alphabet.
protected  FSAInterface<L> _createEmptyDFA()
          Creates an empty DFA.
protected  FSAInterface<L> _createLabelDFA()
          Creates a label DFA.
protected  FSAInterface<L> _createLabelEpsilonFreeNFA()
          Creates a label epsilon-free NFA if non-determinism is supported.
protected abstract  AbstractMutableFSAFactory<L> _createMutableFSAFactory()
           
protected  FSAInterface<L> _createStarDFA()
          Creates a star DFA.
protected  FSAInterface<L> _createStarNFA()
          Creates a star NFA if epsilon transitions are supported.
protected  MutableFSAInterface<L> _getLabelPatternDFA()
           
protected  void _setUp()
           
 void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmpty()
           
 void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy()
           
 void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmpty()
           
 void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy()
           
 void testGetIncomingLabelPatternTransitionsNullLabelPattern()
           
 void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy()
           
 void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy()
           
 void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsEmpty()
           
 void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsNotEmpty()
           
 void testGetOutgoingLabelPatternTransitionsNullLabelPattern()
           
 void testIsDeterministicHasLabelPatternTransitionsReturnsFalse()
           
 void testSetAcceptFalseThenNotInA()
           
 void testSetAcceptTrueThenInA()
           
 
Methods inherited from class laser.regularlanguage.fsa.test.FSAStateTests
testGetIncomingEpsilonTransitionsReturnsEmpty, testGetIncomingEpsilonTransitionsReturnsEmptyIsCopy, testGetIncomingEpsilonTransitionsReturnsNotEmpty, testGetIncomingEpsilonTransitionsReturnsNotEmptyIsCopy, testGetIncomingLabelTransitionsLabelInSigmaReturnsEmpty, testGetIncomingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy, testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmpty, testGetIncomingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy, testGetIncomingLabelTransitionsLabelNotInSigma, testGetIncomingLabelTransitionsNullLabel, testGetIncomingTransitionsReturnsEmpty, testGetIncomingTransitionsReturnsEmptyIsCopy, testGetIncomingTransitionsReturnsNotEmpty, testGetIncomingTransitionsReturnsNotEmptyIsCopy, testGetIncomingTransitionsUnionIsT, testGetOutgoingEpsilonTransitionsReturnsEmpty, testGetOutgoingEpsilonTransitionsReturnsEmptyIsCopy, testGetOutgoingEpsilonTransitionsReturnsNotEmpty, testGetOutgoingEpsilonTransitionsReturnsNotEmptyIsCopy, testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmpty, testGetOutgoingLabelTransitionsLabelInSigmaReturnsEmptyIsCopy, testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmpty, testGetOutgoingLabelTransitionsLabelInSigmaReturnsNotEmptyIsCopy, testGetOutgoingLabelTransitionsLabelNotInSigma, testGetOutgoingLabelTransitionsNullLabel, testGetOutgoingTransitionsReturnsEmpty, testGetOutgoingTransitionsReturnsEmptyIsCopy, testGetOutgoingTransitionsReturnsNotEmpty, testGetOutgoingTransitionsReturnsNotEmptyIsCopy, testGetOutgoingTransitionsUnionIsT, testIsAcceptReturnsFalse, testIsAcceptReturnsTrue, testIsDeterministicHasEpsilonReturnsFalse, testIsDeterministicHasNondeterminismReturnsFalse, testIsDeterministicReturnsTrue, testIsSinkExistsOutgoingTransitionReturnsFalse, testIsSinkNotExistsOutgoingTransitionReturnsFalse, testIsSinkReturnsTrue, testIsStartReturnsFalse, testIsStartReturnsTrue, testIsStartReturnsTrueOnZeroOrOneStates, 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
 

Field Detail

fsaFactory_

protected AbstractMutableFSAFactory<L extends LabelInterface> fsaFactory_

fsa_

protected MutableFSAInterface<L extends LabelInterface> fsa_

labelPatternDFA_

protected MutableFSAInterface<L extends LabelInterface> labelPatternDFA_
Constructor Detail

MutableFSAStateTests

public MutableFSAStateTests()
Method Detail

_setUp

protected void _setUp()
               throws java.lang.Exception
Overrides:
_setUp in class FSARelatedTests<L extends LabelInterface>
Throws:
java.lang.Exception

_createEmptyDFA

protected FSAInterface<L> _createEmptyDFA()
Description copied from class: FSARelatedTests
Creates an empty DFA.

POSTCONDITIONS:

Specified by:
_createEmptyDFA in class FSARelatedTests<L extends LabelInterface>
Returns:
An empty DFA

_createLabelDFA

protected FSAInterface<L> _createLabelDFA()
Description copied from class: FSARelatedTests
Creates a label DFA.

POSTCONDITIONS:

Specified by:
_createLabelDFA in class FSARelatedTests<L extends LabelInterface>
Returns:
A label DFA

_getLabelPatternDFA

protected MutableFSAInterface<L> _getLabelPatternDFA()

_createLabelEpsilonFreeNFA

protected FSAInterface<L> _createLabelEpsilonFreeNFA()
Description copied from class: FSARelatedTests
Creates a label epsilon-free NFA if non-determinism is supported.

POSTCONDITIONS if non-determinism is supported:

Specified by:
_createLabelEpsilonFreeNFA in class FSARelatedTests<L extends LabelInterface>
Returns:
A label epsilon-free NFA if non-determinism is supported otherwise null

_createStarDFA

protected FSAInterface<L> _createStarDFA()
Description copied from class: FSARelatedTests
Creates a star DFA.

POSTCONDITIONS:

Specified by:
_createStarDFA in class FSARelatedTests<L extends LabelInterface>
Returns:
A star DFA

_createStarNFA

protected FSAInterface<L> _createStarNFA()
Description copied from class: FSARelatedTests
Creates a star NFA if epsilon transitions are supported.

POSTCONDITIONS if epsilon transitions are supported:

Specified by:
_createStarNFA in class FSARelatedTests<L extends LabelInterface>
Returns:
A star NFA if epsilon transitions are supported otherwise null

_createMutableFSAFactory

protected abstract AbstractMutableFSAFactory<L> _createMutableFSAFactory()

_createAlphabetInstance

public AlphabetInterface<L> _createAlphabetInstance()
Creates a new empty Alphabet. POSTCONDITIONS:

Specified by:
_createAlphabetInstance in class FSARelatedTests<L extends LabelInterface>

testSetAcceptFalseThenNotInA

public final void testSetAcceptFalseThenNotInA()

testSetAcceptTrueThenInA

public final void testSetAcceptTrueThenInA()

testGetIncomingLabelPatternTransitionsNullLabelPattern

public final void testGetIncomingLabelPatternTransitionsNullLabelPattern()

testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmpty

public final void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmpty()

testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmpty

public final void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmpty()

testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy

public final void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy()

testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy

public final void testGetIncomingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy()

testGetOutgoingLabelPatternTransitionsNullLabelPattern

public final void testGetOutgoingLabelPatternTransitionsNullLabelPattern()

testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsEmpty

public final void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsEmpty()

testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsNotEmpty

public final void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnsNotEmpty()

testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy

public final void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnEmptyIsCopy()

testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy

public final void testGetOutgoingLabelPatternTransitionsNotNullLabelPatternReturnNotEmptyIsCopy()

testIsDeterministicHasLabelPatternTransitionsReturnsFalse

public final void testIsDeterministicHasLabelPatternTransitionsReturnsFalse()