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

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

public class OperationCallExpBodies
extends java.lang.Object

OperationCallExpBodies provides the Java implementation bodies of OCL-defined OperationCallExp operations and properties.

Nested Class Summary

static class

OperationCallExpBodies._invariant_ArgumentCount Implementation of the OperationCallExp 'ArgumentCount' invariant.

Constructor Summary

OperationCallExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationCallExpBodies

public OperationCallExpBodies()