org.eclipse.ocl.examples.pivot.internal.operations
Class TypeTemplateParameterOperations

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.TemplateParameterOperations
      org.eclipse.ocl.examples.pivot.internal.operations.TypeTemplateParameterOperations

public class TypeTemplateParameterOperations
extends TemplateParameterOperations

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

The following operations are supported:

• Validate Has Constraining Type

Generated

Constructor Summary

protected

TypeTemplateParameterOperations()

Method Summary

static boolean

validateHasConstrainingType(TypeTemplateParameter typeTemplateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) If "allowSubstitutable" is true, then there must be a constrainingClassifier.

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.operations.TemplateParameterOperations

validateMustBeCompatible

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeTemplateParameterOperations

protected TypeTemplateParameterOperations()

Generated

Method Detail

validateHasConstrainingType

public static boolean validateHasConstrainingType(TypeTemplateParameter typeTemplateParameter,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)

If "allowSubstitutable" is true, then there must be a constrainingClassifier. allowSubstitutable implies constrainingClassifier->notEmpty()

Parameters:

typeTemplateParameter - The receiving 'Type Template Parameter' model object.

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

context - The cache of context-specific information.

Generated