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

Packages that use Machine

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

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

Modifier and Type	Method and Description
Machine	Machine.addState(State state) Adds a named State to the Machine.
Machine	Machine.clear() Resets every State and Transition in this Machine to its unmarked status.
Machine	Service.getMachine() Returns the finite state Machine of this Service.
Machine	Machine.reset() Resets this Machine to its initial State.
Machine	Service.validateMachine() Validates the states and transitions of this Service's state Machine.
Machine	Machine.validateMachine(Protocol protocol) Validates the States and Transitions of this Machine for completeness.

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

Modifier and Type	Method and Description
Service	Service.addMachine(Machine machine) Adds the finite state Machine of this Service.
Protocol	Protocol.verifyProtocol(Machine machine) Verifies this Protocol for formal consistency and completeness.