|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.expressions.operations.CollectionLiteralExpOperations
public class CollectionLiteralExpOperations
A static utility class that provides operations related to 'Collection Literal Exp' model objects.
The following operations are supported:
| Constructor Summary | |
|---|---|
protected |
CollectionLiteralExpOperations()
|
| Method Summary | ||
|---|---|---|
static
|
checkBagKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
kind = CollectionKind::Bag implies type.oclIsKindOf(BagType) |
|
static
|
checkElementType(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
type.oclAsType(CollectionType).elementType = part->iterate(p; c : Classifier = OclVoid | c.commonSuperType(p.type)) |
|
static
|
checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
kind <> CollectionKind::Collection |
|
static
|
checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
kind = CollectionKind::Sequence implies type.oclIsKindOf(SequenceType) |
|
static
|
checkSetKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
kind = CollectionKind::Set implies type.oclIsKindOf(SetType) |
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
protected CollectionLiteralExpOperations()
| Method Detail |
|---|
public static <C> boolean checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
collectionLiteralExp - The receiving 'Collection Literal Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C> boolean checkSetKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
collectionLiteralExp - The receiving 'Collection Literal Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C> boolean checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
collectionLiteralExp - The receiving 'Collection Literal Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C> boolean checkBagKind(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
collectionLiteralExp - The receiving 'Collection Literal Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
public static <C> boolean checkElementType(CollectionLiteralExp<C> collectionLiteralExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
collectionLiteralExp - The receiving 'Collection Literal Exp' model object.diagnostics - The chain of diagnostics to which problems are to be appended.context - The cache of context-specific information.
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||