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

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

public class IfExpBodies
extends java.lang.Object

IfExpBodies provides the Java implementation bodies of OCL-defined IfExp operations and properties.

Nested Class Summary

static class

IfExpBodies._invariant_ConditionTypeIsBoolean Implementation of the IfExp 'ConditionTypeIsBoolean' invariant.

Constructor Summary

IfExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

IfExpBodies

public IfExpBodies()