ContextTypeRetriever (MDT-OCL Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.eclipse.ocl.examples.impactanalyzer.impl
Class ContextTypeRetriever

java.lang.Object
  org.eclipse.ocl.utilities.AbstractVisitor<T,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint>
      org.eclipse.ocl.ecore.utilities.AbstractVisitor<org.eclipse.emf.ecore.EClass>
          org.eclipse.ocl.examples.impactanalyzer.impl.ContextTypeRetriever

All Implemented Interfaces:: VisitorExtension<org.eclipse.emf.ecore.EClass>, Visitor<org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint>

public class ContextTypeRetriever
extends AbstractVisitor<org.eclipse.emf.ecore.EClass>
extends AbstractVisitor<org.eclipse.emf.ecore.EClass>

From an OCL expression tries to determine the context type for self by looking for VariableExp expressions in the expression tree referencing the self variable and extracting the expression's type. If no self expression is found, null is returned.

Note, that this visitor will not descend into the bodies of called operations or derived properties because there the self variable's type doesn't imply the overall context type.

Author:: Axel Uhl

Field Summary

Fields inherited from class org.eclipse.ocl.utilities.AbstractVisitor
`result`

Constructor Summary
`ContextTypeRetriever()` Initializes the result with `null` for the case that no `self` reference is found in the expression tree

Method Summary
`org.eclipse.emf.ecore.EClass`	`visitAssociationClassCallExp(AssociationClassCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> callExp)` Visits the association-class-call source and then its qualifiers (if any).
`org.eclipse.emf.ecore.EClass`	`visitBooleanLiteralExp(BooleanLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitCollectionItem(CollectionItem<org.eclipse.emf.ecore.EClassifier> item)` Visits the item's item expression.
`org.eclipse.emf.ecore.EClass`	`visitCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Visits the collection literal's parts.
`org.eclipse.emf.ecore.EClass`	`visitCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range)` Visits the range's first and last expressions.
`org.eclipse.emf.ecore.EClass`	`visitConstraint(Constraint constraint)` Visits the constraint's specification, if any (and if the `AbstractVisitor.getSpecification(Object)` method is overridden).
`org.eclipse.emf.ecore.EClass`	`visitEnumLiteralExp(EnumLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EEnumLiteral> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitExpressionInOCL(ExpressionInOCL<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> expression)` Visits the expressions context variable, its parameter variables (if any), its result variable (if any), and finally its body expression.
`org.eclipse.emf.ecore.EClass`	`visitIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp)` Visits the if expression's condition, then, and else expressions.
`org.eclipse.emf.ecore.EClass`	`visitIntegerLiteralExp(IntegerLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitInvalidLiteralExp(InvalidLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitIterateExp(IterateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)` Visits the iterate's source, then its iterator variables, result variable, and body expression.
`org.eclipse.emf.ecore.EClass`	`visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)` Visits the iterator's source, then its variables, followed by its body expression.
`org.eclipse.emf.ecore.EClass`	`visitLetExp(LetExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> letExp)` Visits the let's variable declaration then its 'in' expression.
`org.eclipse.emf.ecore.EClass`	`visitMessageExp(MessageExp<org.eclipse.emf.ecore.EClassifier,CallOperationAction,SendSignalAction> messageExp)` Visits the message expression's target and then its arguments.
`org.eclipse.emf.ecore.EClass`	`visitNullLiteralExp(NullLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp)` Visits the operation-call source and then its arguments.
`org.eclipse.emf.ecore.EClass`	`visitOppositePropertyCallExp(OppositePropertyCallExp callExp)` Visits the opposite property-call source.
`org.eclipse.emf.ecore.EClass`	`visitPropertyCallExp(PropertyCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> callExp)` Visits the property-call source and then its qualifiers (if any).
`org.eclipse.emf.ecore.EClass`	`visitRealLiteralExp(RealLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitStateExp(StateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EObject> stateExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitStringLiteralExp(StringLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitTupleLiteralExp(TupleLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> literalExp)` Visits the tuple literal's parts.
`org.eclipse.emf.ecore.EClass`	`visitTupleLiteralPart(TupleLiteralPart<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> part)` Visits the tuple literal part's value, if any.
`org.eclipse.emf.ecore.EClass`	`visitTypeExp(TypeExp<org.eclipse.emf.ecore.EClassifier> t)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitUnspecifiedValueExp(UnspecifiedValueExp<org.eclipse.emf.ecore.EClassifier> unspecExp)` Simply returns `AbstractVisitor.result`.
`org.eclipse.emf.ecore.EClass`	`visitVariable(Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> variable)` Visits the variable's initialization expression (if any).
`org.eclipse.emf.ecore.EClass`	`visitVariableExp(VariableExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> v)` Simply returns `AbstractVisitor.result`.

Methods inherited from class org.eclipse.ocl.ecore.utilities.AbstractVisitor
`handleOppositePropertyCallExp`

Methods inherited from class org.eclipse.ocl.utilities.AbstractVisitor
`getSpecification, handleAssociationClassCallExp, handleCollectionItem, handleCollectionLiteralExp, handleCollectionRange, handleConstraint, handleExpressionInOCL, handleIfExp, handleIterateExp, handleIteratorExp, handleLetExp, handleMessageExp, handleOperationCallExp, handlePropertyCallExp, handleTupleLiteralExp, handleTupleLiteralPart, handleVariable, safeVisit`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

ContextTypeRetriever

public ContextTypeRetriever()

Initializes the result with null for the case that no self reference is found in the expression tree

Method Detail