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

Packages that use Scenario

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

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

Modifier and Type	Method and Description
Scenario	Scenario.addBinding(Binding binding) Adds a Binding of initial Expressions to Variables to this Scenario.
Scenario	Scenario.addCondition(Condition condition) Adds the guard Condition for this Scenario.
Scenario	Scenario.addEffect(Effect effect) Adds the Effect,the updated binding of Expressions to Parameters.
Scenario	Operation.getScenario(Event event) Returns the Scenario corresponding to the supplied Event.
Scenario	Protocol.getScenario(Event event) Returns the Scenario corresponding to the supplied Event.
Scenario	Operation.getScenario(java.lang.String name) Returns the Scenario with the specified unique name, if it exists.
Scenario	Scenario.resolve(Scope scope) Causes this Scenario to resolve its global/local Parameter references.

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

Modifier and Type	Method and Description
java.util.Set<Scenario>	Operation.getScenarios() Returns this Operation's Scenarios as an ordered Set.

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

Modifier and Type	Method and Description
Operation	Operation.addScenario(Scenario scenario) Adds a Scenario to this Operation.