org.eclipse.ocl.examples.domain.evaluation
Interface DomainEvaluationEnvironment

All Known Subinterfaces:

EvaluationEnvironment

All Known Implementing Classes:

AbstractEvaluationEnvironment, ExecutorEvaluationEnvironment, PivotEvaluationEnvironment

public interface DomainEvaluationEnvironment

Method Summary

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

Method Detail

add

void add(DomainTypedElement variable,
         Value value)

createVariable

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

replace

void replace(DomainTypedElement variable,
             Value value)