org.eclipse.ocl.types.operations
Class SetTypeOperations

java.lang.Object
  org.eclipse.ocl.types.operations.CollectionTypeOperations
      org.eclipse.ocl.types.operations.SetTypeOperations

public class SetTypeOperations
extends CollectionTypeOperations

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

The following operations are supported:

• Check Collection Type Name

Constructor Summary

protected

SetTypeOperations()

Method Summary

static <C,O> boolean

checkCollectionTypeName(SetType<C,O> setType, DiagnosticChain diagnostics, Map<Object,Object> context) self.name = 'Set(' + self.elementType.name + ')'

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

checkCollectionTypeName, checkNoInvalidValues, oclIterators

Methods inherited from class java.lang.Object

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

Constructor Detail

SetTypeOperations

protected SetTypeOperations()

Method Detail

checkCollectionTypeName

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

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

Parameters:

setType - The receiving 'Set Type' model object.

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

context - The cache of context-specific information.