de.upb.hni.vmagic.highlevel
Interface StateMachine.State

Enclosing class:
StateMachine

public static interface StateMachine.State

State in a state machine.


Method Summary
 SequentialStatement createStateChange()
          Creates an unconditional state change.
 SequentialStatement createStateChange(Expression condition)
          Creates a conditional state change.
 Choice getChoice()
          Returns the choice.
 java.lang.String getIdentifier()
          Returns the identifier of this state.
 EnumerationLiteral getLiteral()
          Returns the enumeration literal associated with this state.
 java.util.List<SequentialStatement> getStatements()
          Returns the statements in this state.
 void setIdentifier(java.lang.String identifier)
          Sets the identifier of this state.
 

Method Detail

getIdentifier

java.lang.String getIdentifier()
Returns the identifier of this state.

Returns:
the identifier

setIdentifier

void setIdentifier(java.lang.String identifier)
Sets the identifier of this state.

Parameters:
identifier - the identifeir

getLiteral

EnumerationLiteral getLiteral()
Returns the enumeration literal associated with this state.

Returns:
the enumeration literal

getChoice

Choice getChoice()
Returns the choice.

Returns:
the choice

getStatements

java.util.List<SequentialStatement> getStatements()
Returns the statements in this state.

Returns:
a modifiable list of squential statements

createStateChange

SequentialStatement createStateChange()
Creates an unconditional state change.

Returns:
the state change

createStateChange

SequentialStatement createStateChange(Expression condition)
Creates a conditional state change.

Parameters:
condition - the condition
Returns:
the state change