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.expressions |
Specification 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.parser | |
org.eclipse.ocl.uml.util |
Miscellaneous utilities in support of the UML environment for OCL.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LoopExp
A representation of the model object 'Loop Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
IterateExpImpl
An implementation of the model object 'Iterate Exp'.
|
class |
IteratorExpImpl
An implementation of the model object 'Iterator Exp'.
|
class |
LoopExpImpl
An implementation of the model object 'Loop Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
EcoreSwitch.caseExpressions_LoopExp(LoopExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Loop Exp'.
|
<C,PM> T |
EcoreSwitch.caseLoopExp_1(LoopExp<C,PM> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseExpressions_LoopExp(org.eclipse.ocl.expressions.LoopExp<C, PM>) method, instead. |
Modifier and Type | Interface and Description |
---|---|
interface |
IterateExp<C,PM>
A representation of the model object 'Iterate Exp'.
|
interface |
IteratorExp<C,PM>
A representation of the model object 'Iterator Exp'.
|
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
LoopExpOperations.checkLoopVariableInit(LoopExp<C,PM> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
self.iterator->forAll(initExpression->isEmpty())
|
static <C,PM> boolean |
LoopExpOperations.checkLoopVariableType(LoopExp<C,PM> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)
|
static <C,PM> boolean |
LoopExpOperations.checkSourceCollection(LoopExp<C,PM> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
source.type.oclIsKindOf(CollectionType)
|
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
ExpressionsSwitch.caseLoopExp(LoopExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Loop Exp'.
|
boolean |
ExpressionsValidator.validateLoopExp_checkLoopVariableInit(LoopExp<?,?> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLoopVariableInit constraint of 'Loop Exp'.
|
boolean |
ExpressionsValidator.validateLoopExp_checkLoopVariableType(LoopExp<?,?> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkLoopVariableType constraint of 'Loop Exp'.
|
boolean |
ExpressionsValidator.validateLoopExp_checkSourceCollection(LoopExp<?,?> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSourceCollection constraint of 'Loop Exp'.
|
boolean |
ExpressionsValidator.validateLoopExp(LoopExp<?,?> loopExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
protected LoopExp<C,PM> |
AbstractOCLAnalyzer.loopExpCS(LoopExpCS loopExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
LoopExpCS
|
Modifier and Type | Method and Description |
---|---|
<C,PM> T |
UMLSwitch.caseExpressions_LoopExp(LoopExp<C,PM> object)
Returns the result of interpreting the object as an instance of 'Loop Exp'.
|
<C,PM> T |
UMLSwitch.caseLoopExp_1(LoopExp<C,PM> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseExpressions_LoopExp(org.eclipse.ocl.expressions.LoopExp<C, PM>) method, instead. |