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

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

public class MessageExpBodies
extends java.lang.Object

MessageExpBodies provides the Java implementation bodies of OCL-defined MessageExp operations and properties.

Nested Class Summary

static class	MessageExpBodies._invariant_OneCallOrOneSend Implementation of the MessageExp 'OneCallOrOneSend' invariant.
static class	MessageExpBodies._invariant_TargetIsNotACollection Implementation of the MessageExp 'TargetIsNotACollection' invariant.

Constructor Summary

MessageExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

MessageExpBodies

public MessageExpBodies()