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

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

public class OperationBodies
extends java.lang.Object

OperationBodies provides the Java implementation bodies of OCL-defined Operation operations and properties.

Nested Class Summary

static class

OperationBodies._invariant_CompatibleReturn Implementation of the Operation 'CompatibleReturn' invariant.

Constructor Summary

OperationBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationBodies

public OperationBodies()