|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectscanner.FinaleStateAutomata
This class defines finale state automatas.
AutomataDefinition
Constructor Summary | |
FinaleStateAutomata()
Constructs a new automata. |
|
FinaleStateAutomata(AutomataDefinition def)
Creates a new automata from the specified definition. |
Method Summary | |
State |
getCurrentState()
Returns the current state of this automata. |
AutomataDefinition |
getDefinition()
Returns the definition of this automata. |
java.lang.String |
getReceivedCharacters()
Returns a string that representes the list of all characters received by this finale state automata. |
State |
getStartingState()
Returns the starting state of this automata. |
Transition |
getTransitionFor(char character)
Returns the transition that can be activated from this automata's current state with the specified character. |
void |
initialize()
Initializes this state machine. |
void |
sendChar(char character)
Sends a character to this automata. |
void |
setDefinition(AutomataDefinition definition)
Sets the definition of this automata. |
java.lang.String |
toString()
Returns a string representation of this object. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public FinaleStateAutomata()
public FinaleStateAutomata(AutomataDefinition def)
def
- The definition of states and transitions of this automata.Method Detail |
public AutomataDefinition getDefinition()
public void setDefinition(AutomataDefinition definition)
initialize()
public void sendChar(char character) throws NoTransitionFoundException
character
- The character to be sent to this automata.
NoTransitionFoundException
public Transition getTransitionFor(char character)
character
- A character.
getCurrentState()
public State getStartingState()
public State getCurrentState()
public java.lang.String getReceivedCharacters()
public void initialize()
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |