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

Method Detail

add

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

createVariable

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

replace

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