org.eclipse.ocl.pivot.internal.library.ecore

Class EcoreReflectiveType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.library.executor.ReflectiveInheritance

org.eclipse.ocl.pivot.internal.library.executor.AbstractReflectiveInheritanceType

org.eclipse.ocl.pivot.internal.library.ecore.EcoreReflectiveType

All Implemented Interfaces:

Class, CompleteInheritance, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

Direct Known Subclasses:

EcoreReflectiveEnumeration

public class EcoreReflectiveType
extends AbstractReflectiveInheritanceType

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields

Modifier and Type	Field and Description
static List<CompleteInheritance>	EMPTY_INHERITANCES

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
EcoreReflectiveType(EcoreReflectivePackage evaluationPackage, int flags, EClassifier eClassifier, TemplateParameter... typeParameters)

Method Summary

Modifier and Type	Method and Description
EObject	createInstance() Return a new instance of this type from valueFactory.
Object	createInstance(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.
EClassifier	getEClassifier()
Iterable<? extends CompleteInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
Operation	getMemberOperation(OperationId operationId)
Property	getMemberProperty(String name)
String	getMetaTypeName() Return the name of the meta-type of this type.
List<Constraint>	getOwnedConstraints() Returns the value of the 'Owned Constraints' containment reference list.
List<Constraint>	getOwnedInvariants() Returns the value of the 'Owned Invariants' containment reference list.
List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
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()
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.

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.AbstractReflectiveInheritanceType

conformsTo, flattenedType, getInheritance, getNormalizedType, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, validateNameIsNotNull

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.ReflectiveInheritance

addSubInheritance, gatherUninstalledInheritances, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, install, isInstallable, isInstalled, removeSubInheritance, uninstall

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

getBehavioralClass, getExtenders, getInstanceClassName, getOwnedBehaviors, getOwnedBindings, getOwnedSignature, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.Class

getExtenders, getInstanceClassName, getOwnedBehaviors, isIsAbstract, isIsActive, isIsInterface, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName

Methods inherited from interface org.eclipse.ocl.pivot.Type

specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.TemplateableElement

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Field Detail

EMPTY_INHERITANCES

public static final List<CompleteInheritance> EMPTY_INHERITANCES

Constructor Detail

EcoreReflectiveType

public EcoreReflectiveType(EcoreReflectivePackage evaluationPackage,
                           int flags,
                           EClassifier eClassifier,
                           TemplateParameter... typeParameters)

Method Detail

createInstance

public EObject createInstance()

Description copied from interface: Class

Return a new instance of this type from valueFactory. Properties may be initialised using Property.initValue(Object, Object) provided no side-effect free OCL functionality is permitted to use the ObjectValue until initialisation has completed.

Specified by:

createInstance in interface Class

Overrides:

createInstance in class ReflectiveInheritance

createInstance

public Object createInstance(String value)

Description copied from interface: Class

Return a new instance of this data type from valueFactory.

Specified by:

createInstance in interface Class

Overrides:

createInstance in class ReflectiveInheritance

Parameters:

value - string initial value

getCommonType

public Type getCommonType(IdResolver idResolver,
                          Type type)

Description copied from interface: Type

Return the most derived type common to this type and thatType within standardLibrary.

Specified by:

getCommonType in interface Type

Overrides:

getCommonType in class AbstractExecutorType

getEClassifier

public final EClassifier getEClassifier()

getInitialSuperInheritances

public Iterable<? extends CompleteInheritance> getInitialSuperInheritances()

Description copied from class: ReflectiveInheritance

Return the immediate superinheritances without reference to the fragments.

getOwningPackage

public Package getOwningPackage()

Description copied from interface: Class

Returns the value of the 'Owning Package' container reference. It is bidirectional and its opposite is 'Owned Classes'.

Specified by:

getOwningPackage in interface Class

Overrides:

getOwningPackage in class AbstractExecutorClass

Returns:

the value of the 'Owning Package' container reference.

See Also:

Class.setOwningPackage(org.eclipse.ocl.pivot.Package), PivotPackage.getClass_OwningPackage(), Package.getOwnedClasses()

getSuperClasses

public List<Class> getSuperClasses()

Description copied from interface: Class

Returns the value of the 'Super Classes' reference list. The list contents are of type Class.

Specified by:

getSuperClasses in interface Class

Overrides:

getSuperClasses in class AbstractExecutorClass

Returns:

the value of the 'Super Classes' reference list.

See Also:

PivotPackage.getClass_SuperClasses()

getMemberOperation

public Operation getMemberOperation(OperationId operationId)

Specified by:

getMemberOperation in interface CompleteInheritance

Overrides:

getMemberOperation in class AbstractExecutorType

getMemberProperty

public Property getMemberProperty(String name)

Specified by:

getMemberProperty in interface CompleteInheritance

Overrides:

getMemberProperty in class AbstractExecutorType

getMetaTypeName

public String getMetaTypeName()

Description copied from interface: Class

Return the name of the meta-type of this type.

Specified by:

getMetaTypeName in interface Class

Overrides:

getMetaTypeName in class AbstractExecutorClass

getOwnedInvariants

public List<Constraint> getOwnedInvariants()

Description copied from interface: Class

Returns the value of the 'Owned Invariants' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Owned Invariants' containment reference list isn't clear, there really should be more of a description here...

Specified by:

getOwnedInvariants in interface Class

Overrides:

getOwnedInvariants in class AbstractExecutorClass

Returns:

the value of the 'Owned Invariants' containment reference list.

See Also:

PivotPackage.getClass_OwnedInvariants()

getOwnedProperties

public List<Property> getOwnedProperties()

Description copied from interface: Class

Returns the value of the 'Owned Properties' containment reference list. The list contents are of type 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.

Specified by:

getOwnedProperties in interface Class

Overrides:

getOwnedProperties in class AbstractExecutorClass

Returns:

the value of the 'Owned Properties' containment reference list.

See Also:

PivotPackage.getClass_OwnedProperties(), Property.getOwningClass()

getOwnedOperations

public List<Operation> getOwnedOperations()

Description copied from interface: Class

Returns the value of the 'Owned Operations' containment reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'Owning Class'. The Operations owned by the Class.

Specified by:

getOwnedOperations in interface Class

Overrides:

getOwnedOperations in class AbstractExecutorClass

Returns:

the value of the 'Owned Operations' containment reference list.

See Also:

PivotPackage.getClass_OwnedOperations(), Operation.getOwningClass()

getOwnedConstraints

public List<Constraint> getOwnedConstraints()

Description copied from interface: Namespace

Returns the value of the 'Owned Constraints' containment reference list. The list contents are of type 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.

Specified by:

getOwnedConstraints in interface Namespace

Overrides:

getOwnedConstraints in class AbstractExecutorClass

Returns:

the value of the 'Owned Constraints' containment reference list.

See Also:

PivotPackage.getNamespace_OwnedConstraints()

getPivotClass

public Class getPivotClass()

Specified by:

getPivotClass in interface CompleteInheritance

Overrides:

getPivotClass in class AbstractExecutorType

getTypeId

public TypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

Overrides:

getTypeId in class AbstractExecutorType

getTypeParameters

public TemplateParameters getTypeParameters()

Description copied from interface: Class

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface Class

Overrides:

getTypeParameters in class AbstractExecutorClass

isOrdered

public boolean isOrdered()

Description copied from interface: Class

Return true if this type is a Collection type and has ordered elements.

Specified by:

isOrdered in interface Class

Overrides:

isOrdered in class AbstractExecutorClass

isUnique

public boolean isUnique()

Description copied from interface: Class

Return true if this type is a Collection type and has unique elements.

Specified by:

isUnique in interface Class

Overrides:

isUnique in class AbstractExecutorClass