org.eclipse.ocl.pivot.internal

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.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypeImpl

org.eclipse.ocl.pivot.internal.ClassImpl

org.eclipse.ocl.pivot.internal.DataTypeImpl

org.eclipse.ocl.pivot.internal.CollectionTypeImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, Class, CollectionType, DataType, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Labelable, Nameable, PivotObject, OCLValue

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
• Is Null Free
• 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.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	elementType The cached value of the 'Element Type' reference.
protected static boolean	IS_NULL_FREE_EDEFAULT The default value of the 'Is Null Free' attribute.
protected static int	IS_NULL_FREE_EFLAG The flag representing the value of the 'Is Null Free' attribute.
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.pivot.internal.DataTypeImpl

behavioralClass, IS_SERIALIZABLE_EDEFAULT, IS_SERIALIZABLE_EFLAG

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

extenders, INSTANCE_CLASS_NAME_EDEFAULT, instanceClassName, IS_ABSTRACT_EDEFAULT, IS_ABSTRACT_EFLAG, IS_ACTIVE_EDEFAULT, IS_ACTIVE_EFLAG, IS_INTERFACE_EDEFAULT, IS_INTERFACE_EFLAG, ownedBehaviors, ownedBindings, ownedConstraints, ownedInvariants, ownedOperations, ownedProperties, ownedSignature, superClasses, unspecializedElement

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

name, NAME_EDEFAULT

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

annotatingComments, ownedAnnotations, ownedComments, ownedExtensions

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

Constructors

Modifier	Constructor and Description
protected	CollectionTypeImpl()

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
Type	basicGetElementType()
TypeId	computeId()
boolean	conformsTo(StandardLibrary standardLibrary, Type 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)
Type	flattenedType()
Class	getCommonType(IdResolver idResolver, Type type) Return the most derived type common 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()
UnlimitedNaturalValue	getUpperValue()
boolean	isEqualTo(StandardLibrary standardLibrary, Type type) Return true if this is the same type as thatType within standardLibrary.
boolean	isIsNullFree()
void	setElementType(Type newElementType)
void	setIsNullFree(boolean newIsNullFree)
void	setLower(java.lang.Number newLower)
void	setLowerValue(IntegerValue lower)
void	setUpper(java.lang.Number newUpper)
void	setUpperValue(UnlimitedNaturalValue upper)
java.lang.String	toString()

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

basicGetBehavioralClass, getBehavioralClass, getInheritance, isIsSerializable, setBehavioralClass, setIsSerializable

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

addClassListener, basicSetOwnedSignature, basicSetOwningPackage, eBaseStructuralFeatureID, eBasicRemoveFromContainerFeature, eDerivedStructuralFeatureID, eInverseAdd, eInverseRemove, eInvoke, getExtenders, getInstanceClassName, getMetaTypeName, getNormalizedType, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isClass, isIsAbstract, isIsActive, isIsInterface, isOrdered, isTemplateParameter, isUnique, lookupActualOperation, lookupImplementation, removeClassListener, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setName, setOwnedSignature, setOwningPackage, setUnspecializedElement, specializeIn, validateUniqueInvariantName

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

createInstance, createInstance, getPackage, isEqualToUnspecializedType, oclEquals, oclHashCode

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

getName

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

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

eBasicSetContainer, getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

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, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, 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.pivot.DataType

getBehavioralClass, isIsSerializable, setBehavioralClass, setIsSerializable

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

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName

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

getInheritance, getNormalizedType, isClass, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

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

getOwnedConstraints

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

getName, setName

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

allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, 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.pivot.util.Visitable

eClass

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

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

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

IS_NULL_FREE_EDEFAULT

protected static final boolean IS_NULL_FREE_EDEFAULT

The default value of the 'Is Null Free' attribute.

See Also:

isIsNullFree(), Constant Field Values

Generated

Ordered

IS_NULL_FREE_EFLAG

protected static final int IS_NULL_FREE_EFLAG

The flag representing the value of the 'Is Null Free' attribute.

See Also:

isIsNullFree(), Constant Field Values

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()

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

isIsNullFree

public boolean isIsNullFree()

Specified by:

isIsNullFree in interface CollectionType

Returns:

the value of the 'Is Null Free' attribute.

See Also:

CollectionType.setIsNullFree(boolean), PivotPackage.getCollectionType_IsNullFree()

Generated

setIsNullFree

public void setIsNullFree(boolean newIsNullFree)

Specified by:

setIsNullFree in interface CollectionType

Parameters:

newIsNullFree - the new value of the 'Is Null Free' attribute.

See Also:

CollectionType.isIsNullFree()

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: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

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
                          StandardLibrary standardLibrary,
                          @NonNull
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class ClassImpl

flattenedType

public Type flattenedType()

Description copied from class: TypeImpl

Specified by:

flattenedType in interface Type

Overrides:

flattenedType in class TypeImpl

getCommonType

public Class getCommonType(@NonNull
                           IdResolver idResolver,
                           @NonNull
                           Type type)

Description copied from interface: Type

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

Specified by:

getCommonType in interface Type

Overrides:

getCommonType in class ClassImpl

getContainerType

@NonNull
public CollectionType getContainerType()

Specified by:

getContainerType in interface CollectionType

getTypeId

@NonNull
public CollectionTypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface CollectionType

Specified by:

getTypeId in interface Type

Overrides:

getTypeId in class ClassImpl

isEqualTo

public boolean isEqualTo(@NonNull
                         StandardLibrary standardLibrary,
                         @NonNull
                         Type type)

Description copied from interface: Type

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

Specified by:

isEqualTo in interface Type

Overrides:

isEqualTo in class TypeImpl

getLowerValue

@NonNull
public IntegerValue getLowerValue()

Specified by:

getLowerValue in interface CollectionType

getUpperValue

@NonNull
public UnlimitedNaturalValue getUpperValue()

Specified by:

getUpperValue in interface CollectionType

setLowerValue

public void setLowerValue(@NonNull
                          IntegerValue lower)

Specified by:

setLowerValue in interface CollectionType

setUpperValue

public void setUpperValue(@NonNull
                          UnlimitedNaturalValue upper)

Specified by:

setUpperValue in interface CollectionType