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

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

Direct Known Subclasses:

TypeTemplateParameterOperations

public class TemplateParameterOperations
extends java.lang.Object

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

The following operations are supported:

• Validate Must Be Compatible

Generated

Constructor Summary

protected

TemplateParameterOperations()

Method Summary

static boolean

validateMustBeCompatible(TemplateParameter templateParameter, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) The default must be compatible with the formal template parameter.

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterOperations

protected TemplateParameterOperations()

Generated

Method Detail

validateMustBeCompatible

public static boolean validateMustBeCompatible(TemplateParameter templateParameter,
                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)

The default must be compatible with the formal template parameter. default->notEmpty() implies default->isCompatibleWith(parameteredElement)

Parameters:

templateParameter - The receiving 'Template Parameter' model object.

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

context - The cache of context-specific information.

Generated