org.eclipse.ocl.examples.library.ecore

Class EcoreReflectiveType

java.lang.Object

org.eclipse.ocl.examples.domain.types.AbstractInheritance

org.eclipse.ocl.examples.library.executor.ReflectiveType

org.eclipse.ocl.examples.library.ecore.EcoreReflectiveType

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue

Direct Known Subclasses:

EcoreReflectiveEnumeration

public class EcoreReflectiveType
extends ReflectiveType

Nested Class Summary

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

AbstractInheritance.FragmentIterable, AbstractInheritance.RejectStaticOperation, AbstractInheritance.RejectStaticProperty, AbstractInheritance.SelectStaticOperation, AbstractInheritance.SelectStaticProperty

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.ecore.EClassifier	eClassifier
static java.util.List<DomainInheritance>	EMPTY_INHERITANCES
protected DomainTypeParameters	typeParameters

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

evaluationPackage, flags, name, operationMap, ORDERED, propertyMap, REJECT_STATIC_OPERATION, REJECT_STATIC_PROPERTY, SELECT_STATIC_OPERATION, SELECT_STATIC_PROPERTY, UNIQUE

Fields inherited from interface org.eclipse.ocl.examples.domain.elements.DomainInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
EcoreReflectiveType(EcoreReflectivePackage evaluationPackage, int flags, org.eclipse.emf.ecore.EClassifier eClassifier, DomainTemplateParameter... typeParameters)

Method Summary

Methods

Modifier and Type	Method and Description
protected AbstractFragment	createFragment(DomainInheritance baseInheritance)
java.lang.Object	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.
java.lang.Iterable<? extends DomainOperation>	getAllOperations(boolean selectStatic)
java.lang.Iterable<? extends DomainProperty>	getAllProperties(boolean selectStatic)
org.eclipse.emf.ecore.EClassifier	getEClassifier()
java.lang.Iterable<? extends DomainInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
java.util.List<? extends DomainOperation>	getLocalOperations()
java.util.List<? extends DomainProperty>	getLocalProperties()
java.util.List<? extends DomainType>	getLocalSuperTypes()
DomainProperty	getMemberProperty(java.lang.String name)
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
java.util.List<? extends DomainProperty>	getOwnedAttribute()
java.util.List<? extends DomainOperation>	getOwnedOperation()
DomainStandardLibrary	getStandardLibrary() Return the Standard Library managing the dispatch tables.
DomainTypeParameters	getTypeParameters() Return the ordered list of type parameters of this type.

Methods inherited from class org.eclipse.ocl.examples.library.executor.ReflectiveType

addSubInheritance, computeFlags, dispose, gatherUninstalledInheritances, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, getTypeId, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

conformsTo, getCommonInheritance, getCommonType, getFragment, getInheritance, getMemberOperation, getName, getNormalizedType, getOclAnyInheritance, getOwnedInvariant, getOwnedRule, getPackage, initStatics, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, isUnique, lookupImplementation, lookupLocalOperation, oclEquals, oclHashCode, specializeIn, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_INHERITANCES

@NonNull
public static final java.util.List<DomainInheritance> EMPTY_INHERITANCES

eClassifier

@NonNull
protected final org.eclipse.emf.ecore.EClassifier eClassifier

typeParameters

@NonNull
protected final DomainTypeParameters typeParameters

Constructor Detail

EcoreReflectiveType

public EcoreReflectiveType(@NonNull
                   EcoreReflectivePackage evaluationPackage,
                   int flags,
                   @NonNull
                   org.eclipse.emf.ecore.EClassifier eClassifier,
                   @NonNull
                   DomainTemplateParameter... typeParameters)

Method Detail

createFragment

@NonNull
protected AbstractFragment createFragment(@NonNull
                                      DomainInheritance baseInheritance)

Specified by:

createFragment in class ReflectiveType

createInstance

@NonNull
public java.lang.Object createInstance()

Description copied from interface: DomainType

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

Specified by:

createInstance in interface DomainType

Overrides:

createInstance in class ReflectiveType

createInstance

@NonNull
public java.lang.Object createInstance(@NonNull
                                      java.lang.String value)

Description copied from interface: DomainType

Return a new instance of this data type from valueFactory.

Specified by:

createInstance in interface DomainType

Overrides:

createInstance in class ReflectiveType

Parameters:

value - string initial value

getAllOperations

@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(boolean selectStatic)

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(boolean selectStatic)

getEClassifier

@NonNull
public final org.eclipse.emf.ecore.EClassifier getEClassifier()

getInitialSuperInheritances

@NonNull
public java.lang.Iterable<? extends DomainInheritance> getInitialSuperInheritances()

Description copied from class: ReflectiveType

Return the immediate superinheritances without reference to the fragments.

Specified by:

getInitialSuperInheritances in class ReflectiveType

getLocalOperations

@NonNull
public java.util.List<? extends DomainOperation> getLocalOperations()

getLocalProperties

@NonNull
public java.util.List<? extends DomainProperty> getLocalProperties()

getLocalSuperTypes

@NonNull
public java.util.List<? extends DomainType> getLocalSuperTypes()

getMemberProperty

@Nullable
public DomainProperty getMemberProperty(@NonNull
                                        java.lang.String name)

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

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

getOwnedAttribute

@NonNull
public java.util.List<? extends DomainProperty> getOwnedAttribute()

getOwnedOperation

@NonNull
public java.util.List<? extends DomainOperation> getOwnedOperation()

getStandardLibrary

@NonNull
public DomainStandardLibrary getStandardLibrary()

Description copied from interface: DomainInheritance

Return the Standard Library managing the dispatch tables.

getTypeParameters

@NonNull
public DomainTypeParameters getTypeParameters()

Description copied from interface: DomainType

Return the ordered list of type parameters of this type.