|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VariableExp | |
---|---|
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 | |
---|---|
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 | |
---|---|
VariableExp |
EcoreFactoryImpl.createVariableExp()
|
Uses of VariableExp in org.eclipse.ocl.ecore.util |
---|
Methods in org.eclipse.ocl.ecore.util with parameters of type VariableExp | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |