public class DomainReflectiveType extends AbstractReflectiveInheritanceType
AbstractInheritance.FragmentIterable
Modifier and Type | Field and Description |
---|---|
protected Class |
domainClass |
protected DomainReflectivePackage |
evaluationPackage |
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
DomainReflectiveType(DomainReflectivePackage evaluationPackage,
Class domainClass) |
Modifier and Type | Method and Description |
---|---|
protected AbstractFragment |
createFragment(CompleteInheritance baseInheritance) |
Type |
getCommonType(IdResolver idResolver,
Type type)
Return the most derived type common to this type and thatType within standardLibrary.
|
java.lang.Iterable<? extends CompleteInheritance> |
getInitialSuperInheritances()
Return the immediate superinheritances without reference to the fragments.
|
Operation |
getMemberOperation(OperationId operationId) |
Property |
getMemberProperty(java.lang.String name) |
java.lang.String |
getMetaTypeName()
Return the name of the meta-type of this type.
|
java.util.List<Constraint> |
getOwnedConstraints()
Returns the value of the 'Owned Constraints' containment reference list.
|
java.util.List<Constraint> |
getOwnedInvariants()
Returns the value of the 'Owned Invariants' containment reference list.
|
java.util.List<Operation> |
getOwnedOperations()
Returns the value of the 'Owned Operations' containment reference list.
|
java.util.List<Property> |
getOwnedProperties()
Returns the value of the 'Owned Properties' containment reference list.
|
Package |
getOwningPackage()
Returns the value of the 'Owning Package' container reference.
|
Class |
getPivotClass() |
java.util.List<Class> |
getSuperClasses()
Returns the value of the 'Super Classes' reference list.
|
TypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
TemplateParameters |
getTypeParameters()
Return the ordered list of type parameters of this type.
|
boolean |
isOrdered()
Return true if this type is a Collection type and has ordered elements.
|
boolean |
isUnique()
Return true if this type is a Collection type and has unique elements.
|
java.lang.String |
toString() |
conformsTo, flattenedType, getInheritance, getNormalizedType, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode
addSubInheritance, computeFlags, createInstance, createInstance, gatherUninstalledInheritances, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall
getBehavioralClass, getExtenders, getInstanceClassName, getOwnedBehaviors, getOwnedBindings, getOwnedSignature, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName
specializeIn
getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation
getName, setName
accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
createInstance, createInstance, getExtenders, getInstanceClassName, getOwnedBehaviors, isIsAbstract, isIsActive, isIsInterface, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName
specializeIn
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement
@NonNull protected final DomainReflectivePackage evaluationPackage
protected final Class domainClass
public DomainReflectiveType(@NonNull DomainReflectivePackage evaluationPackage, Class domainClass)
@NonNull protected AbstractFragment createFragment(@NonNull CompleteInheritance baseInheritance)
createFragment
in class ReflectiveInheritance
@NonNull public Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type type)
Type
getCommonType
in interface Type
getCommonType
in class AbstractExecutorType
@NonNull public java.lang.Iterable<? extends CompleteInheritance> getInitialSuperInheritances()
ReflectiveInheritance
getInitialSuperInheritances
in class ReflectiveInheritance
@NonNull public java.util.List<Class> getSuperClasses()
Class
Class
.
getSuperClasses
in interface Class
getSuperClasses
in class AbstractExecutorClass
PivotPackage.getClass_SuperClasses()
@Nullable public Operation getMemberOperation(@NonNull OperationId operationId)
getMemberOperation
in interface CompleteInheritance
getMemberOperation
in class AbstractExecutorType
@Nullable public Property getMemberProperty(@NonNull java.lang.String name)
getMemberProperty
in interface CompleteInheritance
getMemberProperty
in class AbstractExecutorType
@NonNull public java.lang.String getMetaTypeName()
Class
getMetaTypeName
in interface Class
getMetaTypeName
in class AbstractExecutorClass
@NonNull public java.util.List<Constraint> getOwnedInvariants()
Class
Constraint
.
If the meaning of the 'Owned Invariants' containment reference list isn't clear, there really should be more of a description here...
getOwnedInvariants
in interface Class
getOwnedInvariants
in class AbstractExecutorClass
PivotPackage.getClass_OwnedInvariants()
@NonNull public java.util.List<Operation> getOwnedOperations()
Class
Operation
.
It is bidirectional and its opposite is 'Owning Class
'.
The Operations owned by the Class.
getOwnedOperations
in interface Class
getOwnedOperations
in class AbstractExecutorClass
PivotPackage.getClass_OwnedOperations()
,
Operation.getOwningClass()
@NonNull public java.util.List<Property> getOwnedProperties()
Class
Property
.
It is bidirectional and its opposite is 'Owning Class
'.
The Properties owned by the StructuredClassifier.
The attributes (i.e., the Properties) owned by the Class.
getOwnedProperties
in interface Class
getOwnedProperties
in class AbstractExecutorClass
PivotPackage.getClass_OwnedProperties()
,
Property.getOwningClass()
@NonNull public java.util.List<Constraint> getOwnedConstraints()
Namespace
Constraint
.
If the meaning of the 'Owned Rule' containment reference list isn't clear, there really should be more of a description here...
Specifies a set of Constraints owned by this Namespace.getOwnedConstraints
in interface Namespace
getOwnedConstraints
in class AbstractExecutorClass
PivotPackage.getNamespace_OwnedConstraints()
public Package getOwningPackage()
Class
Owned Classes
'.
getOwningPackage
in interface Class
getOwningPackage
in class AbstractExecutorClass
Class.setOwningPackage(org.eclipse.ocl.pivot.Package)
,
PivotPackage.getClass_OwningPackage()
,
Package.getOwnedClasses()
public Class getPivotClass()
getPivotClass
in interface CompleteInheritance
getPivotClass
in class AbstractExecutorType
@NonNull public TypeId getTypeId()
Type
getTypeId
in interface Type
getTypeId
in class AbstractExecutorType
@NonNull public TemplateParameters getTypeParameters()
Class
getTypeParameters
in interface Class
getTypeParameters
in class AbstractExecutorClass
public boolean isOrdered()
Class
isOrdered
in interface Class
isOrdered
in class AbstractExecutorClass
public boolean isUnique()
Class
isUnique
in interface Class
isUnique
in class AbstractExecutorClass
public java.lang.String toString()
toString
in class java.lang.Object