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

java.lang.Object
  org.eclipse.ocl.examples.pivot.bodies.TemplateSignatureBodies

public class TemplateSignatureBodies
extends java.lang.Object

TemplateSignatureBodies provides the Java implementation bodies of OCL-defined TemplateSignature operations and properties.

Nested Class Summary

static class

TemplateSignatureBodies._invariant_own_elements Implementation of the TemplateSignature 'own_elements' invariant.

Constructor Summary

TemplateSignatureBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateSignatureBodies

public TemplateSignatureBodies()