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

Packages that use Protocol

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

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

Modifier and Type	Method and Description
Protocol	Protocol.addMemory(Memory memory) Adds the Memory to this Protocol.
Protocol	Protocol.addOperation(Operation operation) Adds an Operation to this Protocol's set of Operations.
Protocol	Service.getProtocol() Returns the Protocol of this service.
Protocol	Protocol.reset() Resets this Protocol to its initial state.
Protocol	Service.verifyProtocol() Verifies this Service's Protocol for consistency and completeness.
Protocol	Protocol.verifyProtocol(Machine machine) Verifies this Protocol for formal consistency and completeness.

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

Modifier and Type	Method and Description
Service	Service.addProtocol(Protocol protocol) Adds the Protocol to this service.
Machine	Machine.validateMachine(Protocol protocol) Validates the States and Transitions of this Machine for completeness.