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

Packages that use Operation

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

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

Modifier and Type	Method and Description
Operation	Operation.addScenario(Scenario scenario) Adds a Scenario to this Operation.
Operation	Operation.checkCompleteness(Notice topInfo) Checks this Operation for completeness under all memory and input conditions.
Operation	TestStep.getOperation() Returns the Operation exercised by this TestStep.
Operation	Protocol.getOperation(Event event) Returns the Operation corresponding to the supplied Event.
Operation	Protocol.getOperation(java.lang.String name) Returns the Operation with the specified unique name.
Operation	Operation.resolve(Scope scope) Cause this Operation to resolve its global/local Parameter references.

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

Modifier and Type	Method and Description
java.util.Set<Operation>	Protocol.getOperations() Returns all the Operations of this Protocol, as a set.

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

Modifier and Type	Method and Description
TestStep	TestStep.addOperation(Operation operation) Adds the Operation exercised by this TestStep.
Protocol	Protocol.addOperation(Operation operation) Adds an Operation to this Protocol's set of Operations.
TestStep	TestStep.recordInputs(Operation attempted) Records a snapshot of the Input bindings of an Operation.
TestStep	TestStep.recordResults(Operation executed) Records a snapshot of the Output or Failure bindings of an Operation.