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

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

public class LoopExpBodies
extends java.lang.Object

LoopExpBodies provides the Java implementation bodies of OCL-defined LoopExp operations and properties.

Nested Class Summary

static class	LoopExpBodies._invariant_NoInitializers Implementation of the LoopExp 'NoInitializers' invariant.
static class	LoopExpBodies._invariant_SourceIsCollection Implementation of the LoopExp 'SourceIsCollection' invariant.

Constructor Summary

LoopExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopExpBodies

public LoopExpBodies()