|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment org.eclipse.ocl.examples.pivot.evaluation.PivotEvaluationEnvironment
public class PivotEvaluationEnvironment
Implementation of the EvaluationEnvironment
for evaluation of OCL
expressions on instances of Ecore models (i.e., on M0 models).
Field Summary |
---|
Fields inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment |
---|
typeManager |
Constructor Summary | |
---|---|
PivotEvaluationEnvironment(EvaluationEnvironment parent)
Initializes me with my parent evaluation environment (nesting scope). |
|
PivotEvaluationEnvironment(TypeManager typeManager)
Initializes me. |
Method Summary | |
---|---|
ModelManager |
createModelManager(java.lang.Object object)
Retrieves the reference feature in the specified context object that references the specified association class. |
Type |
getType(java.lang.Object object)
Queries the type of the specified object. |
ValueFactory |
getValueFactory()
|
Value |
navigateAssociationClass(Type associationClass,
Property navigationSource,
java.lang.Object source)
Ecore implementation of the enumeration literal value. |
Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationEnvironment |
---|
add, basicGetOptions, clear, clearOptions, getAdapter, getOptions, getParent, getTypeManager, getValue, getValueOf, isEnabled, overrides, putOptions, remove, removeOption, removeOptions, replace, setOption, throwInvalidEvaluation, throwInvalidEvaluation, throwInvalidEvaluation, throwInvalidEvaluation, throwInvalidEvaluation, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public PivotEvaluationEnvironment(TypeManager typeManager)
public PivotEvaluationEnvironment(EvaluationEnvironment parent)
parent
- my parent (nesting scope); must not be null
Method Detail |
---|
public ModelManager createModelManager(java.lang.Object object)
context
- the context objectassociationClass
- the association class that it references
public Value navigateAssociationClass(Type associationClass, Property navigationSource, java.lang.Object source) throws java.lang.IllegalArgumentException
associationClass
- the association class to navigate tonavigationSource
- in case of ambiguity, the property of the
source element's classifier through which to navigate to the
association classsource
- the source element from which to navigate
java.lang.IllegalArgumentException
- if the association class is not
associated with the source element, or is not supported by this
environmentpublic Type getType(java.lang.Object object)
EvaluationEnvironment
object
- an object
public ValueFactory getValueFactory()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |