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

Packages that use Expression

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

Subclasses of Expression in uk.ac.sheffield.vtts.model

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	Constant Constant is a kind of parameter standing for some fixed constant value.
class	Failure Failure is an exception or error parameter associated with an operation.
class	Function Function represents a functional expression with a function root node.
class	Input Input is an input parameter associated with an operation.
class	Manipulation Manipulation represents an expression manipulating a collection of items.
class	Membership Membership represents a cardinality or membership predicate on a collection.
class	Output Output is an output parameter associated with an operation.
class	Parameter Parameter is a kind of expression denoting a named and typed parameter.
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.
class	Variable Variable is a state parameter representing part of the system's memory.

Fields in uk.ac.sheffield.vtts.model with type parameters of type Expression

Modifier and Type	Field and Description
protected java.util.List<Expression>	Function.expressions The operands of this function.

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

Modifier and Type	Method and Description
Expression	Function.operand(int index) Returns the given operand Expression at an index.
abstract Expression	Expression.resolve(Scope scope) Causes this Expression to resolve its embedded global and local Parameter references.
Expression	Expression.setType(java.lang.String type) Sets the type of this expression.

Methods in uk.ac.sheffield.vtts.model that return types with arguments of type Expression

Modifier and Type	Method and Description
java.util.List<Expression>	Function.getExpressions() Returns a list of the operand expressions governed by this functional expression.

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

Modifier and Type	Method and Description
Function	Function.addExpression(Expression expression) Adds an expression as an operand to this functional expression.
Atomic	Atomic.addExpression(Expression expression) Adds an expression as an operand to this Assignment expression.
Assignment	Assignment.addExpression(Expression expression) Adds an expression as an operand to this Assignment expression.