Modifier and Type | Interface and Description |
---|---|
interface |
DomainCollectionType |
interface |
DomainEnumeration |
interface |
DomainInheritance
An Inheritance provides access to the transitive inheritance relationships of a type
with respect to a particular type regime, noting that the complexities of CompleteOCL allow
for different inheritance for different applications.
|
interface |
DomainInvalidType |
interface |
DomainLambdaType |
interface |
DomainMetaclass |
interface |
DomainTupleType |
interface |
DomainType |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCollectionType |
class |
AbstractInheritance |
class |
AbstractMetaclass |
class |
AbstractSpecializedType |
class |
AbstractTupleType |
class |
AbstractType |
class |
DomainInvalidTypeImpl |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractInheritance.oclEquals(OCLValue thatValue) |
boolean |
AbstractType.oclEquals(OCLValue thatValue) |
Modifier and Type | Interface and Description |
---|---|
interface |
IntegerValue |
static interface |
IntegerValue.Accumulator |
interface |
InvalidValue |
interface |
NullValue |
interface |
RealValue |
interface |
UnlimitedValue |
Modifier and Type | Method and Description |
---|---|
boolean |
OCLValue.oclEquals(OCLValue thatValue)
Return true if this is an equivalent OCL value to thatValue.
|
Modifier and Type | Class and Description |
---|---|
class |
BigIntegerValueImpl |
class |
IntegerValueImpl |
class |
IntIntegerValueImpl
IntIntegerValueImpl provides an implementation of an IntegerValue using a Java
int representation.
|
class |
InvalidValueException
An InvalidValueException wraps an InvalidValue and is used to return the InvalidValue
to the caller.
|
class |
LongIntegerValueImpl
LongIntegerValueImpl provides an implementation of an IntegerValue using a Java
long representation.
|
class |
NullValueImpl
An InvalidValueException wraps an InvalidValue and is used to return the InvalidValue
to the caller.
|
class |
RealValueImpl |
class |
UndefinedValueImpl |
class |
UnlimitedValueImpl |
Modifier and Type | Method and Description |
---|---|
boolean |
InvalidValueException.oclEquals(OCLValue thatValue) |
boolean |
NullValueImpl.oclEquals(OCLValue thatValue) |
boolean |
NumberValueImpl.oclEquals(OCLValue thatValue) |
Modifier and Type | Class and Description |
---|---|
class |
EcoreExecutorEnumeration |
class |
EcoreExecutorInvalidType |
class |
EcoreExecutorType |
class |
EcoreExecutorVoidType |
class |
EcoreReflectiveEnumeration |
class |
EcoreReflectiveType |
Modifier and Type | Interface and Description |
---|---|
interface |
ExecutorTypeArgument |
Modifier and Type | Class and Description |
---|---|
class |
DomainReflectiveType |
class |
ExecutorLambdaType |
class |
ExecutorSpecializedType |
class |
ExecutorTupleType |
class |
ExecutorType
An ExecutorType defines a Type using a compact representation suitable for efficient
execution and static construction.
|
class |
ExecutorTypeParameter |
class |
JavaType
JavaType supports the usage of Java Class to define the type of an object.
|
class |
ReflectiveType
A ReflectiveType defines a Type using a compact representation suitable for efficient
execution.
|
Modifier and Type | Interface and Description |
---|---|
interface |
AnyType
A representation of the model object 'Any Type'.
|
interface |
AssociationClass
A representation of the model object 'Association Class'.
|
interface |
BagType
A representation of the model object 'Bag Type'.
|
interface |
Behavior
A representation of the model object 'Behavior'.
|
interface |
Class
A representation of the model object 'Class'.
|
interface |
CollectionType
A representation of the model object 'Collection Type'.
|
interface |
DataType
A representation of the model object 'Data Type'.
|
interface |
DynamicType
A representation of the model object 'Dynamic Type'.
|
interface |
ElementExtension
A representation of the model object 'Applied Stereotype'.
|
interface |
Enumeration
A representation of the model object 'Enumeration'.
|
interface |
InvalidType
A representation of the model object 'Invalid Type'.
|
interface |
LambdaType
A representation of the model object 'Lambda Type'.
|
interface |
MessageType
A representation of the model object 'Message Type'.
|
interface |
Metaclass
A representation of the model object 'Classifier Type'.
|
interface |
OrderedSetType
A representation of the model object 'Ordered Set Type'.
|
interface |
PrimitiveType
A representation of the model object 'Primitive Type'.
|
interface |
SelfType
A representation of the model object 'Self Type'.
|
interface |
SequenceType
A representation of the model object 'Sequence Type'.
|
interface |
SetType
A representation of the model object 'Set Type'.
|
interface |
StateMachine
A representation of the model object 'State Machine'.
|
interface |
Stereotype
A representation of the model object 'Stereotype'.
|
interface |
TemplateParameterType
A representation of the model object 'Template Parameter Type'.
|
interface |
TupleType
A representation of the model object 'Tuple Type'.
|
interface |
Type
A representation of the model object 'Type'.
|
interface |
UnspecifiedType
A representation of the model object 'Unspecified Type'.
|
interface |
VoidType
A representation of the model object 'Void Type'.
|
Modifier and Type | Class and Description |
---|---|
class |
AnyTypeImpl
An implementation of the model object 'Any Type'.
|
class |
AssociationClassImpl
An implementation of the model object 'Association Class'.
|
class |
BagTypeImpl
An implementation of the model object 'Bag Type'.
|
class |
BehaviorImpl
An implementation of the model object 'Behavior'.
|
class |
ClassImpl
An implementation of the model object 'Class'.
|
class |
CollectionTypeImpl
An implementation of the model object 'Collection Type'.
|
class |
DataTypeImpl
An implementation of the model object 'Data Type'.
|
class |
DynamicTypeImpl
An implementation of the model object 'Dynamic Type'.
|
class |
ElementExtensionImpl
An implementation of the model object 'Applied Stereotype'.
|
class |
EnumerationImpl
An implementation of the model object 'Enumeration'.
|
class |
InvalidTypeImpl
An implementation of the model object 'Invalid Type'.
|
class |
LambdaTypeImpl
An implementation of the model object 'Lambda Type'.
|
class |
MessageTypeImpl
An implementation of the model object 'Message Type'.
|
class |
MetaclassImpl
An implementation of the model object 'Classifier Type'.
|
class |
OrderedSetTypeImpl
An implementation of the model object 'Ordered Set Type'.
|
class |
PrimitiveTypeImpl
An implementation of the model object 'Primitive Type'.
|
class |
SelfTypeImpl
An implementation of the model object 'Self Type'.
|
class |
SequenceTypeImpl
An implementation of the model object 'Sequence Type'.
|
class |
SetTypeImpl
An implementation of the model object 'Set Type'.
|
class |
StateMachineImpl
An implementation of the model object 'State Machine'.
|
class |
StereotypeImpl
An implementation of the model object 'Stereotype'.
|
class |
TemplateParameterTypeImpl
An implementation of the model object 'Template Parameter Type'.
|
class |
TupleTypeImpl
An implementation of the model object 'Tuple Type'.
|
class |
TypeImpl
An implementation of the model object 'Type'.
|
class |
UnspecifiedTypeImpl
An implementation of the model object 'Unspecified Type'.
|
class |
VoidTypeImpl
An implementation of the model object 'Void Type'.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TypeImpl.oclEquals(OCLValue thatValue) |
Modifier and Type | Interface and Description |
---|---|
interface |
TypeServer
A TypeServer serves coordinated behavior of one or more
merged Types as required for Complete OCL type extension.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractTypeServer
An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types.
|
class |
AnyTypeServer |
class |
CollectionTypeServer
An CollectionTypeServer supports one or more merged collection types as the source for operations, properties or superclasses
and additionally supports their specializations.
|
class |
EnumerationTypeServer |
class |
ExtensibleTypeServer
An ExtensibleTypeServer supports one or more merged types as the source for operations, properties or superclasses.
|
class |
ExtensionTypeServer
An ExtensionTypeServer supports the type for the extension of a class by a stereotype application.
|
class |
InvalidTypeServer |
class |
MetaclassServer
A MetaclassServer supports one or more merged types as the source for operations, properties or superclasses
and additionally supports their specializations.
|
class |
OrphanTypeServer
An OrphanTypeServer provides a 'merge' type behaviour for a synthesized type that forms part of the
OrphanPackage rather than a true package.
|
class |
PrimitiveTypeServer
A PrimitiveTypeServer supports one or more merged primitive types.
|
class |
TemplateableTypeServer
An TemplateableTypeServer supports one or more merged types as the source for operations, properties or superclasses
and additionally supports their specializations.
|