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 |
Modifier and Type | Method and Description |
---|---|
VariableExp |
EcoreFactory.createVariableExp()
Returns a new object of class 'Variable Exp'.
|
Modifier and Type | Method and Description |
---|---|
VariableExp |
EcoreFactoryImpl.createVariableExp() |
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) |
Constructor and Description |
---|
VariableExpTracer(VariableExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory) |
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) |
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) |
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 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. |