org.eclipse.ocl.examples.pivot.bodies
Class TemplateableElementBodies

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.bodies.TemplateableElementBodies

public class TemplateableElementBodies
extends java.lang.Object

TemplateableElementBodies provides the Java implementation bodies of OCL-defined TemplateableElement operations and properties.


Nested Class Summary
static class TemplateableElementBodies._isTemplate_body_
          Implementation of the TemplateableElement::isTemplate '' .
static class TemplateableElementBodies._parameterableElements_body_
          Implementation of the TemplateableElement::parameterableElements '' .
 
Constructor Summary
TemplateableElementBodies()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TemplateableElementBodies

public TemplateableElementBodies()