org.eclipse.ocl.expressions.operations
Class CollectionRangeOperations
java.lang.Object
org.eclipse.ocl.expressions.operations.CollectionRangeOperations
public class CollectionRangeOperations
- extends Object
A static utility class that provides operations related to 'Collection Range' model objects.
The following operations are supported:
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CollectionRangeOperations
protected CollectionRangeOperations()
-
checkRangeType
public static <C> boolean checkRangeType(CollectionRange<C> collectionRange,
DiagnosticChain diagnostics,
Map<Object,Object> context)
-
type = first.type.commonSuperType(last.type)
- Parameters:
collectionRange
- The receiving 'Collection Range' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.