org.eclipse.ocl.examples.pivot.evaluation
Interface EvaluationContext

All Known Implementing Classes:

CompleteOCLCSResource, EmbeddedXtextResource, EssentialOCLCSResource, OCLinEcoreCSResource, OCLstdlibCSResource

public interface EvaluationContext

Method Summary

PivotEnvironment	getEnvironment()
NamedElement	getSpecificationContext()
void	setContext(NamedElement context, java.util.Map<java.lang.String,Type> parameters)
void	setEnvironment(PivotEnvironment environment)

Method Detail

getSpecificationContext

NamedElement getSpecificationContext()

getEnvironment

PivotEnvironment getEnvironment()

setContext

void setContext(NamedElement context,
                java.util.Map<java.lang.String,Type> parameters)

setEnvironment

void setEnvironment(PivotEnvironment environment)