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

Generated

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CollectionLiteralExpOperations()

Method Summary

Modifier and Type	Method and Description
static <C> boolean	checkBagKind(CollectionLiteralExp<C> collectionLiteralExp, org.eclipse.emf.common.util.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, 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))
static <C> boolean	checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) kind <> CollectionKind::Collection
static <C> boolean	checkSequenceKind(CollectionLiteralExp<C> collectionLiteralExp, org.eclipse.emf.common.util.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, org.eclipse.emf.common.util.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()

Generated

Method Detail

checkNoCollectionInstances

public static <C> boolean checkNoCollectionInstances(CollectionLiteralExp<C> collectionLiteralExp,
                                                     org.eclipse.emf.common.util.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.

Generated

NOT

checkSetKind

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

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.

Generated

NOT

checkSequenceKind

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

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.

Generated

NOT

checkBagKind

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

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.

Generated

NOT

checkElementType

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

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.

Generated

NOT