|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.examples.pivot.util.AbstractVisitor<R,C> org.eclipse.ocl.examples.pivot.util.AbstractExtendingVisitor<Value,java.lang.Object> org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitorImpl
public class EvaluationVisitorImpl
An evaluation visitor implementation for OCL expressions.
Field Summary |
---|
Fields inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor |
---|
environment, evaluationEnvironment, metaModelManager, modelManager, valueFactory |
Fields inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor |
---|
context |
Constructor Summary | |
---|---|
EvaluationVisitorImpl(Environment env,
EvaluationEnvironment evalEnv,
DomainModelManager modelManager)
Constructor |
Method Summary | |
---|---|
EvaluationVisitor |
createNestedEvaluator()
|
Value |
evaluate(DomainExpression body)
|
EvaluationVisitor |
getEvaluator()
|
static boolean |
isSimpleRange(CollectionLiteralExp cl)
|
LibraryFeature |
lookupImplementation(DomainType dynamicType,
DomainOperation staticOperation)
|
Value |
safeVisit(Visitable v)
A null-safe visitation of the specified visitable. |
Value |
visitAssociationClassCallExp(AssociationClassCallExp ae)
Callback for an AssociationClassCallExp visit. |
BooleanValue |
visitBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp)
Callback for a BooleanLiteralExp visit. |
Value |
visitCollectionItem(CollectionItem item)
|
Value |
visitCollectionLiteralExp(CollectionLiteralExp cl)
Callback for a CollectionLiteralExp visit. |
Value |
visitCollectionRange(CollectionRange range)
|
Value |
visitConstructorExp(ConstructorExp ce)
|
Value |
visitEnumLiteralExp(EnumLiteralExp el)
Callback for an EnumLiteralExp visit. |
Value |
visitExpressionInOCL(ExpressionInOCL expression)
|
Value |
visitIfExp(IfExp ifExp)
Callback for an IfExp visit. |
Value |
visiting(Visitable visitable)
Return the result of visiting a visitable for which no more specific pivot type method is available. |
Value |
visitIntegerLiteralExp(IntegerLiteralExp integerLiteralExp)
Callback for an IntegerLiteralExp visit. |
Value |
visitInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp)
|
Value |
visitIterateExp(IterateExp iterateExp)
Callback for an IterateExp visit. |
Value |
visitIteratorExp(IteratorExp iteratorExp)
Callback for an IteratorExp visit. |
Value |
visitLetExp(LetExp letExp)
Callback for LetExp visit. |
Value |
visitMessageExp(MessageExp m)
|
Value |
visitNullLiteralExp(NullLiteralExp nullLiteralExp)
|
Value |
visitOperationCallExp(OperationCallExp operationCallExp)
Callback for an OperationCallExp visit. |
Value |
visitPropertyCallExp(PropertyCallExp propertyCallExp)
Callback for a PropertyCallExp visit. |
Value |
visitRealLiteralExp(RealLiteralExp realLiteralExp)
Callback for a RealLiteralExp visit. |
Value |
visitStateExp(StateExp s)
|
Value |
visitStringLiteralExp(StringLiteralExp stringLiteralExp)
Callback for a StringLiteralExp visit. |
Value |
visitTupleLiteralExp(TupleLiteralExp tl)
Callback for a TupleLiteralExp visit. |
Value |
visitTupleLiteralPart(TupleLiteralPart tp)
|
Value |
visitTypeExp(TypeExp t)
Callback for a TypeExp visit. |
Value |
visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp)
Callback for an UnlimitedNaturalLiteralExp visit. |
Value |
visitUnspecifiedValueExp(UnspecifiedValueExp uv)
Callback for an UnspecifiedValueExp visit. |
Value |
visitVariable(Variable variable)
Callback for a Variable visit. |
Value |
visitVariableExp(VariableExp variableExp)
Callback for a VariableExp visit. |
Methods inherited from class org.eclipse.ocl.examples.pivot.evaluation.AbstractEvaluationVisitor |
---|
getEnvironment, getEvaluationEnvironment, getMetaModelManager, getModelManager, getStandardLibrary, getUndecoratedVisitor, getValueFactory, getVisitor, isCanceled, setCanceled, setUndecoratedVisitor, throwInvalidEvaluation, throwInvalidEvaluation, throwInvalidEvaluation, toString, visitConstraint |
Methods inherited from class org.eclipse.ocl.examples.pivot.util.AbstractVisitor |
---|
getAdapter, visit |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public EvaluationVisitorImpl(Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)
env
- an evaluation environment (map of variable names to values)modelManager
- a map of classes to their instance listsMethod Detail |
---|
public static boolean isSimpleRange(CollectionLiteralExp cl)
public EvaluationVisitor createNestedEvaluator()
public Value evaluate(DomainExpression body)
public EvaluationVisitor getEvaluator()
public LibraryFeature lookupImplementation(DomainType dynamicType, DomainOperation staticOperation)
public Value safeVisit(Visitable v)
AbstractVisitor
safeVisit
in class AbstractVisitor<Value,java.lang.Object>
v
- a visitable, or null
null
if the visitable is null
;
otherwise, the result of visiting itpublic Value visitAssociationClassCallExp(AssociationClassCallExp ae)
visitAssociationClassCallExp
in interface Visitor<Value>
visitAssociationClassCallExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public BooleanValue visitBooleanLiteralExp(BooleanLiteralExp booleanLiteralExp)
visitBooleanLiteralExp
in interface Visitor<Value>
visitBooleanLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitCollectionItem(CollectionItem item)
visitCollectionItem
in interface Visitor<Value>
visitCollectionItem
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitCollectionLiteralExp(CollectionLiteralExp cl)
visitCollectionLiteralExp
in interface Visitor<Value>
visitCollectionLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitCollectionRange(CollectionRange range)
visitCollectionRange
in interface Visitor<Value>
visitCollectionRange
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitConstructorExp(ConstructorExp ce)
visitConstructorExp
in interface Visitor<Value>
visitConstructorExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitEnumLiteralExp(EnumLiteralExp el)
visitEnumLiteralExp
in interface Visitor<Value>
visitEnumLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
el
- the enumeration literal expresion
public Value visitExpressionInOCL(ExpressionInOCL expression)
visitExpressionInOCL
in interface Visitor<Value>
visitExpressionInOCL
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitIfExp(IfExp ifExp)
visitIfExp
in interface Visitor<Value>
visitIfExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitIntegerLiteralExp(IntegerLiteralExp integerLiteralExp)
visitIntegerLiteralExp
in interface Visitor<Value>
visitIntegerLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitInvalidLiteralExp(InvalidLiteralExp invalidLiteralExp)
visitInvalidLiteralExp
in interface Visitor<Value>
visitInvalidLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitIterateExp(IterateExp iterateExp)
visitIterateExp
in interface Visitor<Value>
visitIterateExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitIteratorExp(IteratorExp iteratorExp)
visitIteratorExp
in interface Visitor<Value>
visitIteratorExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitLetExp(LetExp letExp)
visitLetExp
in interface Visitor<Value>
visitLetExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitMessageExp(MessageExp m)
visitMessageExp
in interface Visitor<Value>
visitMessageExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitNullLiteralExp(NullLiteralExp nullLiteralExp)
visitNullLiteralExp
in interface Visitor<Value>
visitNullLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitOperationCallExp(OperationCallExp operationCallExp)
visitOperationCallExp
in interface Visitor<Value>
visitOperationCallExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitPropertyCallExp(PropertyCallExp propertyCallExp)
visitPropertyCallExp
in interface Visitor<Value>
visitPropertyCallExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitRealLiteralExp(RealLiteralExp realLiteralExp)
visitRealLiteralExp
in interface Visitor<Value>
visitRealLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitStateExp(StateExp s)
visitStateExp
in interface Visitor<Value>
visitStateExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitStringLiteralExp(StringLiteralExp stringLiteralExp)
visitStringLiteralExp
in interface Visitor<Value>
visitStringLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitTupleLiteralExp(TupleLiteralExp tl)
visitTupleLiteralExp
in interface Visitor<Value>
visitTupleLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
tl
- tuple literal expression
public Value visitTupleLiteralPart(TupleLiteralPart tp)
visitTupleLiteralPart
in interface Visitor<Value>
visitTupleLiteralPart
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitTypeExp(TypeExp t)
visitTypeExp
in interface Visitor<Value>
visitTypeExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp unlimitedNaturalLiteralExp)
visitUnlimitedNaturalLiteralExp
in interface Visitor<Value>
visitUnlimitedNaturalLiteralExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitUnspecifiedValueExp(UnspecifiedValueExp uv)
visitUnspecifiedValueExp
in interface Visitor<Value>
visitUnspecifiedValueExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitVariable(Variable variable)
visitVariable
in interface Visitor<Value>
visitVariable
in class AbstractExtendingVisitor<Value,java.lang.Object>
public Value visitVariableExp(VariableExp variableExp)
visitVariableExp
in interface Visitor<Value>
visitVariableExp
in class AbstractExtendingVisitor<Value,java.lang.Object>
v
- the variable expression
public Value visiting(Visitable visitable)
Visitor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |