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

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
                              org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl
                                  org.eclipse.ocl.examples.pivot.internal.impl.DataTypeImpl
                                      org.eclipse.ocl.examples.pivot.internal.impl.CollectionTypeImpl

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, DomainCollectionType, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, Class, CollectionType, DataType, Element, NamedElement, Namespace, ParameterableElement, TemplateableElement, Type, Visitable, PivotObject

Direct Known Subclasses:

BagTypeImpl, OrderedSetTypeImpl, SequenceTypeImpl, SetTypeImpl

public class CollectionTypeImpl
extends DataTypeImpl
implements CollectionType

An implementation of the model object 'Collection Type'.

The following features are implemented:

• Element Type
• Lower
• Upper

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 Type	elementType The cached value of the 'Element Type' reference.
protected java.lang.Number	lower The cached value of the 'Lower' attribute.
protected static java.lang.Number	LOWER_EDEFAULT The default value of the 'Lower' attribute.
protected java.lang.Number	upper The cached value of the 'Upper' attribute.
protected static java.lang.Number	UPPER_EDEFAULT The default value of the 'Upper' attribute.

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

behavioralType, IS_SERIALIZABLE_EDEFAULT, IS_SERIALIZABLE_EFLAG

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

IS_ABSTRACT_EDEFAULT, IS_ABSTRACT_EFLAG, IS_INTERFACE_EDEFAULT, IS_INTERFACE_EFLAG, ownedBehavior, ownedRule

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

INSTANCE_CLASS_NAME_EDEFAULT, instanceClassName, ownedAttribute, ownedInvariant, ownedOperation, ownedTemplateSignature, superClass, templateBinding, templateParameter, unspecializedElement

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

IS_STATIC_EDEFAULT, IS_STATIC_EFLAG, name, NAME_EDEFAULT, ownedAnnotation

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

extension, 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

CollectionTypeImpl()

Method Summary

<R> R	accept(Visitor<R> visitor) Returns the result of accepting a visit from a visitor.
Type	basicGetElementType()
TypeId	computeId()
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
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.
CollectionType	getContainerType()
Type	getElementType()
java.lang.Number	getLower()
IntegerValue	getLowerValue()
CollectionTypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
java.lang.Number	getUpper()
IntegerValue	getUpperValue()
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this is the same type as thatType within standardLibrary.
void	setElementType(Type newElementType)
void	setLower(java.lang.Number newLower)
void	setLowerValue(IntegerValue lower)
void	setUpper(java.lang.Number newUpper)
void	setUpperValue(IntegerValue upper)
java.lang.String	toString()

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

basicGetBehavioralType, getBehavioralType, getInheritance, isSerializable, setBehavioralType, setIsSerializable

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

createOwnedAttribute, createOwnedBehavior, createOwnedBehavior, createOwnedOperation, createOwnedOperation, createOwnedRule, eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eInverseAdd, eInverseRemove, getInstanceClassName, getOwnedAttribute, getOwnedBehavior, getOwnedOperation, getOwnedRule, getSuperClass, isAbstract, isInterface, isSetInstanceClassName, isSetOwnedAttribute, isSetOwnedOperation, isSetSuperClass, setInstanceClassName, setIsAbstract, setIsInterface

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

basicGetTemplateParameter, basicSetOwnedTemplateSignature, basicSetOwningTemplateParameter, basicSetPackage, basicSetTemplateParameter, createInstance, createInstance, createOwnedInvariant, createOwnedTemplateSignature, createTemplateBinding, eBasicRemoveFromContainerFeature, eDerivedOperationID, eInvoke, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getNormalizedType, getOwnedInvariant, getOwnedTemplateSignature, getOwningTemplateParameter, getPackage, getTemplateBinding, getTemplateParameter, getTypeParameters, getUnspecializedElement, isCompatibleWith, isEqualToUnspecializedType, isInvalid, isOrdered, isSetTemplateParameter, isTemplate, isTemplateParameter, isUnique, lookupImplementation, oclEquals, oclHashCode, parameterableElements, setOwnedTemplateSignature, setOwningTemplateParameter, setPackage, setTemplateParameter, setUnspecializedElement, specializeIn, specializeIn, validateUniqueInvariantName

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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

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

allOwnedElements, create, createExtension, createOwnedComment, getExtension, getOwnedComment, getValue

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

