|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.hni.vmagic.highlevel.StateMachine
public class StateMachine
State machine.
Nested Class Summary | |
---|---|
static interface |
StateMachine.State
State in a state machine. |
Constructor Summary | |
---|---|
StateMachine(java.lang.String identifier,
java.lang.String stateSignalIdentifier,
Signal clock,
Signal reset)
Creates a state machine. |
Method Summary | |
---|---|
StateMachine.State |
createOthersState()
Creates a new others state and adds it to this state machine. |
StateMachine.State |
createState(java.lang.String identifier)
Creates a new state and adds it to this state machine. |
Signal |
getClock()
Returns the clock signal. |
java.util.List<SequentialStatement> |
getCombinatorialStatements()
Returns the combinatorial statement. |
Signal |
getCurrentStateSignal()
Returns the signal that contains the current state. |
java.util.List<BlockDeclarativeItem> |
getDeclarations()
Returns the declaration. |
java.lang.String |
getIdentifier()
Returns the identifier. |
Signal |
getNextStateSignal()
Returns the signal that contains the next state. |
Signal |
getReset()
Returns the reset signal. |
java.util.List<Signal> |
getSensitivityList()
Returns the sensitivity list. |
StateMachine.State |
getStartState()
Returns the start state of this state machine. |
java.util.List<ConcurrentStatement> |
getStatements()
Returns the statements. |
java.util.List<SequentialStatement> |
getStatementsAfter()
Returns the statements after the case statement. |
java.util.List<SequentialStatement> |
getStatementsBefore()
Returns the statements before the case statement. |
java.util.List<StateMachine.State> |
getStates()
Returns a list of states. |
java.lang.String |
getStateSignalIdentifier()
Returns the identifier of the state signals. |
void |
setClock(Signal clock)
Sets the clock signal. |
void |
setIdentifier(java.lang.String identifier)
Sets the identifier. |
void |
setReset(Signal reset)
Sets the reset signal. |
void |
setStartState(StateMachine.State startState)
Sets the start state. |
void |
setStateSignalIdentifier(java.lang.String stateSignalIdentifier)
Sets the identifier of the state signals. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StateMachine(java.lang.String identifier, java.lang.String stateSignalIdentifier, Signal clock, Signal reset)
identifier
- the identifierstateSignalIdentifier
- the identifier of the state signalsclock
- the clock signalreset
- the reset signalMethod Detail |
---|
public java.lang.String getIdentifier()
public void setIdentifier(java.lang.String identifier)
identifier
- the identifierpublic java.lang.String getStateSignalIdentifier()
public void setStateSignalIdentifier(java.lang.String stateSignalIdentifier)
stateSignalIdentifier
- the identifierpublic java.util.List<StateMachine.State> getStates()
public java.util.List<Signal> getSensitivityList()
public java.util.List<SequentialStatement> getCombinatorialStatements()
public StateMachine.State getStartState()
public void setStartState(StateMachine.State startState)
startState
- the start statepublic Signal getCurrentStateSignal()
public Signal getNextStateSignal()
public StateMachine.State createState(java.lang.String identifier)
identifier
- the states identifier
public StateMachine.State createOthersState()
public java.util.List<BlockDeclarativeItem> getDeclarations()
public java.util.List<ConcurrentStatement> getStatements()
public java.util.List<SequentialStatement> getStatementsBefore()
public java.util.List<SequentialStatement> getStatementsAfter()
public Signal getClock()
public void setClock(Signal clock)
clock
- the clock signalpublic Signal getReset()
public void setReset(Signal reset)
reset
- the reset signal
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |