org.eclipse.ocl.types.operations
Class BagTypeOperations

java.lang.Object
  extended by org.eclipse.ocl.types.operations.CollectionTypeOperations
      extended by org.eclipse.ocl.types.operations.BagTypeOperations

public class BagTypeOperations
extends CollectionTypeOperations

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

The following operations are supported:

Generated

Constructor Summary
protected BagTypeOperations()
           
 
Method Summary
static
<C,O> boolean
checkCollectionTypeName(BagType<C,O> bagType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self.name = 'Bag(' + 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

BagTypeOperations

protected BagTypeOperations()

Generated
Method Detail

checkCollectionTypeName

public static <C,O> boolean checkCollectionTypeName(BagType<C,O> bagType,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
self.name = 'Bag(' + self.elementType.name + ')'

Parameters:
bagType - The receiving 'Bag Type' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
NOT