Uses of Class
uk.ac.sheffield.vtts.model.State

Packages that use State

Package	Description
uk.ac.sheffield.vtts.model	This package contains Broker@Cloud components for modelling service specifications and test suites, and for modelling expressions in the formal expression language.

Uses of State in uk.ac.sheffield.vtts.model

Methods in uk.ac.sheffield.vtts.model that return State

Modifier and Type	Method and Description
State	State.addTransition(Transition transition) Adds a named exit Transition to this State.
State	Machine.getCurrentState() Returns the current State;
State	Machine.getInitialState() Returns the initial State.
State	Machine.getState(java.lang.String name) Returns the unique State with the given name.
State	State.setInitial(boolean value) Sets whether this is a initial State.
State	State.snapshot() Takes a snapshot of this State, without its dependent Transitions.

Methods in uk.ac.sheffield.vtts.model that return types with arguments of type State

Modifier and Type	Method and Description
java.util.Set<State>	Machine.getStates() Returns the set of States belonging to this Machine.

Methods in uk.ac.sheffield.vtts.model with parameters of type State

Modifier and Type	Method and Description
Machine	Machine.addState(State state) Adds a named State to the Machine.