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

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

public class IntegerLiteralExpBodies
extends java.lang.Object

IntegerLiteralExpBodies provides the Java implementation bodies of OCL-defined IntegerLiteralExp operations and properties.

Nested Class Summary

static class

IntegerLiteralExpBodies._invariant_TypeIsInteger Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant.

Constructor Summary

IntegerLiteralExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerLiteralExpBodies

public IntegerLiteralExpBodies()