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.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
Modifier and Type | Method and Description |
---|---|
IteratorExp |
EcoreFactory.createIteratorExp()
Returns a new object of class 'Iterator Exp'.
|
Modifier and Type | Method and Description |
---|---|
IteratorExp |
EcoreFactoryImpl.createIteratorExp() |
Modifier and Type | Method and Description |
---|---|
T |
EcoreSwitch.caseIteratorExp(IteratorExp object)
Returns the result of interpreting the object as an instance of 'Iterator Exp'.
|
boolean |
EcoreValidator.validateIteratorExp(IteratorExp iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Constructor and Description |
---|
IteratorSourcePropagationStrategy(IteratorExp loopExp,
PartialEvaluatorImpl evaluator) |
Constructor and Description |
---|
IteratorExpTracer(IteratorExp expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory) |
PredicateCheckNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
IteratorExp iteratorExp,
PathCache pathCache,
OCLFactory oclFactory) |
Constructor and Description |
---|
IteratorTracebackStep(IteratorExp sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory) |