org.eclipse.ocl.types
Interface CollectionType<C,O>

All Superinterfaces:

ASTNode, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, PredefinedType<O>, TypedASTNode

All Known Subinterfaces:

BagType<C,O>, BagType, BagType, CollectionType, CollectionType, OrderedSetType<C,O>, OrderedSetType, OrderedSetType, SequenceType<C,O>, SequenceType, SequenceType, SetType<C,O>, SetType, SetType

All Known Implementing Classes:

BagTypeImpl, BagTypeImpl, BagTypeImpl, CollectionTypeImpl, CollectionTypeImpl, CollectionTypeImpl, OrderedSetTypeImpl, OrderedSetTypeImpl, OrderedSetTypeImpl, SequenceTypeImpl, SequenceTypeImpl, SequenceTypeImpl, SetTypeImpl, SetTypeImpl, SetTypeImpl

public interface CollectionType<C,O>
extends PredefinedType<O>, TypedASTNode

A representation of the model object 'Collection Type'.

The following features are supported:

• Element Type
• Kind

See Also:

TypesPackage.getCollectionType()

Generated

Model

Field Summary

static java.lang.String

SINGLETON_NAME

Fields inherited from interface org.eclipse.ocl.utilities.PredefinedType

ABS, ABS_NAME, ALL_INSTANCES, ALL_INSTANCES_NAME, AND, AND_NAME, ANY, ANY_NAME, APPEND, APPEND_NAME, AS_BAG, AS_BAG_NAME, AS_ORDERED_SET, AS_ORDERED_SET_NAME, AS_SEQUENCE, AS_SEQUENCE_NAME, AS_SET, AS_SET_NAME, AT, AT_NAME, CLOSURE, CLOSURE_NAME, COLLECT, COLLECT_NAME, COLLECT_NESTED, COLLECT_NESTED_NAME, CONCAT, CONCAT_NAME, COUNT, COUNT_NAME, DIV, DIV_NAME, DIVIDE, DIVIDE_NAME, EQUAL, EQUAL_NAME, EXCLUDES, EXCLUDES_ALL, EXCLUDES_ALL_NAME, EXCLUDES_NAME, EXCLUDING, EXCLUDING_NAME, EXISTS, EXISTS_NAME, FIRST, FIRST_NAME, FLATTEN, FLATTEN_NAME, FLOOR, FLOOR_NAME, FOR_ALL, FOR_ALL_NAME, GREATER_THAN, GREATER_THAN_EQUAL, GREATER_THAN_EQUAL_NAME, GREATER_THAN_NAME, HAS_RETURNED, HAS_RETURNED_NAME, IMPLIES, IMPLIES_NAME, INCLUDES, INCLUDES_ALL, INCLUDES_ALL_NAME, INCLUDES_NAME, INCLUDING, INCLUDING_NAME, INDEX_OF, INDEX_OF_NAME, INSERT_AT, INSERT_AT_NAME, INTERSECTION, INTERSECTION_NAME, IS_EMPTY, IS_EMPTY_NAME, IS_OPERATION_CALL, IS_OPERATION_CALL_NAME, IS_SIGNAL_SENT, IS_SIGNAL_SENT_NAME, IS_UNIQUE, IS_UNIQUE_NAME, LAST, LAST_NAME, LESS_THAN, LESS_THAN_EQUAL, LESS_THAN_EQUAL_NAME, LESS_THAN_NAME, MAX, MAX_NAME, MIN, MIN_NAME, MINUS, MINUS_NAME, MOD, MOD_NAME, NOT, NOT_EMPTY, NOT_EMPTY_NAME, NOT_EQUAL, NOT_EQUAL_NAME, NOT_NAME, OCL_AS_TYPE, OCL_AS_TYPE_NAME, OCL_IS_IN_STATE, OCL_IS_IN_STATE_NAME, OCL_IS_INVALID, OCL_IS_INVALID_NAME, OCL_IS_KIND_OF, OCL_IS_KIND_OF_NAME, OCL_IS_NEW, OCL_IS_NEW_NAME, OCL_IS_TYPE_OF, OCL_IS_TYPE_OF_NAME, OCL_IS_UNDEFINED, OCL_IS_UNDEFINED_NAME, ONE, ONE_NAME, OR, OR_NAME, PLUS, PLUS_NAME, PREPEND, PREPEND_NAME, PRODUCT, PRODUCT_NAME, REJECT, REJECT_NAME, RESULT, RESULT_NAME, ROUND, ROUND_NAME, SELECT, SELECT_NAME, SIZE, SIZE_NAME, SORTED_BY, SORTED_BY_NAME, SUB_ORDERED_SET, SUB_ORDERED_SET_NAME, SUB_SEQUENCE, SUB_SEQUENCE_NAME, SUBSTRING, SUBSTRING_NAME, SUM, SUM_NAME, SYMMETRIC_DIFFERENCE, SYMMETRIC_DIFFERENCE_NAME, TIMES, TIMES_NAME, TO_INTEGER, TO_INTEGER_NAME, TO_LOWER, TO_LOWER_NAME, TO_REAL, TO_REAL_NAME, TO_UPPER, TO_UPPER_NAME, UNION, UNION_NAME, XOR, XOR_NAME

Method Summary

boolean	checkCollectionTypeName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.name = 'Collection(' + self.elementType.name + ')'
boolean	checkNoInvalidValues(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self->forAll(not oclIsInvalid())
C	getElementType() Returns the value of the 'Element Type' reference.
CollectionKind	getKind() Returns the value of the 'Kind' attribute.
org.eclipse.emf.common.util.EList<O>	oclIterators()
void	setElementType(C value) Sets the value of the 'Element Type' reference.

Methods inherited from interface org.eclipse.ocl.utilities.PredefinedType

getName, oclOperations

Methods inherited from interface org.eclipse.ocl.utilities.TypedASTNode

getTypeEndPosition, getTypeStartPosition, setTypeEndPosition, setTypeStartPosition

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

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

Field Detail

SINGLETON_NAME

static final java.lang.String SINGLETON_NAME

See Also:

Constant Field Values

Method Detail

getElementType

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

Returns:

the value of the 'Element Type' reference.

See Also:

setElementType(Object), TypesPackage.getCollectionType_ElementType()

Generated

Model

kind="reference"

setElementType

void setElementType(C value)

Sets the value of the 'Element Type' reference.

Parameters:

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

See Also:

getElementType()

Generated

getKind

CollectionKind getKind()

Returns the value of the 'Kind' attribute. The literals are from the enumeration CollectionKind.

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

Returns:

the value of the 'Kind' attribute.

See Also:

CollectionKind, TypesPackage.getCollectionType_Kind()

Generated

Model

required="true" transient="true" changeable="false" volatile="true"

checkCollectionTypeName

boolean checkCollectionTypeName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)

self.name = 'Collection(' + self.elementType.name + ')'

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkNoInvalidValues

boolean checkNoInvalidValues(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

self->forAll(not oclIsInvalid())

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

oclIterators

org.eclipse.emf.common.util.EList<O> oclIterators()

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

Generated

Model