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

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

public class IterateExpBodies
extends java.lang.Object

IterateExpBodies provides the Java implementation bodies of OCL-defined IterateExp operations and properties.

Nested Class Summary

static class	IterateExpBodies._invariant_BodyTypeConformsToResultType Implementation of the IterateExp 'BodyTypeConformsToResultType' invariant.
static class	IterateExpBodies._invariant_OneInitializer Implementation of the IterateExp 'OneInitializer' invariant.
static class	IterateExpBodies._invariant_TypeIsResultType Implementation of the IterateExp 'TypeIsResultType' invariant.

Constructor Summary

IterateExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

IterateExpBodies

public IterateExpBodies()