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, java.lang.Object value)
DomainTypedElement	createVariable(java.lang.String name, DomainType type)
void	replace(DomainTypedElement variable, java.lang.Object 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(@NonNull
                DomainTypedElement variable,
                java.lang.Object value)

Specified by:

add in interface DomainEvaluationEnvironment

createVariable

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

Specified by:

createVariable in interface DomainEvaluationEnvironment

replace

public void replace(@NonNull
                    DomainTypedElement variable,
                    java.lang.Object value)

Specified by:

replace in interface DomainEvaluationEnvironment