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

Packages that use Condition

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

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

Modifier and Type	Method and Description
Condition	Condition.addPredicate(Predicate predicate) Adds the guard Predicate to this Condition.
Condition	Scenario.getCondition() Returns the guard Condition for this Scenario.
Condition	Condition.resolve(Scope scope) Causes this Condition to resolve its global/local Parameter references.

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

Modifier and Type	Method and Description
Scenario	Scenario.addCondition(Condition condition) Adds the guard Condition for this Scenario.