Uses of Interface
org.eclipse.ocl.ecore.VariableExp

Packages that use VariableExp

Package	Description
org.eclipse.ocl.ecore	Implementation of an OCL binding for the Ecore metamodel.
org.eclipse.ocl.ecore.impl	Implementation of the Ecore binding of the the Types package of the OCL Abstract Syntax.
org.eclipse.ocl.ecore.util	Generated utilities for working with instances the Ecore binding of the Types package of the OCL Abstract Syntax.
org.eclipse.ocl.examples.impactanalyzer.instanceScope
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Uses of VariableExp in org.eclipse.ocl.ecore

Methods in org.eclipse.ocl.ecore that return VariableExp

Modifier and Type	Method and Description
VariableExp	EcoreFactory.createVariableExp() Returns a new object of class 'Variable Exp'.

Uses of VariableExp in org.eclipse.ocl.ecore.impl

Methods in org.eclipse.ocl.ecore.impl that return VariableExp

Modifier and Type	Method and Description
VariableExp	EcoreFactoryImpl.createVariableExp()

Uses of VariableExp in org.eclipse.ocl.ecore.util

Methods in org.eclipse.ocl.ecore.util with parameters of type VariableExp

Modifier and Type	Method and Description
T	EcoreSwitch.caseVariableExp(VariableExp object) Returns the result of interpreting the object as an instance of 'Variable Exp'.
boolean	EcoreValidator.validateVariableExp(VariableExp variableExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Uses of VariableExp in org.eclipse.ocl.examples.impactanalyzer.instanceScope

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type VariableExp

Constructor and Description
VariableExpTracer(VariableExp expression, java.util.Stack<java.lang.String> tuplePartNames, OCLFactory oclFactory)

Uses of VariableExp in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type VariableExp

Constructor and Description
VariableTracebackStep(VariableExp sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)

Uses of VariableExp in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that return types with arguments of type VariableExp

Modifier and Type	Method and Description
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionItem(CollectionItem<org.eclipse.emf.ecore.EClassifier> item, java.util.Set<VariableExp> itemResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range, java.util.Set<VariableExp> firstResult, java.util.Set<VariableExp> lastResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleConstraint(Constraint constraint, java.util.Set<VariableExp> specificationResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.handleOppositePropertyCallExp(OppositePropertyCallExp callExp, java.util.Set<VariableExp> sourceResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleTupleLiteralExp(TupleLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleTupleLiteralPart(TupleLiteralPart<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> part, java.util.Set<VariableExp> valueResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleVariable(Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> variable, java.util.Set<VariableExp> initResult)
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitExpressionInOCL(ExpressionInOCL<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> expression)
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitIterateExp(IterateExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp)
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp)
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitOppositePropertyCallExp(OppositePropertyCallExp callExp) Visits the property-call source and then its qualifiers (if any).
java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.visitVariableExp(VariableExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> v)

Method parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with type arguments of type VariableExp

Modifier and Type	Method and Description
protected UnusedEvaluationRequest	UnusedEvaluationRequestFactory.createUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots, java.util.Set<VariableExp> inevitableVariableUsages)
UnusedEvaluationRequest	UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots, java.util.Set<VariableExp> inevitableVariableUsages)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionItem(CollectionItem<org.eclipse.emf.ecore.EClassifier> item, java.util.Set<VariableExp> itemResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range, java.util.Set<VariableExp> firstResult, java.util.Set<VariableExp> lastResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleCollectionRange(CollectionRange<org.eclipse.emf.ecore.EClassifier> range, java.util.Set<VariableExp> firstResult, java.util.Set<VariableExp> lastResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleConstraint(Constraint constraint, java.util.Set<VariableExp> specificationResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.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>	FindAlwaysUsedVariablesVisitor.handleOppositePropertyCallExp(OppositePropertyCallExp callExp, java.util.Set<VariableExp> sourceResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.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)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleTupleLiteralExp(TupleLiteralExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> literalExp, java.util.List<java.util.Set<VariableExp>> partResults)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleTupleLiteralPart(TupleLiteralPart<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EStructuralFeature> part, java.util.Set<VariableExp> valueResult)
protected java.util.Set<VariableExp>	FindAlwaysUsedVariablesVisitor.handleVariable(Variable<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> variable, java.util.Set<VariableExp> initResult)

Constructor parameters in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with type arguments of type VariableExp

Constructor and Description

UnusedEvaluationRequest(OCLExpression expression, java.lang.Object resultIndicatingUnused, java.util.Map<Variable,java.lang.Object> inferredVariableValues, java.util.Set<Variable> slots, java.util.Set<VariableExp> inevitableVariableUsages) Must not be called from anywhere except UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression, Object, Map, Set) because resulting instances need to be managed as their equality and hash code fall back to their identity.