org.eclipse.ocl.examples.pivot
Interface CollectionLiteralExp

All Superinterfaces:

DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, LiteralExp, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, TypedElement, Visitable

All Known Implementing Classes:

CollectionLiteralExpImpl

public interface CollectionLiteralExp
extends LiteralExp

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

The following features are supported:

• Kind
• Part

See Also:

PivotPackage.getCollectionLiteralExp()

Generated

Method Summary

CollectionKind	getKind() Returns the value of the 'Kind' attribute.
java.util.List<CollectionLiteralPart>	getPart() Returns the value of the 'Part' containment reference list.
void	setKind(CollectionKind value) Sets the value of the 'Kind' attribute.
boolean	validateBagKindIsBag(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectionKindIsConcrete(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateOrderedSetKindIsOrderedSet(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSequenceKindIsSequence(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSetKindIsSet(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

getType, isRequired, setIsRequired, setType

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

getTypeId

Method Detail

getKind

CollectionKind getKind()

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

If the meaning of the '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), PivotPackage.getCollectionLiteralExp_Kind()

Generated

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

java.util.List<CollectionLiteralPart> getPart()

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

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:

PivotPackage.getCollectionLiteralExp_Part()

Generated

validateCollectionKindIsConcrete

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

Generated

validateSetKindIsSet

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

Generated

validateOrderedSetKindIsOrderedSet

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

Generated

validateSequenceKindIsSequence

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

Generated

validateBagKindIsBag

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

Generated