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

Packages that use Memory

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

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

Modifier and Type	Method and Description
Memory	Memory.addBinding(Binding binding) Adds a Binding of initial Constants to Variables to this Memory scope.
Memory	Memory.checkCompleteness(Notice topInfo) Checks the completeness of this Memory.
Memory	Protocol.getMemory() Returns the memory of this service.
Memory	Memory.rebind() Rebinds this Memory.
Memory	Memory.resolve(Scope scope) Cause this Memory to resolve its global Parameter references.

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

Modifier and Type	Method and Description
Protocol	Protocol.addMemory(Memory memory) Adds the Memory to this Protocol.