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

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

public class EnumLiteralExpBodies
extends java.lang.Object

EnumLiteralExpBodies provides the Java implementation bodies of OCL-defined EnumLiteralExp operations and properties.

Nested Class Summary

static class

EnumLiteralExpBodies._invariant_TypeIsEnumerationType Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant.

Constructor Summary

EnumLiteralExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

EnumLiteralExpBodies

public EnumLiteralExpBodies()