org.eclipse.ocl.examples.pivot.internal.impl
Class TypeImpl

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.ecore.impl.BasicEObjectImpl
          org.eclipse.emf.ecore.impl.EObjectImpl
              org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Labelable, Nameable, OCLValue, Element, NamedElement, ParameterableElement, TemplateableElement, Type, Visitable, PivotObject

Direct Known Subclasses:

ClassImpl, DynamicTypeImpl, ElementExtensionImpl, MessageTypeImpl, TemplateParameterTypeImpl

public class TypeImpl
extends NamedElementImpl
implements Type

An implementation of the model object 'Type'.

The following features are implemented:

• Owned Template Signature
• Template Binding
• Unspecialized Element
• Template Parameter
• Owning Template Parameter
• Extended Bys
• Instance Class Name
• Owned Attribute
• Owned Invariant
• Owned Operation
• Package
• Super Class

Generated

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

protected org.eclipse.emf.common.util.EList<TypeExtension>	extendedBys The cached value of the 'Extended Bys' reference list.
protected static java.lang.String	INSTANCE_CLASS_NAME_EDEFAULT The default value of the 'Instance Class Name' attribute.
protected java.lang.String	instanceClassName The cached value of the 'Instance Class Name' attribute.
protected org.eclipse.emf.common.util.EList<Property>	ownedAttribute The cached value of the 'Owned Attribute' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	ownedInvariant The cached value of the 'Owned Invariant' containment reference list.
protected org.eclipse.emf.common.util.EList<Operation>	ownedOperation The cached value of the 'Owned Operation' containment reference list.
protected TemplateSignature	ownedTemplateSignature The cached value of the 'Owned Template Signature' containment reference.
protected org.eclipse.emf.common.util.EList<Type>	superClass The cached value of the 'Super Class' reference list.
protected org.eclipse.emf.common.util.EList<TemplateBinding>	templateBinding The cached value of the 'Template Binding' containment reference list.
protected TemplateParameter	templateParameter The cached value of the 'Template Parameter' reference.
protected TemplateableElement	unspecializedElement The cached value of the 'Unspecialized Element' reference.

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

IS_STATIC_EDEFAULT, IS_STATIC_EFLAG, name, NAME_EDEFAULT

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

extension, ownedAnnotation, ownedComment

Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

protected

TypeImpl()

Method Summary

