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.
|
Modifier and Type | Method and Description |
---|---|
Variable |
Variable.snapshot()
Takes a snapshot of this Variable.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Variable> |
Memory.getVariables()
Returns the set of Variables in this Memory.
|