public class EcoreReflectiveType extends AbstractReflectiveInheritanceType
AbstractInheritance.FragmentIterable
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.ecore.EClassifier |
eClassifier |
static java.util.List<CompleteInheritance> |
EMPTY_INHERITANCES |
protected EcoreReflectivePackage |
evaluationPackage |
protected TemplateParameters |
typeParameters |
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
EcoreReflectiveType(EcoreReflectivePackage evaluationPackage,
int flags,
org.eclipse.emf.ecore.EClassifier eClassifier,
TemplateParameter... typeParameters) |
Modifier and Type | Method and Description |
---|---|
protected AbstractFragment |
createFragment(CompleteInheritance baseInheritance) |
org.eclipse.emf.ecore.EObject |
createInstance()
Return a new instance of this type from valueFactory.
|
java.lang.Object |
createInstance(java.lang.String value)
Return a new instance of this data type from valueFactory.
|
Type |
getCommonType(IdResolver idResolver,
Type type)
Return the most derived type common to this type and thatType within standardLibrary.
|
org.eclipse.emf.ecore.EClassifier |
getEClassifier() |
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.
|
conformsTo, flattenedType, getInheritance, getNormalizedType, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, validateNameIsNotNull
addSubInheritance, computeFlags, 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, toString, wait, wait, wait
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 public static final java.util.List<CompleteInheritance> EMPTY_INHERITANCES
@NonNull protected final EcoreReflectivePackage evaluationPackage
@NonNull protected final org.eclipse.emf.ecore.EClassifier eClassifier
@NonNull protected final TemplateParameters typeParameters
public EcoreReflectiveType(@NonNull EcoreReflectivePackage evaluationPackage, int flags, @NonNull org.eclipse.emf.ecore.EClassifier eClassifier, @NonNull TemplateParameter... typeParameters)
@NonNull protected AbstractFragment createFragment(@NonNull CompleteInheritance baseInheritance)
createFragment
in class ReflectiveInheritance
@NonNull public org.eclipse.emf.ecore.EObject createInstance()
Class
Property.initValue(Object, Object)
provided no side-effect free
OCL functionality is permitted to use the ObjectValue until initialisation has completed.createInstance
in interface Class
createInstance
in class ReflectiveInheritance
@NonNull public java.lang.Object createInstance(@NonNull java.lang.String value)
Class
createInstance
in interface Class
createInstance
in class ReflectiveInheritance
value
- string initial value@NonNull public Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type type)
Type
getCommonType
in interface Type
getCommonType
in class AbstractExecutorType
@NonNull public final org.eclipse.emf.ecore.EClassifier getEClassifier()
@NonNull public java.lang.Iterable<? extends CompleteInheritance> getInitialSuperInheritances()
ReflectiveInheritance
getInitialSuperInheritances
in class ReflectiveInheritance
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()
@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<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<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<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 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