getETarget, getTarget, isAdapterForType, notifyChanged, setTarget, unsetTarget

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

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

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

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicSetContainer, 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.DataType

getBehavioralType, isSerializable, setBehavioralType, setIsSerializable

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

createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface

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

createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

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

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

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

createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

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

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

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

createOwnedRule, getOwnedRule

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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

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

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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.DomainCollectionType

isOrdered, isUnique

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

eNotificationRequired

Field Detail

elementType

protected Type elementType

The cached value of the 'Element Type' reference.

See Also:

getElementType()

Generated

Ordered

LOWER_EDEFAULT

protected static final java.lang.Number LOWER_EDEFAULT

The default value of the 'Lower' attribute.

See Also:

getLower()

Generated

Ordered

lower

protected java.lang.Number lower

The cached value of the 'Lower' attribute.

See Also:

getLower()

Generated

Ordered

UPPER_EDEFAULT

protected static final java.lang.Number UPPER_EDEFAULT

The default value of the 'Upper' attribute.

See Also:

getUpper()

Generated

Ordered

upper

protected java.lang.Number upper

The cached value of the 'Upper' attribute.

See Also:

getUpper()

Generated

Ordered

Constructor Detail

CollectionTypeImpl

protected CollectionTypeImpl()

Generated

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class DataTypeImpl

Generated

getElementType

public Type getElementType()

Specified by:

getElementType in interface DomainCollectionType

Specified by:

getElementType in interface CollectionType

Returns:

the value of the 'Element Type' reference.

See Also:

CollectionType.setElementType(Type), PivotPackage.getCollectionType_ElementType()

Generated

basicGetElementType

public Type basicGetElementType()

Generated

setElementType

public void setElementType(Type newElementType)

Specified by:

setElementType in interface CollectionType

Parameters:

newElementType - the new value of the 'Element Type' reference.

See Also:

CollectionType.getElementType()

Generated

getLower

public java.lang.Number getLower()

Specified by:

getLower in interface CollectionType

Returns:

the value of the 'Lower' attribute.

See Also:

CollectionType.setLower(Number), PivotPackage.getCollectionType_Lower()

Generated

setLower

public void setLower(java.lang.Number newLower)

Specified by:

setLower in interface CollectionType

Parameters:

newLower - the new value of the 'Lower' attribute.

See Also:

CollectionType.getLower()

Generated

getUpper

public java.lang.Number getUpper()

Specified by:

getUpper in interface CollectionType

Returns:

the value of the 'Upper' attribute.

See Also:

CollectionType.setUpper(Number), PivotPackage.getCollectionType_Upper()

Generated

setUpper

public void setUpper(java.lang.Number newUpper)

Specified by:

setUpper in interface CollectionType

Parameters:

newUpper - the new value of the 'Upper' attribute.

See Also:

CollectionType.getUpper()

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 DataTypeImpl

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 DataTypeImpl

Generated

eUnset

public void eUnset(int featureID)

Specified by:

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

Overrides:

eUnset in class DataTypeImpl

Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:

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

Overrides:

eIsSet in class DataTypeImpl

Generated

toString

public java.lang.String toString()

Overrides:

toString in class DataTypeImpl

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 DataTypeImpl

Returns:

the result of the visit.

computeId

@NonNull
public TypeId computeId()

Overrides:

computeId in class DataTypeImpl

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

Overrides:

conformsTo in class TypeImpl

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

Overrides:

getCommonType in class TypeImpl

getContainerType

@NonNull
public CollectionType getContainerType()

Specified by:

getContainerType in interface DomainCollectionType

getTypeId

@NonNull
public CollectionTypeId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface DomainCollectionType

Specified by:

getTypeId in interface DomainType

Overrides:

getTypeId in class TypeImpl

Returns:

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

Overrides:

isEqualTo in class TypeImpl

getLowerValue

@NonNull
public IntegerValue getLowerValue()

Specified by:

getLowerValue in interface DomainCollectionType

getUpperValue

@NonNull
public IntegerValue getUpperValue()

Specified by:

getUpperValue in interface DomainCollectionType

setLowerValue

public void setLowerValue(@NonNull
                          IntegerValue lower)

Specified by:

setLowerValue in interface CollectionType

setUpperValue

public void setUpperValue(@NonNull
                          IntegerValue upper)

Specified by:

setUpperValue in interface CollectionType