org.eclipse.ocl.pivot.internal.executor

Class ExecutorCollectionType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.executor.AbstractSpecializedType

org.eclipse.ocl.pivot.internal.executor.ExecutorCollectionType

All Implemented Interfaces:

Class, CollectionType, CompleteInheritance, DataType, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

public class ExecutorCollectionType
extends AbstractSpecializedType
implements CollectionType

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
ExecutorCollectionType(String name, Class containerType, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)

Method Summary

Modifier and Type	Method and Description
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
Class	getCommonType(IdResolver idResolver, Type type) Return the most derived type common to this type and thatType within standardLibrary.
Class	getContainerType()
Type	getElementType() Returns the value of the 'Element Type' reference.
Number	getLower() Returns the value of the 'Lower' attribute.
IntegerValue	getLowerValue()
List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
CollectionTypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
Number	getUpper() Returns the value of the 'Upper' attribute.
UnlimitedNaturalValue	getUpperValue()
String	getValue() Returns the value of the 'Value' attribute.
boolean	isEqualTo(StandardLibrary standardLibrary, Type type) Return true if this is the same type as thatType within standardLibrary.
boolean	isIsNullFree() Returns the value of the 'Is Null Free' attribute.
void	setElementType(Type value) Sets the value of the 'Element Type' reference.
void	setIsNullFree(boolean value) Sets the value of the 'Is Null Free' attribute.
void	setLower(Number value) Sets the value of the 'Lower' attribute.
void	setLowerValue(IntegerValue lower)
void	setUpper(Number value) Sets the value of the 'Upper' attribute.
void	setUpperValue(UnlimitedNaturalValue upper)
String	toString()

Methods inherited from class org.eclipse.ocl.pivot.internal.executor.AbstractSpecializedType

isOrdered, isUnique, lookupActualOperation, lookupImplementation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

createInstance, createInstance, getBehavioralClass, getExtenders, getInheritance, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateNameIsNotNull, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

flattenedType, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, isClass, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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, isIsSerializable, setBehavioralClass, setIsSerializable

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

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, 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

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

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

Constructor Detail

ExecutorCollectionType

public ExecutorCollectionType(String name,
                              Class containerType,
                              Type elementType,
                              boolean isNullFree,
                              IntegerValue lower,
                              UnlimitedNaturalValue upper)

Method Detail

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 AbstractExecutorType

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 AbstractExecutorType

getContainerType

public Class getContainerType()

Specified by:

getContainerType in interface CollectionType

Overrides:

getContainerType in class AbstractSpecializedType

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

getLower

public Number getLower()

Description copied from interface: CollectionType

Returns the value of the 'Lower' attribute. The default value is "0".

If the meaning of the 'Lower' attribute isn't clear, there really should be more of a description here...

Specified by:

getLower in interface CollectionType

Returns:

the value of the 'Lower' attribute.

See Also:

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

getLowerValue

public IntegerValue getLowerValue()

Specified by:

getLowerValue in interface CollectionType

getOwnedOperations

public List<Operation> getOwnedOperations()

Description copied from interface: Class

Returns the value of the 'Owned Operations' containment reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'Owning Class'. The Operations owned by the Class.

Specified by:

getOwnedOperations in interface Class

Overrides:

getOwnedOperations in class AbstractExecutorClass

Returns:

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

See Also:

PivotPackage.getClass_OwnedOperations(), Operation.getOwningClass()

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 AbstractExecutorType

getUpper

public Number getUpper()

Description copied from interface: CollectionType

Returns the value of the 'Upper' attribute. The default value is "*".

If the meaning of the 'Upper' attribute isn't clear, there really should be more of a description here...

Specified by:

getUpper in interface CollectionType

Returns:

the value of the 'Upper' attribute.

See Also:

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

getUpperValue

public UnlimitedNaturalValue getUpperValue()

Specified by:

getUpperValue in interface CollectionType

getValue

public String getValue()

Description copied from interface: DataType

Returns the value of the 'Value' attribute. The default value is "".

If the meaning of the 'Value' attribute isn't clear, there really should be more of a description here...

Specified by:

getValue in interface DataType

Returns:

the value of the 'Value' attribute.

Since:

1.3

See Also:

PivotPackage.getDataType_Value()

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 AbstractExecutorType

isIsNullFree

public boolean isIsNullFree()

Description copied from interface: CollectionType

Returns the value of the 'Is Null Free' attribute. The default value is "false".

If the meaning of the 'Is Null Free' attribute isn't clear, there really should be more of a description here...

Specified by:

isIsNullFree in interface CollectionType

Returns:

the value of the 'Is Null Free' attribute.

See Also:

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

setElementType

public void setElementType(Type value)

Description copied from interface: CollectionType

Sets the value of the 'Element Type' reference.

Specified by:

setElementType in interface CollectionType

Parameters:

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

See Also:

CollectionType.getElementType()

setIsNullFree

public void setIsNullFree(boolean value)

Description copied from interface: CollectionType

Sets the value of the 'Is Null Free' attribute.

Specified by:

setIsNullFree in interface CollectionType

Parameters:

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

See Also:

CollectionType.isIsNullFree()

setLower

public void setLower(Number value)

Description copied from interface: CollectionType

Sets the value of the 'Lower' attribute.

Specified by:

setLower in interface CollectionType

Parameters:

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

See Also:

CollectionType.getLower()

setLowerValue

public void setLowerValue(IntegerValue lower)

Specified by:

setLowerValue in interface CollectionType

setUpper

public void setUpper(Number value)

Description copied from interface: CollectionType

Sets the value of the 'Upper' attribute.

Specified by:

setUpper in interface CollectionType

Parameters:

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

See Also:

CollectionType.getUpper()

setUpperValue

public void setUpperValue(UnlimitedNaturalValue upper)

Specified by:

setUpperValue in interface CollectionType

toString

public String toString()

Overrides:

toString in class Object