|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CollectionLiteralExp<C>
A representation of the model object 'Collection Literal Exp'.
The following features are supported:
ExpressionsPackage.getCollectionLiteralExp()
Method Summary | |
---|---|
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 |
---|
CollectionKind getKind()
CollectionKind
.
If the meaning of the 'Collection Kind' attribute isn't clear, there really should be more of a description here...
CollectionKind
,
setKind(CollectionKind)
,
ExpressionsPackage.getCollectionLiteralExp_Kind()
void setKind(CollectionKind value)
Kind
' attribute.
value
- the new value of the 'Kind' attribute.CollectionKind
,
getKind()
org.eclipse.emf.common.util.EList<CollectionLiteralPart<C>> getPart()
CollectionLiteralPart
<C>.
If the meaning of the 'Part' containment reference list isn't clear, there really should be more of a description here...
ExpressionsPackage.getCollectionLiteralExp_Part()
boolean isSimpleRange()
If the meaning of the 'Simple Range' attribute isn't clear, there really should be more of a description here...
ExpressionsPackage.getCollectionLiteralExp_SimpleRange()
boolean checkNoCollectionInstances(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkSetKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkSequenceKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkBagKind(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |