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 |
Memory
Memory represents the collection of state variables in a software service.
|
class |
Operation
Operation represents an operation in the public interface of a service.
|
Modifier and Type | Method and Description |
---|---|
Scope |
Scope.addParameter(Parameter parameter)
Adds a Parameter to this Scope.
|
Scope |
Scope.addScope(Scope scope)
Adds the contents of another Scope to this Scope.
|
Scope |
Scope.unbind()
Unbinds the variable Parameters in this Scope.
|
Modifier and Type | Method and Description |
---|---|
Scope |
Scope.addScope(Scope scope)
Adds the contents of another Scope to this Scope.
|
Function |
Function.resolve(Scope scope)
Causes this Function to resolve its global/local Parameter references.
|
Operation |
Operation.resolve(Scope scope)
Cause this Operation to resolve its global/local Parameter references.
|
abstract Expression |
Expression.resolve(Scope scope)
Causes this Expression to resolve its embedded global and local
Parameter references.
|
Memory |
Memory.resolve(Scope scope)
Cause this Memory to resolve its global Parameter references.
|
Scenario |
Scenario.resolve(Scope scope)
Causes this Scenario to resolve its global/local Parameter references.
|
Binding |
Binding.resolve(Scope scope)
Causes this Binding to resolve its global/local Parameter references.
|
Condition |
Condition.resolve(Scope scope)
Causes this Condition to resolve its global/local Parameter references.
|
Parameter |
Parameter.resolve(Scope scope)
Degenerate method to resolve Parameter references in this Parameter.
|