Uses of Class
at.jku.ssw.fp.sect05_4.dsl.StateModel.State
-
Packages that use StateModel.State Package Description at.jku.ssw.fp.sect05_4.dsl -
-
Uses of StateModel.State in at.jku.ssw.fp.sect05_4.dsl
Fields in at.jku.ssw.fp.sect05_4.dsl declared as StateModel.State Modifier and Type Field Description protected StateModel.State
StateModel. current
The current stateFields in at.jku.ssw.fp.sect05_4.dsl with type parameters of type StateModel.State Modifier and Type Field Description private Map<S,StateModel.State>
StateModel. states
Map from state value to state objectsMethods in at.jku.ssw.fp.sect05_4.dsl that return StateModel.State Modifier and Type Method Description protected StateModel.State
StateModel. inState(S s)
Tests if the given state is the current state.StateModel.State
StateModel.State. on(BooleanSupplier cond, Action action)
Adds a transition which triggers based on the given condition.
-