uk.ac.sheffield.vtts.model

Class Variable

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Expression

uk.ac.sheffield.vtts.model.Parameter

uk.ac.sheffield.vtts.model.Variable

public class Variable
extends Parameter

Variable is a state parameter representing part of the system's memory. A Variable is a modifiable state parameter that is initialised to a value prior to the start of a system's execution.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields inherited from class uk.ac.sheffield.vtts.model.Parameter

bound, content, value

Fields inherited from class uk.ac.sheffield.vtts.model.Expression

factory, type

Fields inherited from class uk.ac.sheffield.vtts.model.Named

name

Constructor Summary

Constructors

Constructor and Description
Variable() Creates a default Variable parameter.
Variable(java.lang.String name, java.lang.String type) Creates a variable parameter with the given name and type.

Method Summary

Methods

Modifier and Type	Method and Description
Variable	snapshot() Takes a snapshot of this Variable.

Methods inherited from class uk.ac.sheffield.vtts.model.Parameter

assign, evaluate, getBound, getContent, isAssignable, isBound, rebind, rebind, resolve, setBound, setContent, toString, unbind

Methods inherited from class uk.ac.sheffield.vtts.model.Expression

equals, getName, getType, hashCode, isBottom, isOrdered, setType

Methods inherited from class uk.ac.sheffield.vtts.model.Named

setName, setName

Methods inherited from class uk.ac.sheffield.vtts.model.Element

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Variable

public Variable()

Creates a default Variable parameter.

Variable

public Variable(java.lang.String name,
        java.lang.String type)

Creates a variable parameter with the given name and type.

Parameters:

name - the name of this Variable.

type - the type of this Variable.

Method Detail

snapshot

public Variable snapshot()

Takes a snapshot of this Variable. Clones this Variable, and converts the bound value of the clone into a String. Used when creating a TestStep, to store a snapshot of the Variable value.

Overrides:

snapshot in class Parameter

Returns:

a clone of this Variable, with a snapshot of its value.