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.visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp)
Delegates to my decorated visitor.
|
java.lang.Object |
EvaluationVisitorImpl.visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
Callback for a CollectionLiteralExp visit.
|
Modifier and Type | Interface and Description |
---|---|
interface |
CollectionLiteralExp
A representation of the model object 'Collection Literal Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
CollectionLiteralExpImpl
An implementation of the model object 'Collection Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C> CollectionLiteralExp<C> |
OCLFactoryImpl.createCollectionLiteralExp() |
Modifier and Type | Method and Description |
---|---|
<C> T |
EcoreSwitch.caseCollectionLiteralExp_1(CollectionLiteralExp<C> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseExpressions_CollectionLiteralExp(org.eclipse.ocl.expressions.CollectionLiteralExp<C>) method, instead. |
<C> T |
EcoreSwitch.caseExpressions_CollectionLiteralExp(CollectionLiteralExp<C> object)
Returns the result of interpreting the object as an instance of 'Collection Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PartialEvaluationVisitorImpl.visitCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> cl) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
ContextTypeRetriever.visitCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<VariableExp> |
FindAlwaysUsedVariablesVisitor.handleCollectionLiteralExp(CollectionLiteralExp<org.eclipse.emf.ecore.EClassifier> literalExp,
java.util.List<java.util.Set<VariableExp>> partResults) |
Modifier and Type | Method and Description |
---|---|
<C> CollectionLiteralExp<C> |
ExpressionsFactory.createCollectionLiteralExp()
Returns a new object of class 'Collection Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C> CollectionLiteralExp<C> |
ExpressionsFactoryImpl.createCollectionLiteralExp() |
Modifier and Type | Method and Description |
---|---|
static <C> boolean |
CollectionLiteralExpOperations.checkBagKind(CollectionLiteralExp<C> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
kind = CollectionKind::Bag implies type.oclIsKindOf(BagType)
|
static <C> boolean |
CollectionLiteralExpOperations.checkElementType(CollectionLiteralExp<C> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
type.oclAsType(CollectionType).elementType = part->iterate(p; c : Classifier = OclVoid | c.commonSuperType(p.type))
|
static <C> boolean |
CollectionLiteralExpOperations.checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
kind <> CollectionKind::Collection
|
static <C> boolean |
CollectionLiteralExpOperations.checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
kind = CollectionKind::Sequence implies type.oclIsKindOf(SequenceType)
|
static <C> boolean |
CollectionLiteralExpOperations.checkSetKind(CollectionLiteralExp<C> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
kind = CollectionKind::Set implies type.oclIsKindOf(SetType)
|
Modifier and Type | Method and Description |
---|---|
<C> T |
ExpressionsSwitch.caseCollectionLiteralExp(CollectionLiteralExp<C> object)
Returns the result of interpreting the object as an instance of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp_checkBagKind(CollectionLiteralExp<?> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkBagKind constraint of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp_checkElementType(CollectionLiteralExp<?> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkElementType constraint of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp_checkNoCollectionInstances(CollectionLiteralExp<?> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkNoCollectionInstances constraint of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp_checkSequenceKind(CollectionLiteralExp<?> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSequenceKind constraint of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp_checkSetKind(CollectionLiteralExp<?> collectionLiteralExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSetKind constraint of 'Collection Literal Exp'.
|
boolean |
ExpressionsValidator.validateCollectionLiteralExp(CollectionLiteralExp<?> collectionLiteralExp,
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.visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitCollectionLiteralExp(CollectionLiteralExp<C> exp) |
Modifier and Type | Method and Description |
---|---|
protected CollectionLiteralExp<C> |
AbstractOCLAnalyzer.collectionLiteralExpCS(CollectionLiteralExpCS collectionLiteralExpCS,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env)
CollectionLiteralExpCS
|
<C> CollectionLiteralExp<C> |
OCLFactoryWithHistory.createCollectionLiteralExp() |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
ValidationVisitor.visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
Callback for a CollectionLiteralExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C> CollectionLiteralExp<C> |
OCLFactoryImpl.createCollectionLiteralExp() |
Modifier and Type | Method and Description |
---|---|
<C> T |
UMLSwitch.caseCollectionLiteralExp_1(CollectionLiteralExp<C> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseExpressions_CollectionLiteralExp(org.eclipse.ocl.expressions.CollectionLiteralExp<C>) method, instead. |
<C> T |
UMLSwitch.caseExpressions_CollectionLiteralExp(CollectionLiteralExp<C> object)
Returns the result of interpreting the object as an instance of 'Collection Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
ToStringVisitor.handleCollectionLiteralExp(CollectionLiteralExp<C> cl,
java.util.List<java.lang.String> partResults)
Callback for a CollectionLiteralExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C> CollectionLiteralExp<C> |
OCLFactory.createCollectionLiteralExp()
Returns a new object of class 'Collection Literal Exp'.
|
Modifier and Type | Method and Description |
---|---|
protected T |
AbstractVisitor.handleCollectionLiteralExp(CollectionLiteralExp<C> literalExp,
java.util.List<T> partResults)
Visits the specified collection literal expression with the results of visiting
its parts (if any).
|
T |
AbstractVisitor.visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp)
Visits the collection literal's parts.
|
T |
Visitor.visitCollectionLiteralExp(CollectionLiteralExp<C> literalExp) |