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.filterSynthesis | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
org.eclipse.ocl.examples.impactanalyzer.util |
Modifier and Type | Method and Description |
---|---|
OperationCallExp |
EcoreFactory.createOperationCallExp()
Returns a new object of class 'Operation Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
OperationCallExp |
EcoreFactoryImpl.createOperationCallExp() |
Modifier and Type | Method and Description |
---|---|
T |
EcoreSwitch.caseOperationCallExp(OperationCallExp object)
Returns the result of interpreting the object as an instance of 'Operation Call Exp'.
|
boolean |
EcoreValidator.validateOperationCallExp(OperationCallExp operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OperationCallExp> |
FilterSynthesisImpl.getAllInstancesCallsFor(org.eclipse.emf.ecore.EClassifier c)
Always returns a non-null set.
|
java.util.Set<OperationCallExp> |
FilterSynthesisImpl.getCallsOf(OCLExpression operationBodyExpression)
Returns all the calls to the operation whose body is operationBodyExpression that are reachable from the root
expression analyzed by this
FilterSynthesis . |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
FilterSynthesisImpl.getBodyForCall(OperationCallExp call)
Looks up if the
OCLExpression that is called by the given OperationCallExp has already been visited. |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OperationCallExp> |
OperationBodyToCallMapper.getCallsOf(OCLExpression operationBodyExpression)
Returns all the calls to the operation whose body is operationBodyExpression that are reachable from some scope.
|
Constructor and Description |
---|
OperationCallExpTracer(OperationCallExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
protected AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp |
AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression,
OCLExpression targetExpression,
OperationCallExp call,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache)
Creates a new
AbstractTracebackStep.TracebackStepAndScopeChange } object, remembering an OperationCallExp to which the
results produced by this step are specific. |
Constructor and Description |
---|
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp(TracebackStep step,
java.util.Set<Variable> variablesChangingScope,
OperationCallExp callToWhichResultsAreSpecific)
Remembers
call as the only operation call through which |
OperationCallTracebackStep(OperationCallExp 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 |
---|---|
OperationCallExp |
EntryIterableWithIterableForNullKey.getKey() |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
FlatSet.entrySet()
The returned iterable's iterator produces a single element with this set contained as iterable value,
or an empty iterable in case this set is empty.
|
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
IterableAsOperationCallExpKeyedSet.entrySet() |
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
OperationCallExpKeyedSet.entrySet() |
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
OperationCallExpKeyedSetImpl.entrySet() |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(OperationCallExp oce,
OperationCallExpKeyedSet c) |
java.lang.Iterable<AnnotatedEObject> |
FlatSet.getCombinedResultsFor(OperationCallExp oce)
The combined results is this set itself because it always contains all results for all
operation calls, already combined.
|
java.lang.Iterable<AnnotatedEObject> |
IterableAsOperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce) |
java.lang.Iterable<AnnotatedEObject> |
OperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce) |
java.lang.Iterable<AnnotatedEObject> |
OperationCallExpKeyedSetImpl.getCombinedResultsFor(OperationCallExp oce) |