| 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 |
Arithmetic
Arithmetic represents a numerical function with an arithmetic operator
root node.
|
class |
Assignment
Assignment represents a single variable-binding expression.
|
class |
Atomic
Atomic is a degenerate predicate representing an atomic Boolean value.
|
class |
Comparison
Comparison represents an inequality expression, comparing two operands.
|
class |
Manipulation
Manipulation represents an expression manipulating a collection of items.
|
class |
Membership
Membership represents a cardinality or membership predicate on a
collection.
|
class |
Predicate
Predicate represents a boolean valued function with a predicate root node.
|
class |
Projection
Projection represents a function creating, or projecting from, a tuple.
|
class |
Proposition
Proposition represents a logical expression with a Boolean operator root
node.
|
| Modifier and Type | Method and Description |
|---|---|
Function |
Function.addExpression(Expression expression)
Adds an expression as an operand to this functional expression.
|
Function |
Function.resolve(Scope scope)
Causes this Function to resolve its global/local Parameter references.
|
Function |
Function.setName(java.lang.String name)
Sets the name of this Function.
|