uk.ac.sheffield.vtts.model

Class Memory

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Annotated

uk.ac.sheffield.vtts.model.Scope

uk.ac.sheffield.vtts.model.Memory

public class Memory
extends Scope

Memory represents the collection of state variables in a software service. The memory represents significant state values that affect the behaviour of a service.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

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

parameters

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

notice

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

name

Constructor Summary

Constructors

Constructor and Description
Memory() Creates a default Memory.
Memory(java.lang.String name) Creates a Memory with a name.

Method Summary

Methods

Modifier and Type	Method and Description
Memory	addBinding(Binding binding) Adds a Binding of initial Constants to Variables to this Memory scope.
Memory	checkCompleteness(Notice topInfo) Checks the completeness of this Memory.
Binding	getBinding() Returns the Binding of Memory Variables to their initial values.
java.util.Set<Constant>	getConstants() Returns the set of Constants in this Memory.
java.util.Set<Variable>	getVariables() Returns the set of Variables in this Memory.
Memory	rebind() Rebinds this Memory.
Memory	resolve(Scope scope) Cause this Memory to resolve its global Parameter references.

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

addParameter, addScope, getParameter, getParameters, unbind

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

addNotice, getNotice

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

equals, getName, hashCode, setName, setName, toString

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

Memory

public Memory()

Creates a default Memory.

Memory

public Memory(java.lang.String name)

Creates a Memory with a name. A Memory may optionally be named, where any supplied name must then match the owning Service's name.

Parameters:

name - the name of this Memory.

Method Detail

getConstants

public java.util.Set<Constant> getConstants()

Returns the set of Constants in this Memory. A convenience, to extract those Parameters which are Constants.

Returns:

the Constants in this Memory.

getVariables

public java.util.Set<Variable> getVariables()

Returns the set of Variables in this Memory. A convenience, to extract those Parameters which are Variables.

Returns:

the Variables in this Memory.

addBinding

public Memory addBinding(Binding binding)

Adds a Binding of initial Constants to Variables to this Memory scope.

Parameters:

binding - the Binding to add.

Returns:

this Memory.

getBinding

public Binding getBinding()

Returns the Binding of Memory Variables to their initial values. May be null if the Memory only contains Constants.

Returns:

the initial Binding.

resolve

public Memory resolve(Scope scope)

Cause this Memory to resolve its global Parameter references. Triggered when this Memory is added to its owning Service. The Scope argument is the Memory itself, which contains the global Constants and Variables. Delegates to the initial Binding, causing this to resolve all references to global Parameters in the Scope.

Parameters:

scope - the Scope containing global Parameters.

Returns:

this Memory.

rebind

public Memory rebind()

Rebinds this Memory. Sets the Variables in this Memory to initial values, according to the initial Assignments expressed. May be called to re-initialise this Memory after each simulation of the Service.

Returns:

this Memory.

checkCompleteness

public Memory checkCompleteness(Notice topInfo)

Checks the completeness of this Memory. Checks that any Variables declared in this Memory are properly initialised in the Binding. Attaches any generated Warning to the supplied Analysis node.

Parameters:

topInfo - the root Analysis node.

Returns:

this Memory.