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

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

public class TemplateableElementOperations
extends MonikeredElementOperations

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

The following operations are supported:

• Parameterable Elements
• Is Template

Generated

Constructor Summary

protected

TemplateableElementOperations()

Method Summary

static boolean	isTemplate(TemplateableElement templateableElement) The query isTemplate() returns whether this templateable element is actually a template.
static org.eclipse.emf.common.util.EList<ParameterableElement>	parameterableElements(TemplateableElement templateableElement) The query parameterableElements() returns the set of elements that may be used as the parametered elements for a template parameter of this templateable element.

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

TemplateableElementOperations

protected TemplateableElementOperations()

Generated

Method Detail

parameterableElements

public static org.eclipse.emf.common.util.EList<ParameterableElement> parameterableElements(TemplateableElement templateableElement)

The query parameterableElements() returns the set of elements that may be used as the parametered elements for a template parameter of this templateable element. By default, this set includes all the owned elements. Subclasses may override this operation if they choose to restrict the set of parameterable elements. result = allOwnedElements->select(oclIsKindOf(ParameterableElement))

Parameters:

templateableElement - The receiving 'Templateable Element' model object.

Generated

isTemplate

public static boolean isTemplate(TemplateableElement templateableElement)

The query isTemplate() returns whether this templateable element is actually a template. result = ownedTemplateSignature->notEmpty()

Parameters:

templateableElement - The receiving 'Templateable Element' model object.

Generated