org.eclipse.ocl.examples.library.executor
Class ExecutorEvaluationEnvironment

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorEvaluationEnvironment

All Implemented Interfaces:

DomainEvaluationEnvironment

public class ExecutorEvaluationEnvironment
extends java.lang.Object
implements DomainEvaluationEnvironment

Constructor Summary

ExecutorEvaluationEnvironment()

Method Summary

void	add(DomainTypedElement variable, Value value)
DomainTypedElement	createVariable(java.lang.String name, DomainType type)
void	replace(DomainTypedElement variable, Value value)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutorEvaluationEnvironment

public ExecutorEvaluationEnvironment()

Method Detail

add

public void add(DomainTypedElement variable,
                Value value)

Specified by:

add in interface DomainEvaluationEnvironment

createVariable

public DomainTypedElement createVariable(java.lang.String name,
                                         DomainType type)

Specified by:

createVariable in interface DomainEvaluationEnvironment

replace

public void replace(DomainTypedElement variable,
                    Value value)

Specified by:

replace in interface DomainEvaluationEnvironment