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

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

public class LetExpBodies
extends java.lang.Object

LetExpBodies provides the Java implementation bodies of OCL-defined LetExp operations and properties.

Nested Class Summary

static class

LetExpBodies._invariant_TypeIsInType Implementation of the LetExp 'TypeIsInType' invariant.

Constructor Summary

LetExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

LetExpBodies

public LetExpBodies()