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

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

public class ParameterableElementBodies
extends java.lang.Object

ParameterableElementBodies provides the Java implementation bodies of OCL-defined ParameterableElement operations and properties.

Nested Class Summary

static class

ParameterableElementBodies._isCompatibleWith_body_ Implementation of the ParameterableElement::isCompatibleWith '' .

Constructor Summary

ParameterableElementBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ParameterableElementBodies

public ParameterableElementBodies()