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, java.util.Map<java.lang.Object,java.lang.Object> context) self.name = 'Set(' + 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

SetTypeOperations

protected SetTypeOperations()

Method Detail

checkCollectionTypeName

public static <C,O> boolean checkCollectionTypeName(SetType<C,O> setType,
                                                    DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.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.