org.eclipse.ocl.expressions

Interface CollectionLiteralExp<C>

All Superinterfaces:

ASTNode, org.eclipse.emf.ecore.EObject, LiteralExp<C>, org.eclipse.emf.common.notify.Notifier, OCLExpression<C>, TypedElement<C>, Visitable

All Known Subinterfaces:

CollectionLiteralExp, CollectionLiteralExp

All Known Implementing Classes:

CollectionLiteralExpImpl, CollectionLiteralExpImpl, CollectionLiteralExpImpl

public interface CollectionLiteralExp<C>
extends LiteralExp<C>

A representation of the model object 'Collection Literal Exp'.

The following features are supported:

• Kind
• Part
• Simple Range

See Also:

ExpressionsPackage.getCollectionLiteralExp()

Generated

Model

Method Summary

Methods

Modifier and Type	Method and Description
boolean	checkBagKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Bag implies type.oclIsKindOf(BagType)
boolean	checkElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) type.oclAsType(CollectionType).elementType = part->iterate(p; c : Classifier = OclVoid | c.commonSuperType(p.type))
boolean	checkNoCollectionInstances(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind <> CollectionKind::Collection
boolean	checkSequenceKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Sequence implies type.oclIsKindOf(SequenceType)
boolean	checkSetKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Set implies type.oclIsKindOf(SetType)
CollectionKind	getKind() Returns the value of the 'Kind' attribute.
org.eclipse.emf.common.util.EList<CollectionLiteralPart<C>>	getPart() Returns the value of the 'Part' containment reference list.
boolean	isSimpleRange() Returns the value of the 'Simple Range' attribute.
void	setKind(CollectionKind value) Sets the value of the 'Kind' attribute.

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

getName, getType, setName, setType

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

accept

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

Method Detail

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, setKind(CollectionKind), ExpressionsPackage.getCollectionLiteralExp_Kind()

Generated

Model

setKind

void setKind(CollectionKind value)

Sets the value of the 'Kind' attribute.

Parameters:

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

See Also:

CollectionKind, getKind()

Generated

getPart

org.eclipse.emf.common.util.EList<CollectionLiteralPart<C>> getPart()

Returns the value of the 'Part' containment reference list. The list contents are of type CollectionLiteralPart<C>.

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

Returns:

the value of the 'Part' containment reference list.

See Also:

ExpressionsPackage.getCollectionLiteralExp_Part()

Generated

Model

containment="true"

isSimpleRange

boolean isSimpleRange()

Returns the value of the 'Simple Range' attribute.

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

Returns:

the value of the 'Simple Range' attribute.

See Also:

ExpressionsPackage.getCollectionLiteralExp_SimpleRange()

Generated

Model

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

checkNoCollectionInstances

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

kind <> CollectionKind::Collection

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkSetKind

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

kind = CollectionKind::Set implies type.oclIsKindOf(SetType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkSequenceKind

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

kind = CollectionKind::Sequence implies type.oclIsKindOf(SequenceType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkBagKind

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

kind = CollectionKind::Bag implies type.oclIsKindOf(BagType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkElementType

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

type.oclAsType(CollectionType).elementType = part->iterate(p; c : Classifier = OclVoid | c.commonSuperType(p.type))

Parameters:

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

context - The cache of context-specific information.

Generated

Model