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 | Class and Description |
---|---|
class |
Effect
Effect represents a particular set of value-modifications to parameters.
|
Modifier and Type | Method and Description |
---|---|
Binding |
Binding.addAssignment(Assignment assignment)
Adds an Assignment to this Binding.
|
Binding |
Binding.execute()
Executes all of the Assignments associated with this Binding.
|
Binding |
Memory.getBinding()
Returns the Binding of Memory Variables to their initial values.
|
Binding |
Scenario.getBinding()
Returns the Binding of Expressions to Variables in this Scenario.
|
Binding |
Scenario.getEffect()
Returns the Effect, the updated binding of Expressions to Parameters.
|
Binding |
Binding.resolve(Scope scope)
Causes this Binding to resolve its global/local Parameter references.
|
Modifier and Type | Method and Description |
---|---|
Memory |
Memory.addBinding(Binding binding)
Adds a Binding of initial Constants to Variables to this Memory scope.
|
Scenario |
Scenario.addBinding(Binding binding)
Adds a Binding of initial Expressions to Variables to this Scenario.
|