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

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

public class TypeBodies
extends java.lang.Object

TypeBodies provides the Java implementation bodies of OCL-defined Type operations and properties.

Nested Class Summary

static class

TypeBodies._resolveSelfType_body_ Implementation of the Type::resolveSelfType '' .

Constructor Summary

TypeBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeBodies

public TypeBodies()