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

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.EObjectImpl
              extended by org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  extended by org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      extended by org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          extended by 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:

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