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

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

public class ElementBodies
extends java.lang.Object

ElementBodies provides the Java implementation bodies of OCL-defined Element operations and properties.

Nested Class Summary

static class	ElementBodies._allOwnedElements_body_ Implementation of the Element::allOwnedElements '' .
static class	ElementBodies._invariant_not_own_self Implementation of the Element 'not_own_self' invariant.

Constructor Summary

ElementBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ElementBodies

public ElementBodies()