uk.ac.sheffield.vtts.model

Class Binding

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Binding

Direct Known Subclasses:

Effect

public class Binding
extends Element

Binding represents a particular set of value-bindings to parameters. A Binding contains a list of Assignments, which each bind a value to a Parameter. The kinds of Parameter which can be bound include Input, Output and Variable. The kinds of value to be bound can be expressed exactly, or as an inequality in relation to some other value.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,Assignment>	assignments The set of Assignments in this Binding.

Constructor Summary

Constructors

Constructor and Description
Binding() Creates a default Binding.

Method Summary

Methods

Modifier and Type	Method and Description
Binding	addAssignment(Assignment assignment) Adds an Assignment to this Binding.
Binding	execute() Executes all of the Assignments associated with this Binding.
Assignment	getAssignment(java.lang.String name) Returns the Assignment to a named Parameter stored in this Binding.
java.util.Set<Assignment>	getAssignments() Returns all the Assignments associated with this Binding.
Binding	resolve(Scope scope) Causes this Binding to resolve its global/local Parameter references.

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

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

assignments

protected java.util.Map<java.lang.String,Assignment> assignments

The set of Assignments in this Binding. Each Assignment is indexed by the unique name of the Parameter that it binds.

Constructor Detail

Binding

public Binding()

Creates a default Binding.

Method Detail

addAssignment

public Binding addAssignment(Assignment assignment)

Adds an Assignment to this Binding. Each Assignment in this Binding must bind a unique Parameter.

Parameters:

assignment - the Assignment to add.

Returns:

this Binding.

getAssignment

public Assignment getAssignment(java.lang.String name)

Returns the Assignment to a named Parameter stored in this Binding.

Parameters:

name - the name of the assigned Parameter.

Returns:

the Assignment, or null.

getAssignments

public java.util.Set<Assignment> getAssignments()

Returns all the Assignments associated with this Binding.

Returns:

the list of Assignments.

resolve

public Binding resolve(Scope scope)

Causes this Binding to resolve its global/local Parameter references. For each Assignment in this Binding, checks whether the operands refer to Parameters already declared in the supplied Scope. If so, replaces duplicate copies of the same Paramter by a reference to the original Parameter.

Parameters:

scope - a Scope declaring global/local Parameters.

Returns:

this Binding.

execute

public Binding execute()

Executes all of the Assignments associated with this Binding.

Returns:

this Binding.