|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object is.lill.acre.protocol.State
public class State
Field Summary | |
---|---|
protected java.util.Set<Transition> |
inTransitions
|
protected java.util.Set<Transition> |
outTransitions
|
Constructor Summary | |
---|---|
State(java.lang.String name)
Constructor |
Method Summary | |
---|---|
void |
addInTransition(Transition transition)
|
void |
addOutTransition(Transition transition)
Add a transition that starts at this State |
java.util.Set<Transition> |
getInTransitions()
|
java.lang.String |
getName()
Get the name of this State |
java.util.Set<State> |
getNextStates()
Find all the states that are reachable from this State. |
java.util.Set<Transition> |
getOutTransitions()
|
java.util.Set<State> |
getPreviousStates()
Find all states from which it is possible to reach this state directly. |
StateType |
getType()
|
boolean |
isInitialState()
|
boolean |
isTerminalState()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected java.util.Set<Transition> inTransitions
protected java.util.Set<Transition> outTransitions
Constructor Detail |
---|
public State(java.lang.String name)
name
- type
- Type of State
being created. Options are
State.INITIAL
, State.MIDDLE
or
State.TERMINAL
.Method Detail |
---|
public java.util.Set<Transition> getInTransitions()
public java.util.Set<Transition> getOutTransitions()
public java.lang.String getName()
public void addOutTransition(Transition transition)
transition
- public void addInTransition(Transition transition)
public boolean isInitialState()
public boolean isTerminalState()
public StateType getType()
public java.util.Set<State> getNextStates()
public java.util.Set<State> getPreviousStates()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |