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

Packages that use Transition

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 Transition in uk.ac.sheffield.vtts.model

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

Modifier and Type	Method and Description
Transition	State.getEnabled(Event event) Returns the exit Transition whose name matches a given event.
Transition	State.getTransition(java.lang.String name) Returns the unique exit Transition with the given name.
Transition	Transition.setSource(java.lang.String source) Sets the name of the source State.
Transition	Transition.setTarget(java.lang.String target) Sets the name of the target State.

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

Modifier and Type	Method and Description
java.util.List<Transition>	State.getTransitions() Returns the list of exit Transitions for this State.
java.util.Set<Transition>	Machine.getTransitions() Returns the set of Transitions belonging to this Machine.

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

Modifier and Type	Method and Description
State	State.addTransition(Transition transition) Adds a named exit Transition to this State.