org.eclipse.ocl.types.operations
Class CollectionTypeOperations

java.lang.Object
  extended by org.eclipse.ocl.types.operations.CollectionTypeOperations
Direct Known Subclasses:
BagTypeOperations, OrderedSetTypeOperations, SequenceTypeOperations, SetTypeOperations

public class CollectionTypeOperations
extends java.lang.Object

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

The following operations are supported:

Generated

Constructor Summary
protected CollectionTypeOperations()
           
 
Method Summary
static
<C,O> boolean
checkCollectionTypeName(CollectionType<C,O> collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self.name = 'Collection(' + self.elementType.name + ')'
static
<C,O> boolean
checkNoInvalidValues(CollectionType<C,O> collectionType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self->forAll(not oclIsInvalid())
static
<C,O> java.lang.String
getName(CollectionType<C,O> collectionType)
           
static
<C,O> org.eclipse.emf.common.util.EList<O>
oclIterators(CollectionType<C,O> collectionType)
           
static
<C,O> org.eclipse.emf.common.util.EList<O>
oclOperations(CollectionType<C,O> collectionType)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CollectionTypeOperations

protected CollectionTypeOperations()

Generated
Method Detail

getName

public static <C,O> java.lang.String getName(CollectionType<C,O> collectionType)

Since:
1.3
Generated
NOT

oclOperations

public static <C,O> org.eclipse.emf.common.util.EList<O> oclOperations(CollectionType<C,O> collectionType)

Since:
1.3
Generated
NOT

checkCollectionTypeName

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

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

checkNoInvalidValues

public static <C,O> boolean checkNoInvalidValues(CollectionType<C,O> collectionType,
                                                 org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                 java.util.Map<java.lang.Object,java.lang.Object> context)
self->forAll(not oclIsInvalid())

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

oclIterators

public static <C,O> org.eclipse.emf.common.util.EList<O> oclIterators(CollectionType<C,O> collectionType)

Generated
NOT