|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.utilities.AbstractVisitor<java.util.Set<VariableExp>,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.examples.impactanalyzer.instanceScope.unusedEvaluation.FindAlwaysUsedVariablesVisitor
public class FindAlwaysUsedVariablesVisitor
For an OCL expression finds out which of the Variable
s referred by any VariableExp
within
the expression will inevitably be used, regardless the values of any variables, deciding which branches
may be taken. This can be useful to avoid expression evaluations when such variables are not yet defined.
Field Summary |
---|
Fields inherited from class org.eclipse.ocl.utilities.AbstractVisitor |
---|
result |
Constructor Summary | |
---|---|
FindAlwaysUsedVariablesVisitor()
|
Method Summary | |
---|---|
protected java.util.Set<VariableExp> |
handleCollectionItem(CollectionItem<org.eclipse.emf.ecore.EClassifier> item,
java.util.Set<VariableExp> itemResult)
Visits the specified collection item with the result of visiting its item expression. |
protected java.util.Set<VariableExp> |
handleCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp,
java.util.List<java.util.Set<VariableExp>> partResults)
Visits the specified collection literal expression with the results of visiting its parts (if any). |
protected java.util.Set<VariableExp> |
handleCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range,
java.util.Set<VariableExp> firstResult,
java.util.Set<VariableExp> lastResult)
Visits the specified collection range with the results of visiting its first and last expressions. |
protected java.util.Set<VariableExp> |
handleConstraint(Constraint constraint,
java.util.Set<VariableExp> specificationResult)
Visits the specified constraint with the results of visiting its specification. |
protected java.util.Set<VariableExp> |
handleExpressionInOCL(ExpressionInOCL<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> expression,
java.util.Set<VariableExp> contextResult,
java.util.Set<VariableExp> resultResult,
java.util.List<java.util.Set<VariableExp>> parameterResults,
java.util.Set<VariableExp> bodyResult)
Visits the specified expression-in-OCL with the results of visiting its context variable, its result variable (if any), its parameter variables (if any), and its body expression. |
protected java.util.Set<VariableExp> |
handleIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp,
java.util.Set<VariableExp> conditionResult,
java.util.Set<VariableExp> thenResult,
java.util.Set<VariableExp> elseResult)
An if-expression inevitably uses all variables that are inevitably used in the condition plus those inevitably used in both, the then and the else branch. |
protected java.util.Set<VariableExp> |
handleIterateExp(IterateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp,
java.util.Set<VariableExp> sourceResult,
java.util.List<java.util.Set<VariableExp>> variableResults,
java.util.Set<VariableExp> resultResult,
java.util.Set<VariableExp> bodyResult)
Visits the specified iterate expression with the results of visiting its source, its iterator variables, its result variable, and its body expression. |
protected java.util.Set<VariableExp> |
handleIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp,
java.util.Set<VariableExp> sourceResult,
java.util.List<java.util.Set<VariableExp>> variableResults,
java.util.Set<VariableExp> bodyResult)
Visits the specified iterator expression with the results of visiting its source, its iterator variables, and its body expression. |
protected java.util.Set<VariableExp> |
handleLetExp(LetExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> letExp,
java.util.Set<VariableExp> variableResult,
java.util.Set<VariableExp> inResult)
For a let expression, all variables inevitably used in the variable's initialization
expression as well as all variables inevitably used in the in expression are used inevitably
by the let expression. |
protected java.util.Set<VariableExp> |
handleOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp,
java.util.Set<VariableExp> sourceResult,
java.util.List<java.util.Set<VariableExp>> argumentResults)
For an operation call it's not sure that the argument expression(s) will actually be evaluated. |
protected java.util.Set<VariableExp> |
handleOppositePropertyCallExp(OppositePropertyCallExp callExp,
java.util.Set<VariableExp> sourceResult)
|
protected java.util.Set<VariableExp> |
handlePropertyCallExp(PropertyCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> callExp,
java.util.Set<VariableExp> sourceResult,
java.util.List<java.util.Set<VariableExp>> qualifierResults)
Visits the specified property call with the results of visiting its source and qualifiers (if any). |
protected java.util.Set<VariableExp> |
handleTupleLiteralExp(TupleLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> literalExp,
java.util.List<java.util.Set<VariableExp>> partResults)
Visits the specified tuple literal expression with the results of visiting its parts (if any). |
protected java.util.Set<VariableExp> |
handleTupleLiteralPart(TupleLiteralPart<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> part,
java.util.Set<VariableExp> valueResult)
Visits the specified tuple literal part with the results of visiting its value (if any). |
protected java.util.Set<VariableExp> |
handleVariable(Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> variable,
java.util.Set<VariableExp> initResult)
Visits the specified variable with the results of visiting its initializer (if any). |
java.util.Set<VariableExp> |
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. |
java.util.Set<VariableExp> |
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. |
java.util.Set<VariableExp> |
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. |
java.util.Set<VariableExp> |
visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp)
Visits the operation-call source and then its arguments. |
java.util.Set<VariableExp> |
visitOppositePropertyCallExp(OppositePropertyCallExp callExp)
Visits the property-call source and then its qualifiers (if any). |
java.util.Set<VariableExp> |
visitVariableExp(VariableExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> v)
Simply returns AbstractVisitor.result . |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FindAlwaysUsedVariablesVisitor()
Method Detail |
---|
public java.util.Set<VariableExp> visitVariableExp(VariableExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> v)
AbstractVisitor
AbstractVisitor.result
.
visitVariableExp
in interface Visitor<java.util.Set<VariableExp>,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>
visitVariableExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
protected java.util.Set<VariableExp> handleOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp, java.util.Set<VariableExp> sourceResult, java.util.List<java.util.Set<VariableExp>> argumentResults)
invalid
as well as Boolean shortcut evaluation.
handleOperationCallExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
callExp
- the operation call expressionsourceResult
- the result of visiting the expression's sourceargumentResults
- the results of visiting the expression's
arguments, or an empty list if there are no arguments
AbstractVisitor.result
, by defaultAbstractVisitor.visitOperationCallExp(OperationCallExp)
protected java.util.Set<VariableExp> handlePropertyCallExp(PropertyCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> callExp, java.util.Set<VariableExp> sourceResult, java.util.List<java.util.Set<VariableExp>> qualifierResults)
AbstractVisitor
sourceResult will be null
in that case.
- Overrides:
handlePropertyCallExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
- Parameters:
callExp
- the property call expression, if there is a sourcesourceResult
- the result of visiting the expression's sourcequalifierResults
- the results of visiting the expression's
qualifiers, or an empty list if there are no qualifiers
- Returns:
- the accumulated
AbstractVisitor.result
, by default - See Also:
AbstractVisitor.visitPropertyCallExp(PropertyCallExp)
protected java.util.Set<VariableExp> handleIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp, java.util.Set<VariableExp> conditionResult, java.util.Set<VariableExp> thenResult, java.util.Set<VariableExp> elseResult)
then
and the else
branch.
handleIfExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
ifExp
- the if expressionconditionResult
- the result of visiting the expression's conditionthenResult
- the result of visiting the expression's thenelseResult
- the result of visiting the expression's else
AbstractVisitor.result
, by defaultAbstractVisitor.visitIfExp(IfExp)
protected java.util.Set<VariableExp> handleTupleLiteralExp(TupleLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
AbstractVisitor
handleTupleLiteralExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
literalExp
- the tuple literal expressionpartResults
- the results of visiting the expression's
parts, or an empty list if there are no parts
AbstractVisitor.result
, by defaultAbstractVisitor.visitTupleLiteralExp(TupleLiteralExp)
protected java.util.Set<VariableExp> handleTupleLiteralPart(TupleLiteralPart<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> part, java.util.Set<VariableExp> valueResult)
AbstractVisitor
handleTupleLiteralPart
in class AbstractVisitor<java.util.Set<VariableExp>,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>
part
- the tuple literal partvalueResult
- the result of visiting the expression's value, or
null
if it has no value
AbstractVisitor.result
, by defaultAbstractVisitor.visitTupleLiteralPart(TupleLiteralPart)
protected java.util.Set<VariableExp> handleLetExp(LetExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> letExp, java.util.Set<VariableExp> variableResult, java.util.Set<VariableExp> inResult)
let
expression, all variables inevitably used in the variable's initialization
expression as well as all variables inevitably used in the in
expression are used inevitably
by the let
expression.
handleLetExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
letExp
- the let expressionvariableResult
- the result of visiting the expression's variableinResult
- the result of visiting the expression's in expression
AbstractVisitor.result
, by defaultAbstractVisitor.visitLetExp(LetExp)
protected java.util.Set<VariableExp> handleCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
AbstractVisitor
handleCollectionLiteralExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
literalExp
- the collection literal expressionpartResults
- the results of visiting the expression's
parts, or an empty list if there are no parts
AbstractVisitor.result
, by defaultAbstractVisitor.visitCollectionLiteralExp(CollectionLiteralExp)
protected java.util.Set<VariableExp> handleCollectionItem(CollectionItem<org.eclipse.emf.ecore.EClassifier> item, java.util.Set<VariableExp> itemResult)
AbstractVisitor
handleCollectionItem
in class AbstractVisitor<java.util.Set<VariableExp>,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>
item
- the collection itemitemResult
- the result of visiting the item's item expression
AbstractVisitor.result
, by defaultAbstractVisitor.visitCollectionItem(CollectionItem)
protected java.util.Set<VariableExp> handleCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range, java.util.Set<VariableExp> firstResult, java.util.Set<VariableExp> lastResult)
AbstractVisitor
handleCollectionRange
in class AbstractVisitor<java.util.Set<VariableExp>,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>
range
- the collection rangefirstResult
- the result of visiting the range's first expressionlastResult
- the result of visiting the range's last expression
AbstractVisitor.result
, by defaultAbstractVisitor.visitCollectionRange(CollectionRange)
protected java.util.Set<VariableExp> handleIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp, java.util.Set<VariableExp> sourceResult, java.util.List<java.util.Set<VariableExp>> variableResults, java.util.Set<VariableExp> bodyResult)
AbstractVisitor
handleIteratorExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
callExp
- the iterator expressionsourceResult
- the result of visiting the expression's sourcevariableResults
- the results of visiting the expression's
iterator variablesbodyResult
- the result of visiting the expression's body
AbstractVisitor.result
, by defaultAbstractVisitor.visitIteratorExp(IteratorExp)
protected java.util.Set<VariableExp> handleIterateExp(IterateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp, java.util.Set<VariableExp> sourceResult, java.util.List<java.util.Set<VariableExp>> variableResults, java.util.Set<VariableExp> resultResult, java.util.Set<VariableExp> bodyResult)
AbstractVisitor
handleIterateExp
in class AbstractVisitor<java.util.Set<VariableExp>,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>
callExp
- the iterate expressionsourceResult
- the result of visiting the expression's sourcevariableResults
- the results of visiting the expression's
iterator variablesresultResult
- the result of visiting the expressions' result variablebodyResult
- the result of visiting the expression's body
AbstractVisitor.result
, by defaultAbstractVisitor.visitIterateExp(IterateExp)
protected java.util.Set<VariableExp> handleExpressionInOCL(ExpressionInOCL<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> expression, java.util.Set<VariableExp> contextResult, java.util.Set<VariableExp> resultResult, java.util.List<java.util.Set<VariableExp>> parameterResults, java.util.Set<VariableExp> bodyResult)
AbstractVisitor
handleExpressionInOCL
in class AbstractVisitor<java.util.Set<VariableExp>,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>
expression
- the expression-in-OCLcontextResult
- the result of visiting the expression's context variableresultResult
- the result of visiting the expressions' result variable,
or null
if there is no result variableparameterResults
- the results of visiting the expression's
parameter variables, or an empty list if there are nonebodyResult
- the result of visiting the expression's body
AbstractVisitor.result
, by defaultAbstractVisitor.visitExpressionInOCL(ExpressionInOCL)
protected java.util.Set<VariableExp> handleConstraint(Constraint constraint, java.util.Set<VariableExp> specificationResult)
AbstractVisitor
handleConstraint
in class AbstractVisitor<java.util.Set<VariableExp>,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>
constraint
- the constraintspecificationResult
- the result of visiting the constraint's
specification, or null
if either it has none or the
AbstractVisitor.getSpecification(Object)
method is not overridden
AbstractVisitor.result
, by default
#see AbstractVisitor.getSpecification(Object)
AbstractVisitor.visitConstraint(Object)
protected java.util.Set<VariableExp> handleVariable(Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> variable, java.util.Set<VariableExp> initResult)
AbstractVisitor
handleVariable
in class AbstractVisitor<java.util.Set<VariableExp>,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>
variable
- the variableinitResult
- the result of visiting the expression's initializer,
or null
if it has none
AbstractVisitor.result
, by defaultAbstractVisitor.visitVariable(Variable)
public java.util.Set<VariableExp> visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp)
AbstractVisitor
AbstractVisitor.handleOperationCallExp(OperationCallExp, Object, List)
.
visitOperationCallExp
in interface Visitor<java.util.Set<VariableExp>,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>
visitOperationCallExp
in class AbstractVisitor<java.util.Set<VariableExp>,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 java.util.Set<VariableExp> visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)
AbstractVisitor
AbstractVisitor.handleIteratorExp(IteratorExp, Object, List, Object)
.
visitIteratorExp
in interface Visitor<java.util.Set<VariableExp>,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>
visitIteratorExp
in class AbstractVisitor<java.util.Set<VariableExp>,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 java.util.Set<VariableExp> visitIterateExp(IterateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)
AbstractVisitor
AbstractVisitor.handleIterateExp(IterateExp, Object, List, Object, Object)
.
visitIterateExp
in interface Visitor<java.util.Set<VariableExp>,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>
visitIterateExp
in class AbstractVisitor<java.util.Set<VariableExp>,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 java.util.Set<VariableExp> visitExpressionInOCL(ExpressionInOCL<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> expression)
AbstractVisitor
AbstractVisitor.handleExpressionInOCL(ExpressionInOCL, Object, Object, List, Object)
.
visitExpressionInOCL
in interface Visitor<java.util.Set<VariableExp>,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>
visitExpressionInOCL
in class AbstractVisitor<java.util.Set<VariableExp>,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>
protected java.util.Set<VariableExp> handleOppositePropertyCallExp(OppositePropertyCallExp callExp, java.util.Set<VariableExp> sourceResult)
public java.util.Set<VariableExp> visitOppositePropertyCallExp(OppositePropertyCallExp callExp)
AbstractVisitor.handlePropertyCallExp(PropertyCallExp, Object, List)
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |