org.eclipse.ocl.expressions.operations
Class CollectionLiteralExpOperations

java.lang.Object
  org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      org.eclipse.ocl.expressions.operations.CollectionLiteralExpOperations

public class CollectionLiteralExpOperations
extends OCLExpressionOperations

A static utility class that provides operations related to 'Collection Literal Exp' model objects.

The following operations are supported:

• Check No Collection Instances
• Check Set Kind
• Check Sequence Kind
• Check Bag Kind
• Check Element Type

Constructor Summary

protected

CollectionLiteralExpOperations()

Method Summary

static <C> boolean	checkBagKind(CollectionLiteralExp<C> collectionLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Bag implies type.oclIsKindOf(BagType)
static <C> boolean	checkElementType(CollectionLiteralExp<C> collectionLiteralExp, 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))
static <C> boolean	checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind <> CollectionKind::Collection
static <C> boolean	checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Sequence implies type.oclIsKindOf(SequenceType)
static <C> boolean	checkSetKind(CollectionLiteralExp<C> collectionLiteralExp, DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind = CollectionKind::Set implies type.oclIsKindOf(SetType)

Methods inherited from class org.eclipse.ocl.expressions.operations.OCLExpressionOperations

accept, getName, getType, setName, setType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CollectionLiteralExpOperations

protected CollectionLiteralExpOperations()

Method Detail

checkNoCollectionInstances

public static <C> boolean checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp,
                                                     DiagnosticChain diagnostics,
                                                     java.util.Map<java.lang.Object,java.lang.Object> context)

kind <> CollectionKind::Collection

Parameters:

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.

checkSetKind

public static <C> boolean checkSetKind(CollectionLiteralExp<C> collectionLiteralExp,
                                       DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

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

Parameters:

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.

checkSequenceKind

public static <C> boolean checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp,
                                            DiagnosticChain diagnostics,
                                            java.util.Map<java.lang.Object,java.lang.Object> context)

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

Parameters:

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.

checkBagKind

public static <C> boolean checkBagKind(CollectionLiteralExp<C> collectionLiteralExp,
                                       DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)

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

Parameters:

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.

checkElementType

public static <C> boolean checkElementType(CollectionLiteralExp<C> collectionLiteralExp,
                                           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:

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.