org.eclipse.ocl.pivot.internal

Class CollectionTypeImpl

java.lang.Object

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:

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

EMF generated code

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() Deprecated.
TypeId	computeId()
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
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() Returns the value of the 'Element Type' reference.
Number	getLower()
IntegerValue	getLowerValue()
CollectionTypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
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) Sets the value of the 'Element Type' reference.
void	setIsNullFree(boolean newIsNullFree)
void	setLower(Number newLower)
void	setLowerValue(IntegerValue lower)
void	setUpper(Number newUpper)
void	setUpperValue(UnlimitedNaturalValue upper)
String	toString()

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

basicGetBehavioralClass, getBehavioralClass, getInheritance, getValue, 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, validateNameIsNotNull, 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

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getBehavioralClass, getValue, 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, validateNameIsNotNull, 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.ocl.pivot.util.Visitable

eClass

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

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Method Detail

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

EMF generated code

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

EMF generated code

getLower

public Number getLower()

Specified by:

getLower in interface CollectionType

Returns:

the value of the 'Lower' attribute.

See Also:

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

EMF generated code

setLower

public void setLower(Number newLower)

Specified by:

setLower in interface CollectionType

Parameters:

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

See Also:

CollectionType.getLower()

EMF generated code

getUpper

public Number getUpper()

Specified by:

getUpper in interface CollectionType

Returns:

the value of the 'Upper' attribute.

See Also:

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

EMF generated code

setUpper

public void setUpper(Number newUpper)

Specified by:

setUpper in interface CollectionType

Parameters:

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

See Also:

CollectionType.getUpper()

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class DataTypeImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class DataTypeImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class DataTypeImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class DataTypeImpl

EMF generated code

toString

public String toString()

Overrides:

toString in class DataTypeImpl

EMF generated code

NOT

accept

public <R> R accept(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.

basicGetElementType

@Deprecated
public Type basicGetElementType()

Deprecated.

computeId

public TypeId computeId()

Overrides:

computeId in class DataTypeImpl

conformsTo

public boolean conformsTo(StandardLibrary standardLibrary,
                          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(IdResolver idResolver,
                           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

public CollectionType getContainerType()

Specified by:

getContainerType in interface CollectionType

getTypeId

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(StandardLibrary standardLibrary,
                         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

getElementType

public Type getElementType()

Description copied from interface: CollectionType

Returns the value of the 'Element Type' reference.

If the meaning of the 'Element Type' reference isn't clear, there really should be more of a description here...

Specified by:

getElementType in interface CollectionType

Returns:

the value of the 'Element Type' reference.

See Also:

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

getLowerValue

public IntegerValue getLowerValue()

Specified by:

getLowerValue in interface CollectionType

getUpperValue

public UnlimitedNaturalValue getUpperValue()

Specified by:

getUpperValue in interface CollectionType

setElementType

public void setElementType(Type newElementType)

Description copied from interface: CollectionType

Sets the value of the 'Element Type' reference.

Specified by:

setElementType in interface CollectionType

Parameters:

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

See Also:

CollectionType.getElementType()

setLowerValue

public void setLowerValue(IntegerValue lower)

Specified by:

setLowerValue in interface CollectionType

setUpperValue

public void setUpperValue(UnlimitedNaturalValue upper)

Specified by:

setUpperValue in interface CollectionType