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

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

public class PropertyBodies
extends java.lang.Object

PropertyBodies provides the Java implementation bodies of OCL-defined Property operations and properties.

Nested Class Summary

static class	PropertyBodies._invariant_CompatibleInitialiser Implementation of the Property 'CompatibleInitialiser' invariant.
static class	PropertyBodies._isAttribute_body_ Implementation of the Property::isAttribute '' .

Constructor Summary

PropertyBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyBodies

public PropertyBodies()