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.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.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 |
---|---|
TupleType<O,P> |
AbstractTypeResolver.resolveTupleType(<any> parts) |
TupleType<O,P> |
TypeResolver.resolveTupleType(<any> parts)
Resolves the tuple type consisting of the specified
parts ,
in no particular order, either created anew or previously created. |
Modifier and Type | Interface and Description |
---|---|
interface |
TupleType
A representation of the model object 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(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 |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryWithHistory.createTupleType(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 | Class and Description |
---|---|
class |
TupleTypeImpl<O,P>
An implementation of the model object 'Tuple Type'.
|
Modifier and Type | Method and Description |
---|---|
<O,P> TupleType<O,P> |
TypesFactoryImpl.createTupleType() |
<C,O,P> TupleType<O,P> |
TypesFactoryImpl.createTupleType(List<? extends TypedElement<C>> parts) |
Modifier and Type | Method and Description |
---|---|
static <O,P> boolean |
TupleTypeOperations.checkFeaturesOnlyProperties(TupleType<O,P> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
feature->forAll (f | f.oclIsTypeOf(Property))
|
static <O,P> boolean |
TupleTypeOperations.checkPartNamesUnique(TupleType<O,P> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
true
|
static <O,P> boolean |
TupleTypeOperations.checkTupleTypeName(TupleType<O,P> tupleType,
DiagnosticChain diagnostics,
Map<Object,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> String |
TupleTypeOperations.getName(TupleType<O,P> tupleType) |
static <O,P> <any> |
TupleTypeOperations.oclOperations(TupleType<O,P> tupleType) |
static <O,P> <any> |
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,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkFeaturesOnlyProperties constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType_checkPartNamesUnique(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkPartNamesUnique constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType_checkTupleTypeName(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the checkTupleTypeName constraint of 'Tuple Type'.
|
boolean |
TypesValidator.validateTupleType(TupleType<?,?> tupleType,
DiagnosticChain diagnostics,
Map<Object,Object> context) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> TupleType<O,P> |
OCLFactoryImpl.createTupleType(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(List<? extends TypedElement<C>> parts)
Creates a tuple type based on tthe specified part descriptions.
|
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.