Modifier and Type | Field and Description |
---|---|
static DomainInheritance[] |
DomainInheritance.EMPTY_ARRAY |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
DomainFragment.getBaseInheritance()
Return the inheritance that introduces the operations and properties in this fragment.
|
DomainInheritance |
DomainInheritance.getCommonInheritance(DomainInheritance inheritance) |
DomainInheritance |
DomainFragment.getDerivedInheritance()
Return the inheritance that overloads the operations and properties in this fragment.
|
DomainInheritance |
DomainOperation.getInheritance(DomainStandardLibrary standardLibrary)
Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.
|
DomainInheritance |
DomainProperty.getInheritance(DomainStandardLibrary standardLibrary)
Return the Inheritance dispatch table for the owning type, or null for an orphan property owned by an Annotation.
|
DomainInheritance |
DomainType.getInheritance(DomainStandardLibrary standardLibrary)
Return the inheritance description for this type within standardLibrary.
|
DomainInheritance |
DomainStandardLibrary.getInheritance(DomainType type)
Return the Inheritance dispatch table for a given type.
|
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
DomainInheritance.getCommonInheritance(DomainInheritance inheritance) |
DomainFragment |
DomainInheritance.getFragment(DomainInheritance thatInheritance) |
boolean |
DomainInheritance.isSubInheritanceOf(DomainInheritance inheritance) |
boolean |
DomainInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary,
DomainInheritance inheritance) |
DomainOperation |
DomainInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary,
java.lang.String operationName,
DomainInheritance... argumentTypes) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractInheritance |
Modifier and Type | Field and Description |
---|---|
DomainInheritance |
AbstractFragment.baseInheritance |
DomainInheritance |
AbstractFragment.derivedInheritance |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
AbstractFragment.getBaseInheritance() |
DomainInheritance |
AbstractInheritance.getCommonInheritance(DomainInheritance thatInheritance) |
DomainInheritance |
AbstractFragment.getDerivedInheritance() |
DomainInheritance |
AbstractInheritance.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
AbstractType.getInheritance(DomainStandardLibrary standardLibrary) |
protected DomainInheritance |
AbstractInheritance.getOclAnyInheritance() |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
AbstractInheritance.getCommonInheritance(DomainInheritance thatInheritance) |
DomainFragment |
AbstractInheritance.getFragment(DomainInheritance thatInheritance) |
boolean |
AbstractInheritance.isSubInheritanceOf(DomainInheritance thatInheritance) |
boolean |
AbstractInheritance.isSuperInheritanceOf(DomainStandardLibrary standardLibrary,
DomainInheritance thatInheritance) |
DomainOperation |
AbstractInheritance.lookupLocalOperation(DomainStandardLibrary standardLibrary,
java.lang.String operationName,
DomainInheritance... argumentTypes) |
Constructor and Description |
---|
AbstractFragment(DomainInheritance derivedInheritance,
DomainInheritance baseInheritance) |
Modifier and Type | Class and Description |
---|---|
class |
EcoreExecutorEnumeration |
class |
EcoreExecutorInvalidType |
class |
EcoreExecutorType |
class |
EcoreExecutorVoidType |
class |
EcoreReflectiveEnumeration |
class |
EcoreReflectiveType |
Modifier and Type | Field and Description |
---|---|
static java.util.List<DomainInheritance> |
EcoreReflectiveType.EMPTY_INHERITANCES |
protected java.util.Map<org.eclipse.emf.ecore.EClassifier,DomainInheritance> |
EcoreReflectivePackage.types |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
EcoreIdResolver.getType(org.eclipse.emf.ecore.EClassifier eClassifier) |
DomainInheritance |
EcoreExecutorPackage.getType(java.lang.String typeName) |
DomainInheritance |
EcoreReflectivePackage.getType(java.lang.String typeName) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<org.eclipse.emf.ecore.EClassifier,DomainInheritance> |
EcoreReflectivePackage.computeClasses() |
java.lang.Iterable<? extends DomainInheritance> |
EcoreReflectiveType.getInitialSuperInheritances() |
java.util.List<DomainInheritance> |
EcoreExecutorPackage.getOwnedType() |
java.util.List<DomainInheritance> |
EcoreReflectivePackage.getOwnedType() |
Modifier and Type | Method and Description |
---|---|
protected AbstractFragment |
EcoreReflectiveType.createFragment(DomainInheritance baseInheritance) |
Constructor and Description |
---|
EcoreExecutorProperty(org.eclipse.emf.ecore.EStructuralFeature eFeature,
DomainInheritance executorType,
int propertyIndex) |
EcoreReflectiveFragment(EcoreReflectiveType derivedInheritance,
DomainInheritance baseInheritance) |
Modifier and Type | Class and Description |
---|---|
class |
DomainReflectiveType |
class |
ExecutorType
An ExecutorType defines a Type using a compact representation suitable for efficient
execution and static construction.
|
class |
ReflectiveType
A ReflectiveType defines a Type using a compact representation suitable for efficient
execution.
|
Modifier and Type | Field and Description |
---|---|
protected DomainInheritance |
AbstractExecutorProperty.executorType |
protected DomainInheritance |
DomainProperties.inheritance |
protected DomainInheritance |
ExecutorOperation.inheritance |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<DomainType,DomainInheritance> |
ReflectivePackage.types |
Modifier and Type | Method and Description |
---|---|
protected abstract DomainInheritance |
ReflectivePackage.createExecutorType(DomainType domainType) |
DomainInheritance |
AbstractExecutorProperty.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
ExecutorOperation.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
JavaType.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
ExecutorStandardLibrary.getInheritance(DomainType type) |
DomainInheritance |
ReflectivePackage.getInheritance(DomainType type) |
DomainInheritance |
ExecutorStandardLibrary.getOclType(java.lang.String typeName) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<DomainType,DomainInheritance> |
ReflectivePackage.computeClasses() |
java.lang.Iterable<? extends DomainInheritance> |
DomainReflectiveType.getInitialSuperInheritances() |
protected abstract java.lang.Iterable<? extends DomainInheritance> |
ReflectiveType.getInitialSuperInheritances()
Return the immediate superinheritances without reference to the fragments.
|
Modifier and Type | Method and Description |
---|---|
protected AbstractFragment |
DomainReflectiveType.createFragment(DomainInheritance baseInheritance) |
protected abstract AbstractFragment |
ReflectiveType.createFragment(DomainInheritance baseInheritance) |
Constructor and Description |
---|
AbstractExecutorProperty(java.lang.String name,
DomainInheritance executorType,
int propertyIndex) |
DomainProperties(DomainInheritance inheritance) |
DomainReflectiveFragment(DomainReflectiveType derivedInheritance,
DomainInheritance baseInheritance) |
ExecutorFragment(ExecutorType derivedInheritance,
DomainInheritance baseInheritance) |
ExecutorOperation(java.lang.String name,
DomainParameterTypes parameterTypes,
DomainInheritance inheritance,
int index,
DomainTypeParameters typeParameters,
LibraryFeature implementation) |
ExecutorProperty(java.lang.String name,
DomainInheritance executorType,
int propertyIndex) |
ExecutorProperty(java.lang.String name,
DomainInheritance executorType,
int propertyIndex,
LibraryProperty implementation)
Deprecated.
|
ExecutorPropertyWithImplementation(java.lang.String name,
DomainInheritance executorType,
int propertyIndex,
LibraryProperty implementation) |
ReflectiveFragment(DomainInheritance derivedInheritance,
DomainInheritance baseInheritance) |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
PivotExecutorStandardLibrary.getInheritance(DomainType type) |
Constructor and Description |
---|
PivotReflectiveFragment(TypeServer derivedInheritance,
DomainInheritance baseInheritance) |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
DataTypeImpl.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
ElementExtensionImpl.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
OperationImpl.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
PropertyImpl.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
TupleTypeImpl.getInheritance(DomainStandardLibrary standardLibrary) |
DomainInheritance |
TypeImpl.getInheritance(DomainStandardLibrary standardLibrary) |
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.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<java.lang.String,DomainInheritance> |
AbstractTypeServer.QualifiedName2DomainInheritance.name2superclasses |
Modifier and Type | Method and Description |
---|---|
DomainInheritance |
AbstractTypeServer.QualifiedName2DomainInheritance.apply(java.lang.String qualifiedClassName) |
protected DomainInheritance |
PackageServer.createExecutorType(DomainType domainType) |
DomainInheritance |
AnyTypeServer.getCommonInheritance(DomainInheritance thatInheritance) |
DomainInheritance |
InvalidTypeServer.getCommonInheritance(DomainInheritance thatInheritance) |
DomainInheritance |
MetaModelManager.getInheritance(DomainType type) |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<? extends DomainInheritance> |
AbstractTypeServer.getAllSuperClasses() |
java.lang.Iterable<? extends DomainInheritance> |
TypeServer.getAllSuperClasses() |
java.lang.Iterable<? extends DomainInheritance> |
AbstractTypeServer.getAllSuperClasses(java.lang.String className) |
java.lang.Iterable<? extends DomainInheritance> |
TypeServer.getAllSuperClasses(java.lang.String className) |
java.util.Set<DomainInheritance> |
MetaModelManager.getCommonClasses(Type leftClass,
Type rightClass,
java.util.Set<DomainInheritance> commonClasses) |
java.lang.Iterable<? extends DomainInheritance> |
AbstractTypeServer.getInitialSuperInheritances() |
java.lang.Iterable<? extends DomainInheritance> |
AnyTypeServer.getInitialSuperInheritances() |
protected java.util.Map<java.lang.String,DomainInheritance> |
AbstractTypeServer.initSuperClasses() |
Modifier and Type | Method and Description |
---|---|
protected AbstractFragment |
AbstractTypeServer.createFragment(DomainInheritance baseInheritance) |
DomainInheritance |
AnyTypeServer.getCommonInheritance(DomainInheritance thatInheritance) |
DomainInheritance |
InvalidTypeServer.getCommonInheritance(DomainInheritance thatInheritance) |
boolean |
FinalAnalysis.isFinal(DomainInheritance domainInheritance) |
DomainOperation |
FinalAnalysis.isFinal(DomainOperation operation,
DomainInheritance domainInheritance) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DomainInheritance> |
MetaModelManager.getCommonClasses(Type leftClass,
Type rightClass,
java.util.Set<DomainInheritance> commonClasses) |
protected java.util.Map<java.lang.String,java.util.List<java.lang.String>> |
AbstractTypeServer.initSuperClassesWithAmbiguousNames(java.util.Map<java.lang.String,DomainInheritance> name2superclasses2,
java.util.Map<java.lang.String,java.util.List<java.lang.String>> name2qualifiedNames2) |
Constructor and Description |
---|
AbstractTypeServer.QualifiedName2DomainInheritance(java.util.Map<java.lang.String,DomainInheritance> name2superclasses) |