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

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

public class CollectionItemBodies
extends java.lang.Object

CollectionItemBodies provides the Java implementation bodies of OCL-defined CollectionItem operations and properties.

Nested Class Summary

static class

CollectionItemBodies._invariant_TypeIsItemType Implementation of the CollectionItem 'TypeIsItemType' invariant.

Constructor Summary

CollectionItemBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

CollectionItemBodies

public CollectionItemBodies()