org.eclipse.ocl.examples.pivot
Interface CollectionType

All Superinterfaces:

Class, DataType, DomainCollectionType, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, OCLValue, ParameterableElement, PivotObject, TemplateableElement, Type, Visitable

All Known Subinterfaces:

BagType, OrderedSetType, SequenceType, SetType

All Known Implementing Classes:

BagTypeImpl, CollectionTypeImpl, OrderedSetTypeImpl, SequenceTypeImpl, SetTypeImpl

public interface CollectionType
extends DataType, DomainCollectionType

A representation of the model object 'Collection Type'.

See Also:

PivotPackage.getCollectionType()

Generated

Method Summary

Type	getElementType() Returns the value of the 'Element Type' reference.
java.lang.Number	getLower() Returns the value of the 'Lower' attribute.
java.lang.Number	getUpper() Returns the value of the 'Upper' attribute.
void	setElementType(Type value) Sets the value of the 'Element Type' reference.
void	setLower(java.lang.Number value) Sets the value of the 'Lower' attribute.
void	setLowerValue(IntegerValue lower)
void	setUpper(java.lang.Number value) Sets the value of the 'Upper' attribute.
void	setUpperValue(IntegerValue upper)

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

getBehavioralType, isSerializable, setBehavioralType, setIsSerializable

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

getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface

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

getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

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

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, 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

getOwnedRule

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

accept, eClass

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

getContainerType, getLowerValue, getTypeId, getUpperValue, isOrdered, isUnique

Method Detail

getElementType

Type getElementType()

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 DomainCollectionType

Returns:

the value of the 'Element Type' reference.

See Also:

setElementType(Type), PivotPackage.getCollectionType_ElementType()

Generated

setElementType

void setElementType(Type value)

Sets the value of the 'Element Type' reference.

Parameters:

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

See Also:

getElementType()

Generated

getLower

java.lang.Number getLower()

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

Returns:

the value of the 'Lower' attribute.

See Also:

setLower(Number), PivotPackage.getCollectionType_Lower()

Generated

setLower

void setLower(java.lang.Number value)

Sets the value of the 'Lower' attribute.

Parameters:

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

See Also:

getLower()

Generated

getUpper

java.lang.Number getUpper()

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

Returns:

the value of the 'Upper' attribute.

See Also:

setUpper(Number), PivotPackage.getCollectionType_Upper()

Generated

setUpper

void setUpper(java.lang.Number value)

Sets the value of the 'Upper' attribute.

Parameters:

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

See Also:

getUpper()

Generated

setLowerValue

void setLowerValue(@NonNull
                   IntegerValue lower)

setUpperValue

void setUpperValue(@NonNull
                   IntegerValue upper)