Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
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.internal | |
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.impl | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
org.eclipse.ocl.expressions |
Specification of the Expressions package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.expressions.impl |
Implementation of the Expressions package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.expressions.operations | |
org.eclipse.ocl.expressions.util |
Generated utilities for working with instances the Expressions model.
|
org.eclipse.ocl.internal.evaluation | |
org.eclipse.ocl.internal.helper | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.uml.internal | |
org.eclipse.ocl.uml.util |
Miscellaneous utilities in support of the UML environment for OCL.
|
org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
org.eclipse.ocl.utilities |
Abstract API for OCL AST utilities and extensions of the UML metamodel.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
EvaluationVisitorDecorator.visitIteratorExp(IteratorExp<C,PM> callExp)
Delegates to my decorated visitor.
|
java.lang.Object |
EvaluationVisitorImpl.visitIteratorExp(IteratorExp<C,PM> ie)
Callback for an IteratorExp visit.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IteratorExp
A representation of the model object 'Iterator Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
IteratorExpImpl
An implementation of the model object 'Iterator Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,PM> IteratorExp<C,PM> |
OCLFactoryImpl.createIteratorExp() |
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
EcoreSwitch.caseExpressions_IteratorExp(IteratorExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Iterator Exp'.
|
<C,PM> T |
EcoreSwitch.caseIteratorExp_1(IteratorExp<C,PM> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseExpressions_IteratorExp(org.eclipse.ocl.expressions.IteratorExp<C, PM>) method, instead. |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PartialEvaluationVisitorImpl.visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> ie) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
ContextTypeRetriever.visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp) |
Modifier and Type | Method and Description |
---|---|
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) |
java.util.Set<VariableExp> |
FindAlwaysUsedVariablesVisitor.visitIteratorExp(IteratorExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EParameter> callExp) |
Modifier and Type | Method and Description |
---|---|
<C,PM> IteratorExp<C,PM> |
ExpressionsFactory.createIteratorExp()
Returns a new object of class 'Iterator Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,PM> IteratorExp<C,PM> |
ExpressionsFactoryImpl.createIteratorExp() |
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
IteratorExpOperations.checkBooleanBodyType(IteratorExp<C,PM> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
name = 'exists' or name = 'forAll' or name = 'select' or name = 'reject'
implies body.type.name = 'Boolean'
|
static <C,PM> boolean |
IteratorExpOperations.checkBooleanType(IteratorExp<C,PM> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
name = 'exists' or name = 'forAll' or name = 'isUnique'
implies type.oclIsKindOf(PrimitiveType) and type.name = 'Boolean'
|
static <C,PM> boolean |
IteratorExpOperations.checkCollectType(IteratorExp<C,PM> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
name = 'collect' implies
if source.type.oclIsKindOf(SequenceType) then
type = expression.type.collectionType->select(oclIsTypeOf(SequenceType))->first()
else
type = expression.type.collectionType->select(oclIsTypeOf(BagType))->first()
endif
|
static <C,PM> boolean |
IteratorExpOperations.checkSelectRejectType(IteratorExp<C,PM> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
name = 'select' or name = 'reject' implies type = source.type
|
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
ExpressionsSwitch.caseIteratorExp(IteratorExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Iterator Exp'.
|
boolean |
ExpressionsValidator.validateIteratorExp_checkBooleanBodyType(IteratorExp<?,?> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanBodyType constraint of 'Iterator Exp'.
|
boolean |
ExpressionsValidator.validateIteratorExp_checkBooleanType(IteratorExp<?,?> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBooleanType constraint of 'Iterator Exp'.
|
boolean |
ExpressionsValidator.validateIteratorExp_checkCollectType(IteratorExp<?,?> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkCollectType constraint of 'Iterator Exp'.
|
boolean |
ExpressionsValidator.validateIteratorExp_checkSelectRejectType(IteratorExp<?,?> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSelectRejectType constraint of 'Iterator Exp'.
|
boolean |
ExpressionsValidator.validateIteratorExp(IteratorExp<?,?> iteratorExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
TracingEvaluationVisitor.visitIteratorExp(IteratorExp<C,PM> callExp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitIteratorExp(IteratorExp<C,PM> exp) |
Modifier and Type | Method and Description |
---|---|
protected IteratorExp<C,PM> |
AbstractOCLAnalyzer.createImplicitCollect(OCLExpression<C> source,
FeatureCallExp<C> propertyCall,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
CSTNode cstNode)
Creates an implicit
collect iterator expression for a
property call on a collection-type source expression. |
<C,PM> IteratorExp<C,PM> |
OCLFactoryWithHistory.createIteratorExp() |
protected IteratorExp<C,PM> |
AbstractOCLAnalyzer.iteratorExpCS(IteratorExpCS iteratorExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
IteratorExpCS
|
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
ValidationVisitor.visitIteratorExp(IteratorExp<C,PM> ie)
Callback for an IteratorExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C,PM> IteratorExp<C,PM> |
OCLFactoryImpl.createIteratorExp() |
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
UMLSwitch.caseExpressions_IteratorExp(IteratorExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Iterator Exp'.
|
<C,PM> T |
UMLSwitch.caseIteratorExp_1(IteratorExp<C,PM> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseExpressions_IteratorExp(org.eclipse.ocl.expressions.IteratorExp<C, PM>) method, instead. |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
ToStringVisitor.handleIteratorExp(IteratorExp<C,PM> callExp,
java.lang.String sourceResult,
java.util.List<java.lang.String> variableResults,
java.lang.String bodyResult)
Callback for an IteratorExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C,PM> IteratorExp<C,PM> |
OCLFactory.createIteratorExp()
Returns a new object of class 'Iterator Exp'.
|
Modifier and Type | Method and Description |
---|---|
protected T |
AbstractVisitor.handleIteratorExp(IteratorExp<C,PM> callExp,
T sourceResult,
java.util.List<T> variableResults,
T bodyResult)
Visits the specified iterator expression with the results of visiting
its source, its iterator variables, and its body expression.
|
T |
AbstractVisitor.visitIteratorExp(IteratorExp<C,PM> callExp)
Visits the iterator's source, then its variables, followed by its body
expression.
|
T |
Visitor.visitIteratorExp(IteratorExp<C,PM> callExp) |