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

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations
      org.eclipse.ocl.examples.pivot.internal.operations.TemplateSignatureOperations

public class TemplateSignatureOperations
extends MonikeredElementOperations

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

The following operations are supported:

• Validate Own Elements

Generated

Constructor Summary

protected

TemplateSignatureOperations()

Method Summary

static boolean

validateOwnElements(TemplateSignature templateSignature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Parameters must own the elements they parameter or those elements must be owned by the element being templated.

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

hasMoniker

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateSignatureOperations

protected TemplateSignatureOperations()

Generated

Method Detail

validateOwnElements

public static boolean validateOwnElements(TemplateSignature templateSignature,
                                          org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          java.util.Map<java.lang.Object,java.lang.Object> context)

Parameters must own the elements they parameter or those elements must be owned by the element being templated. templatedElement.ownedElement->includesAll(parameter.parameteredElement - parameter.ownedParameteredElement)

Parameters:

templateSignature - The receiving 'Template Signature' model object.

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

context - The cache of context-specific information.

Generated