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

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

public class TypeOperations
extends MonikeredElementOperations

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

The following operations are supported:

• Is Template

Generated

Constructor Summary

protected

TypeOperations()

Method Summary

static boolean

isTemplate(Type type) The query isTemplate() returns whether this templateable element is actually a template.

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

TypeOperations

protected TypeOperations()

Generated

Method Detail

isTemplate

public static boolean isTemplate(Type type)

The query isTemplate() returns whether this templateable element is actually a template. result = oclAsType(TemplatableElement).isTemplate() or general->exists(g | g.isTemplate())

Parameters:

type - The receiving 'Type' model object.

Generated