org.eclipse.ocl.types.operations

Class OrderedSetTypeOperations

java.lang.Object

org.eclipse.ocl.types.operations.CollectionTypeOperations

org.eclipse.ocl.types.operations.OrderedSetTypeOperations

public class OrderedSetTypeOperations
extends CollectionTypeOperations

A static utility class that provides operations related to 'Ordered Set Type' model objects.

The following operations are supported:

• Check Collection Type Name

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OrderedSetTypeOperations()

Method Summary

Modifier and Type	Method and Description
static <C,O> boolean	checkCollectionTypeName(OrderedSetType<C,O> orderedSetType, DiagnosticChain diagnostics, Map<Object,Object> context) self.name = 'OrderedSet(' + self.elementType.name + ')'

Methods inherited from class org.eclipse.ocl.types.operations.CollectionTypeOperations

checkCollectionTypeName, checkNoInvalidValues, getName, oclIterators, oclOperations

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderedSetTypeOperations

protected OrderedSetTypeOperations()

Method Detail

checkCollectionTypeName

public static <C,O> boolean checkCollectionTypeName(OrderedSetType<C,O> orderedSetType,
                                                    DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

self.name = 'OrderedSet(' + self.elementType.name + ')'

Parameters:

orderedSetType - The receiving 'Ordered Set Type' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.