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.internal.evaluation | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.types |
Specification of the Types package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.types.impl |
Implementation of the Types package of the Object Constraint Lanuage
version 2.0 Abstract Syntax model.
|
org.eclipse.ocl.types.operations | |
org.eclipse.ocl.types.util |
Generated utilities for working with instances the Types model.
|
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 |
---|---|
protected TupleType<O,P> |
AbstractTypeResolver.createTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Creates a new tuple type from the specified
parts , assuming that
it does not already exist. |
protected TupleType<O,P> |
AbstractTypeResolver.findTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Finds an existing tuple type matching the specified
parts , if any
has already been created. |
TupleType<O,P> |
AbstractEvaluationEnvironment.AbstractTuple.getTupleType() |
protected abstract TupleType<O,P> |
AbstractTypeChecker.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves the specified signature of tuple parts to a tuple type already
available in the current environment, or else a new one.
|
TupleType<O,P> |
AbstractTypeResolver.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
TupleType<O,P> |
TypeResolver.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)
Resolves the tuple type consisting of the specified
parts ,
in no particular order, either created anew or previously created. |
Constructor and Description |
---|
AbstractEvaluationEnvironment.AbstractTuple(TupleType<O,P> type,
java.util.Map<P,java.lang.Object> values)
Initializes me with a map of part values.
|
Modifier and Type | Interface and Description |
---|---|
interface |
TupleType
A representation of the model object 'Tuple Type'.
|
Modifier and Type | Class and Description |
---|---|
class |
TupleTypeImpl
An implementation of the model object 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<O,P> T |
EcoreSwitch.caseTupleType_1(TupleType<O,P> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseTypes_TupleType(org.eclipse.ocl.types.TupleType<O, P>) method, instead. |
<O,P> T |
EcoreSwitch.caseTypes_TupleType(TupleType<O,P> object)
Returns the result of interpreting the object as an instance of 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
protected TupleType<O,P> |
BasicTypeChecker.resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryWithHistory.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<O,P> TupleType<O,P> |
TypesFactory.createTupleType()
Returns a new object of class 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
<O,P> TupleType<O,P> |
TypesFactoryImpl.createTupleType() |
<C,O,P> TupleType<O,P> |
TypesFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
static <O,P> boolean |
TupleTypeOperations.checkFeaturesOnlyProperties(TupleType<O,P> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
feature->forAll (f | f.oclIsTypeOf(Property))
|
static <O,P> boolean |
TupleTypeOperations.checkPartNamesUnique(TupleType<O,P> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
true
|
static <O,P> boolean |
TupleTypeOperations.checkTupleTypeName(TupleType<O,P> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
name =
'Tuple('.concat (
Sequence{1..allProperties()->size()}->iterate (pn; s: String = '' |
let p: Property = allProperties()->at (pn) in (
s.concat (
(if (pn>1) then ',' else '' endif)
.concat (p.name).concat (': ')
.concat (p.type.name)
)
)
)
).concat (')')
|
static <O,P> java.lang.String |
TupleTypeOperations.getName(TupleType<O,P> tupleType) |
static <O,P> org.eclipse.emf.common.util.EList<O> |
TupleTypeOperations.oclOperations(TupleType<O,P> tupleType) |
static <O,P> org.eclipse.emf.common.util.EList<P> |
TupleTypeOperations.oclProperties(TupleType<O,P> tupleType) |
Modifier and Type | Method and Description |
---|---|
<O,P> T |
TypesSwitch.caseTupleType(TupleType<O,P> object)
Returns the result of interpreting the object as an instance of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType_checkFeaturesOnlyProperties(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkFeaturesOnlyProperties constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkPartNamesUnique constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTupleTypeName constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType(TupleType<?,?> tupleType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(java.util.List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
<O,P> T |
UMLSwitch.caseTupleType_1(TupleType<O,P> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseTypes_TupleType(org.eclipse.ocl.types.TupleType<O, P>) method, instead. |
<O,P> T |
UMLSwitch.caseTypes_TupleType(TupleType<O,P> object)
Returns the result of interpreting the object as an instance of 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
TupleType<O,P> |
Tuple.getTupleType()
Obtains the tuple's type.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactory.createTupleType(java.util.List<? extends TypedElement<C>> parts)
Creates a tuple type based on tthe specified part descriptions.
|