laser.regularlanguage.fsa.test
Class AbstractStringMutableFSAFactory

java.lang.Object
  extended by laser.regularlanguage.fsa.test.AbstractMutableFSAFactory<StringLabel>
      extended by laser.regularlanguage.fsa.test.AbstractStringMutableFSAFactory
Direct Known Subclasses:
StringMutableDFAFactory, StringMutableFSAFactory

public abstract class AbstractStringMutableFSAFactory
extends AbstractMutableFSAFactory<StringLabel>


Field Summary
protected  LabelPatternFactoryInterface<StringLabel> labelPatternFactory_
           
protected  int nextID_
           
 
Fields inherited from class laser.regularlanguage.fsa.test.AbstractMutableFSAFactory
alphabetFactory_, fsaFactory_, prototypeFSA_
 
Constructor Summary
protected AbstractStringMutableFSAFactory()
           
 
Method Summary
 StringLabel createLabelInstance()
          Creates a new Label.
 LabelPatternInterface<StringLabel> createLabelPatternInstance()
          Creates a valid LabelPattern.
 
Methods inherited from class laser.regularlanguage.fsa.test.AbstractMutableFSAFactory
createAlphabetInstance, createEmptyDFA, createFSAEpsilonTransitionInstance, createFSAFactory, createFSALabelPatternTransitionInstance, createFSALabelTransitionInstance, createFSAStateInstance, createLabelDFA, createLabelEpsilonFreeNFA, createLabelPatternDFA, createMutableFSAInstance, createStarDFA, createStarNFA
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

labelPatternFactory_

protected final LabelPatternFactoryInterface<StringLabel> labelPatternFactory_

nextID_

protected int nextID_
Constructor Detail

AbstractStringMutableFSAFactory

protected AbstractStringMutableFSAFactory()
Method Detail

createLabelInstance

public StringLabel createLabelInstance()
Creates a new Label. POSTCONDITIONS:

Specified by:
createLabelInstance in class AbstractMutableFSAFactory<StringLabel>
Returns:
The new label

createLabelPatternInstance

public LabelPatternInterface<StringLabel> createLabelPatternInstance()
Creates a valid LabelPattern. POSTCONDITION: The LabelPattern must be non-null.

Specified by:
createLabelPatternInstance in class AbstractMutableFSAFactory<StringLabel>
Returns:
A valid label pattern