uk.ac.sheffield.vtts.model

Class Effect

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Binding

uk.ac.sheffield.vtts.model.Effect

public class Effect
extends Binding

Effect represents a particular set of value-modifications to parameters. An Effect is a kind of Binding that occurs as a consequence of executing a given Scenario in an Operation. Whereas a Binding sets the initial variable bindings, the Effect sets the consequential bindings. A Effect may bind an Output or a Variable, only.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

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

assignments

Constructor Summary

Constructors

Constructor and Description
Effect() Creates a default Effect.

Method Summary

Methods

Modifier and Type	Method and Description
Effect	addAssignment(Assignment assignment) Adds an Assignment to this Effect.

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

execute, getAssignment, getAssignments, resolve

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

Constructor Detail

Effect

public Effect()

Creates a default Effect.

Method Detail

addAssignment

public Effect addAssignment(Assignment assignment)

Adds an Assignment to this Effect. Each Assignment in this Effect must bind a unique Parameter, unless the Parameter being bound is a temporary local Variable, which may be bound more than once.

Overrides:

addAssignment in class Binding

Parameters:

assignment - the Assignment to add.

Returns:

this Effect.