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

Packages that use Parameter

Package	Description
uk.ac.sheffield.vtts.ground	This package contains Broker@Cloud components that implement grounding, or the translation of platform-neutral test suites to technology-specific test suites that may be executed.
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 Parameter in uk.ac.sheffield.vtts.ground

Methods in uk.ac.sheffield.vtts.ground with parameters of type Parameter

Modifier and Type	Method and Description
protected void	AbstractGrounding.writeFactoryValue(Parameter parameter) Prints out a factory expression to create the value of a complex Input or Output parameter.
protected void	AbstractGrounding.writeJavaType(Parameter parameter) Prints the type name of a Parameter as a Java type.
protected void	AbstractGrounding.writeJavaValue(Parameter parameter) Grounds the value of an Input or Output parameter.
protected void	AbstractGrounding.writeLiteralValue(Parameter parameter) Prints out the literal value of a simple Input or Output parameter.

Uses of Parameter in uk.ac.sheffield.vtts.model

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

Modifier and Type	Class and Description
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	Input Input is an input parameter associated with an operation.
class	Output Output is an output parameter associated with an operation.
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 Parameter

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,Parameter>	Scope.parameters The set of Parameters in Scope.

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

Modifier and Type	Method and Description
Parameter	Scope.getParameter(java.lang.String name) Returns the named Parameter stored in this Scope.
Parameter	Parameter.resolve(Scope scope) Degenerate method to resolve Parameter references in this Parameter.
Parameter	Parameter.setBound(boolean value) Sets whether this Parameter is bound.
Parameter	Parameter.setContent(java.lang.String content) Sets the content of this Parameter.
Parameter	Parameter.snapshot() Takes a snapshot of this Parameter, fixing its current bound value.

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

Modifier and Type	Method and Description
java.util.Set<Parameter>	Scope.getParameters() Returns the set of all Parameters, both Constants and Variables.

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

Modifier and Type	Method and Description
Scope	Scope.addParameter(Parameter parameter) Adds a Parameter to this Scope.

Constructors in uk.ac.sheffield.vtts.model with parameters of type Parameter

Constructor and Description
Atomic(Parameter parameter) Creates an Atomic predicate by wrapping a Parameter.