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

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

public class ParameterableElementOperations
extends MonikeredElementOperations

A static utility class that provides operations related to 'Parameterable Element' model objects.

The following operations are supported:

• Is Template Parameter

Generated

Constructor Summary

protected

ParameterableElementOperations()

Method Summary

static boolean

isTemplateParameter(ParameterableElement parameterableElement) The query isTemplateParameter() determines if this parameterable element is exposed as a formal template parameter.

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

ParameterableElementOperations

protected ParameterableElementOperations()

Generated

Method Detail

isTemplateParameter

public static boolean isTemplateParameter(ParameterableElement parameterableElement)

The query isTemplateParameter() determines if this parameterable element is exposed as a formal template parameter. result = templateParameter->notEmpty()

Parameters:

parameterableElement - The receiving 'Parameterable Element' model object.

Generated