<R> R	accept(Visitor<R> visitor) Returns the result of accepting a visit from a visitor.
TemplateParameter	basicGetTemplateParameter()
org.eclipse.emf.common.notify.NotificationChain	basicSetOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetPackage(Package newPackage, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	basicSetTemplateParameter(TemplateParameter newTemplateParameter, org.eclipse.emf.common.notify.NotificationChain msgs)
TypeId	computeId()
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
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.
int	eBaseStructuralFeatureID(int derivedFeatureID, java.lang.Class<?> baseClass)
org.eclipse.emf.common.notify.NotificationChain	eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)
int	eDerivedOperationID(int baseOperationID, java.lang.Class<?> baseClass)
int	eDerivedStructuralFeatureID(int baseFeatureID, java.lang.Class<?> baseClass)
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
org.eclipse.emf.common.notify.NotificationChain	eInverseAdd(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
java.lang.Object	eInvoke(int operationID, org.eclipse.emf.common.util.EList<?> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, java.lang.Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
DomainType	getCommonType(IdResolver idResolver, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
java.util.List<TypeExtension>	getExtendedBys()
DomainInheritance	getInheritance(DomainStandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
java.lang.String	getInstanceClassName()
java.util.List<? extends DomainOperation>	getLocalOperations()
java.util.List<? extends DomainProperty>	getLocalProperties()
java.util.List<? extends DomainType>	getLocalSuperTypes()
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
DomainType	getNormalizedType(DomainStandardLibrary standardLibrary) Return the unique executable form of this type within standardLibrary.
java.util.List<Property>	getOwnedAttribute()
java.util.List<Constraint>	getOwnedInvariant()
java.util.List<Operation>	getOwnedOperation()
java.util.List<? extends DomainConstraint>	getOwnedRule()
TemplateSignature	getOwnedTemplateSignature()
TemplateParameter	getOwningTemplateParameter()
Package	getPackage()
java.util.List<Type>	getSuperClass()
java.util.List<TemplateBinding>	getTemplateBinding()
TemplateParameter	getTemplateParameter()
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
DomainTypeParameters	getTypeParameters() Return the ordered list of type parameters of this type.
TemplateableElement	getUnspecializedElement()
boolean	isCompatibleWith(ParameterableElement p)
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this is the same type as thatType within standardLibrary.
boolean	isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
boolean	isInvalid() Return true if this is an invalid type (with an associated error message).
boolean	isOrdered() Return true if this type is a Collection type and has ordered elements.
boolean	isTemplate()
boolean	isTemplateParameter()
boolean	isUnique() Return true if this type is a Collection type and has unique elements.
LibraryFeature	lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
boolean	oclEquals(OCLValue thatValue) Return true if this is an equivalent OCL value to thatValue.
int	oclHashCode()
java.util.List<ParameterableElement>	parameterableElements()
void	setInstanceClassName(java.lang.String newInstanceClassName)
void	setOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature)
void	setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)
void	setPackage(Package newPackage)
void	setTemplateParameter(TemplateParameter newTemplateParameter)
void	setUnspecializedElement(TemplateableElement newUnspecializedElement)
DomainType	specializeIn(DomainCallExp expr, DomainType selfType)
Type	specializeIn(OCLExpression expr, Type selfType)
java.lang.String	toString()
boolean	validateUniqueInvariantName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

getName, isStatic, setIsStatic, setName

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

allOwnedElements, getExtension, getOwnedAnnotation, getOwnedComment, getValue

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl

eBasicSetContainer, eBasicSetContainer, getETarget, getImage, getTarget, getText, isAdapterForType, notifyChanged, setTarget, unsetTarget

Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eBasicAdapters, eBasicProperties, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eBasicAdapterArray, eBasicHasAdapters, eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

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

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

getName, isStatic, setIsStatic, setName

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

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

eClass

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

getName

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Field Detail

ownedTemplateSignature

protected TemplateSignature ownedTemplateSignature

The cached value of the 'Owned Template Signature' containment reference.

See Also:

getOwnedTemplateSignature()

Generated

Ordered

templateBinding

protected org.eclipse.emf.common.util.EList<TemplateBinding> templateBinding

The cached value of the 'Template Binding' containment reference list.

See Also:

getTemplateBinding()

Generated

Ordered

unspecializedElement

protected TemplateableElement unspecializedElement

The cached value of the 'Unspecialized Element' reference.

See Also:

getUnspecializedElement()

Generated

Ordered

templateParameter

protected TemplateParameter templateParameter

The cached value of the 'Template Parameter' reference.

See Also:

getTemplateParameter()

Generated

Ordered

extendedBys

protected org.eclipse.emf.common.util.EList<TypeExtension> extendedBys

The cached value of the 'Extended Bys' reference list.

See Also:

getExtendedBys()

Generated

Ordered

INSTANCE_CLASS_NAME_EDEFAULT

protected static final java.lang.String INSTANCE_CLASS_NAME_EDEFAULT

The default value of the 'Instance Class Name' attribute.

See Also:

getInstanceClassName()

Generated

Ordered

instanceClassName

protected java.lang.String instanceClassName

The cached value of the 'Instance Class Name' attribute.

See Also:

getInstanceClassName()

Generated

Ordered

ownedAttribute

protected org.eclipse.emf.common.util.EList<Property> ownedAttribute

The cached value of the 'Owned Attribute' containment reference list.

See Also:

getOwnedAttribute()

Generated

Ordered

ownedInvariant

protected org.eclipse.emf.common.util.EList<Constraint> ownedInvariant

The cached value of the 'Owned Invariant' containment reference list.

See Also:

getOwnedInvariant()

Generated

Ordered

ownedOperation

protected org.eclipse.emf.common.util.EList<Operation> ownedOperation

The cached value of the 'Owned Operation' containment reference list.

See Also:

getOwnedOperation()

Generated

Ordered

superClass

protected org.eclipse.emf.common.util.EList<Type> superClass

The cached value of the 'Super Class' reference list.

See Also:

getSuperClass()

Generated

Ordered

Constructor Detail

TypeImpl

protected TypeImpl()

Generated

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class NamedElementImpl

Generated

getTemplateBinding

public java.util.List<TemplateBinding> getTemplateBinding()

Specified by:

getTemplateBinding in interface TemplateableElement

Returns:

the value of the 'Template Binding' containment reference list.

See Also:

PivotPackage.getTemplateableElement_TemplateBinding(), TemplateBinding.getBoundElement()

Generated

getOwnedTemplateSignature

public TemplateSignature getOwnedTemplateSignature()

Specified by:

getOwnedTemplateSignature in interface TemplateableElement

Returns:

the value of the 'Owned Template Signature' containment reference.

See Also:

TemplateableElement.setOwnedTemplateSignature(TemplateSignature), PivotPackage.getTemplateableElement_OwnedTemplateSignature(), TemplateSignature.getTemplate()

Generated

basicSetOwnedTemplateSignature

public org.eclipse.emf.common.notify.NotificationChain basicSetOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature,
                                                                                      org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwnedTemplateSignature

public void setOwnedTemplateSignature(TemplateSignature newOwnedTemplateSignature)

Specified by:

setOwnedTemplateSignature in interface TemplateableElement

Parameters:

newOwnedTemplateSignature - the new value of the 'Owned Template Signature' containment reference.

See Also:

TemplateableElement.getOwnedTemplateSignature()

Generated

getUnspecializedElement

public TemplateableElement getUnspecializedElement()

Specified by:

getUnspecializedElement in interface TemplateableElement

Returns:

the value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.setUnspecializedElement(TemplateableElement), PivotPackage.getTemplateableElement_UnspecializedElement()

Generated

NOT

setUnspecializedElement

public void setUnspecializedElement(TemplateableElement newUnspecializedElement)

Specified by:

setUnspecializedElement in interface TemplateableElement

Parameters:

newUnspecializedElement - the new value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.getUnspecializedElement()

Generated

getPackage

public Package getPackage()

Specified by:

getPackage in interface DomainType

Specified by:

getPackage in interface Type

Returns:

the value of the 'Package' container reference.

See Also:

Type.setPackage(org.eclipse.ocl.examples.pivot.Package), PivotPackage.getType_Package(), Package.getOwnedType()

Generated

basicSetPackage

public org.eclipse.emf.common.notify.NotificationChain basicSetPackage(Package newPackage,
                                                                       org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setPackage

public void setPackage(Package newPackage)

Specified by:

setPackage in interface Type

Parameters:

newPackage - the new value of the 'Package' container reference.

See Also:

Type.getPackage()

Generated

getOwnedAttribute

@NonNull
public java.util.List<Property> getOwnedAttribute()

Specified by:

getOwnedAttribute in interface DomainType

Specified by:

getOwnedAttribute in interface Type

Returns:

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

See Also:

PivotPackage.getType_OwnedAttribute(), Property.getOwningType()

Generated

getOwnedOperation

@NonNull
public java.util.List<Operation> getOwnedOperation()

Specified by:

getOwnedOperation in interface DomainType

Specified by:

getOwnedOperation in interface Type

Returns:

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

See Also:

PivotPackage.getType_OwnedOperation(), Operation.getOwningType()

Generated

getSuperClass

@NonNull
public java.util.List<Type> getSuperClass()

Specified by:

getSuperClass in interface Type

Returns:

the value of the 'Super Class' reference list.

See Also:

PivotPackage.getType_SuperClass()

Generated

getOwnedInvariant

@NonNull
public java.util.List<Constraint> getOwnedInvariant()

Specified by:

getOwnedInvariant in interface DomainType

Specified by:

getOwnedInvariant in interface Type

Returns:

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

See Also:

PivotPackage.getType_OwnedInvariant()

Generated

getInstanceClassName

public java.lang.String getInstanceClassName()

Specified by:

getInstanceClassName in interface Type

Returns:

the value of the 'Instance Class Name' attribute.

See Also:

Type.setInstanceClassName(String), PivotPackage.getType_InstanceClassName()

Generated

setInstanceClassName

public void setInstanceClassName(java.lang.String newInstanceClassName)

Specified by:

setInstanceClassName in interface Type

Parameters:

newInstanceClassName - the new value of the 'Instance Class Name' attribute.

See Also:

Type.getInstanceClassName()

Generated

parameterableElements

public java.util.List<ParameterableElement> parameterableElements()

Specified by:

parameterableElements in interface TemplateableElement

Generated

isTemplateParameter

public boolean isTemplateParameter()

Specified by:

isTemplateParameter in interface ParameterableElement

Generated

isCompatibleWith

public boolean isCompatibleWith(ParameterableElement p)

Specified by:

isCompatibleWith in interface ParameterableElement

Generated

getTemplateParameter

public TemplateParameter getTemplateParameter()

Specified by:

getTemplateParameter in interface ParameterableElement

Returns:

the value of the 'Template Parameter' reference.

See Also:

ParameterableElement.setTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_TemplateParameter(), TemplateParameter.getParameteredElement()

Generated

basicGetTemplateParameter

public TemplateParameter basicGetTemplateParameter()

Generated

basicSetTemplateParameter

public org.eclipse.emf.common.notify.NotificationChain basicSetTemplateParameter(TemplateParameter newTemplateParameter,
                                                                                 org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setTemplateParameter

public void setTemplateParameter(TemplateParameter newTemplateParameter)

Specified by:

setTemplateParameter in interface ParameterableElement

Parameters:

newTemplateParameter - the new value of the 'Template Parameter' reference.

See Also:

ParameterableElement.getTemplateParameter()

Generated

getOwningTemplateParameter

public TemplateParameter getOwningTemplateParameter()

Specified by:

getOwningTemplateParameter in interface ParameterableElement

Returns:

the value of the 'Owning Template Parameter' container reference.

See Also:

ParameterableElement.setOwningTemplateParameter(TemplateParameter), PivotPackage.getParameterableElement_OwningTemplateParameter(), TemplateParameter.getOwnedParameteredElement()

Generated

basicSetOwningTemplateParameter

public org.eclipse.emf.common.notify.NotificationChain basicSetOwningTemplateParameter(TemplateParameter newOwningTemplateParameter,
                                                                                       org.eclipse.emf.common.notify.NotificationChain msgs)

Generated

setOwningTemplateParameter

public void setOwningTemplateParameter(TemplateParameter newOwningTemplateParameter)

Specified by:

setOwningTemplateParameter in interface ParameterableElement

Parameters:

newOwningTemplateParameter - the new value of the 'Owning Template Parameter' container reference.

See Also:

ParameterableElement.getOwningTemplateParameter()

Generated

getExtendedBys

public java.util.List<TypeExtension> getExtendedBys()

Specified by:

getExtendedBys in interface Type

Returns:

the value of the 'Extended Bys' reference list.

See Also:

PivotPackage.getType_ExtendedBys(), TypeExtension.getType()

Generated

isTemplate

public boolean isTemplate()

Specified by:

isTemplate in interface TemplateableElement

Generated

eInverseAdd

public org.eclipse.emf.common.notify.NotificationChain eInverseAdd(org.eclipse.emf.ecore.InternalEObject otherEnd,
                                                                   int featureID,
                                                                   org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eInverseAdd in class ElementImpl

Generated

eInverseRemove

public org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd,
                                                                      int featureID,
                                                                      org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eInverseRemove in class ElementImpl

Generated

eBasicRemoveFromContainerFeature

public org.eclipse.emf.common.notify.NotificationChain eBasicRemoveFromContainerFeature(org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eBasicRemoveFromContainerFeature in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

Generated

eGet

public java.lang.Object eGet(int featureID,
                             boolean resolve,
                             boolean coreType)

Specified by:

eGet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eGet in class NamedElementImpl

Generated

eSet

public void eSet(int featureID,
                 java.lang.Object newValue)

Specified by:

eSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eSet in class NamedElementImpl

Generated

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class NamedElementImpl

Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class NamedElementImpl

Generated

eBaseStructuralFeatureID

public int eBaseStructuralFeatureID(int derivedFeatureID,
                                    java.lang.Class<?> baseClass)

Specified by:

eBaseStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eBaseStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

Generated

eDerivedStructuralFeatureID

public int eDerivedStructuralFeatureID(int baseFeatureID,
                                       java.lang.Class<?> baseClass)

Specified by:

eDerivedStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eDerivedStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

Generated

eDerivedOperationID

public int eDerivedOperationID(int baseOperationID,
                               java.lang.Class<?> baseClass)

Specified by:

eDerivedOperationID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eDerivedOperationID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

Generated

eInvoke

public java.lang.Object eInvoke(int operationID,
                                org.eclipse.emf.common.util.EList<?> arguments)
                         throws java.lang.reflect.InvocationTargetException

Specified by:

eInvoke in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eInvoke in class ElementImpl

Throws:

java.lang.reflect.InvocationTargetException

Generated

toString

public java.lang.String toString()

Overrides:

toString in class NamedElementImpl

Generated

NOT

accept

public <R> R accept(@NonNull
                    Visitor<R> visitor)

Description copied from interface: Visitable

Returns the result of accepting a visit from a visitor. Implementations typically invoke a derived-class-specific variant of visitXXX() to facilitate derived-class-specific processing or just visit() when no such method is available.

Implementations of visit() may use the EcoreSwitch to perform derived-class-specific processing.

Derived implementations of accept() may use getAdapter() to obtain richer visitor interfaces.

Specified by:

accept in interface Visitable

Overrides:

accept in class NamedElementImpl

Returns:

the result of the visit.

conformsTo

public boolean conformsTo(@NonNull
                          DomainStandardLibrary standardLibrary,
                          @NonNull
                          DomainType type)

Description copied from interface: DomainType

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface DomainType

createInstance

@NonNull
public org.eclipse.emf.ecore.EObject 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

createInstance

@Nullable
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

Parameters:

value - string initial value

getCommonType

@NonNull
public DomainType getCommonType(@NonNull
                                        IdResolver idResolver,
                                        @NonNull
                                        DomainType type)

Description copied from interface: DomainType

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

Specified by:

getCommonType in interface DomainType

getInheritance

@NonNull
public DomainInheritance getInheritance(@NonNull
                                                DomainStandardLibrary standardLibrary)

Description copied from interface: DomainType

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface DomainType

getNormalizedType

@NonNull
public DomainType getNormalizedType(@NonNull
                                            DomainStandardLibrary standardLibrary)

Description copied from interface: DomainType

Return the unique executable form of this type within standardLibrary.

Specified by:

getNormalizedType in interface DomainType

getLocalOperations

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

Specified by:

getLocalOperations in interface DomainType

getLocalProperties

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

Specified by:

getLocalProperties in interface DomainType

getLocalSuperTypes

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

Specified by:

getLocalSuperTypes in interface DomainType

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

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

Specified by:

getMetaTypeName in interface DomainType

getTypeParameters

@NonNull
public DomainTypeParameters getTypeParameters()

Description copied from interface: DomainType

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface DomainType

getTypeId

@NonNull
public TypeId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface DomainType

Returns:

computeId

@NonNull
public TypeId computeId()

isEqualTo

public boolean isEqualTo(@NonNull
                         DomainStandardLibrary standardLibrary,
                         @NonNull
                         DomainType type)

Description copied from interface: DomainType

Return true if this is the same type as thatType within standardLibrary.

Specified by:

isEqualTo in interface DomainType

isEqualToUnspecializedType

public boolean isEqualToUnspecializedType(@NonNull
                                          DomainStandardLibrary standardLibrary,
                                          @NonNull
                                          DomainType type)

Specified by:

isEqualToUnspecializedType in interface DomainType

isInvalid

public boolean isInvalid()

Description copied from interface: DomainType

Return true if this is an invalid type (with an associated error message).

Specified by:

isInvalid in interface DomainType

isOrdered

public boolean isOrdered()

Description copied from interface: DomainType

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

Specified by:

isOrdered in interface DomainType

isUnique

public boolean isUnique()

Description copied from interface: DomainType

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

Specified by:

isUnique in interface DomainType

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                                   DomainStandardLibrary standardLibrary,
                                                   @NonNull
                                                   DomainOperation staticOperation)

Description copied from interface: DomainType

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Specified by:

lookupImplementation in interface DomainType

oclEquals

public boolean oclEquals(@NonNull
                         OCLValue thatValue)

Description copied from interface: OCLValue

Return true if this is an equivalent OCL value to thatValue.

Note that the caller must check that the argument is an OCLValue and should also check for the shortcut case that this == thatValue. Implementations are therefore wasting time if they re-implement the shortcut.

Specified by:

oclEquals in interface OCLValue

oclHashCode

public int oclHashCode()

Specified by:

oclHashCode in interface OCLValue

specializeIn

public Type specializeIn(OCLExpression expr,
                         Type selfType)

Description copied from interface: Type

Specified by:

specializeIn in interface Type

validateUniqueInvariantName

public boolean validateUniqueInvariantName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Specified by:

validateUniqueInvariantName in interface Type

Generated

specializeIn

public DomainType specializeIn(@NonNull
                               DomainCallExp expr,
                               DomainType selfType)

Specified by:

specializeIn in interface DomainType

getOwnedRule

@NonNull
public java.util.List<? extends DomainConstraint> getOwnedRule()

Specified by:

getOwnedRule in interface DomainNamespace