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

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

public class CollectionLiteralExpBodies
extends java.lang.Object

CollectionLiteralExpBodies provides the Java implementation bodies of OCL-defined CollectionLiteralExp operations and properties.

Nested Class Summary

static class	CollectionLiteralExpBodies._invariant_BagKindIsBag Implementation of the CollectionLiteralExp 'BagKindIsBag' invariant.
static class	CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete Implementation of the CollectionLiteralExp 'CollectionKindIsConcrete' invariant.
static class	CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet Implementation of the CollectionLiteralExp 'OrderedSetKindIsOrderedSet' invariant.
static class	CollectionLiteralExpBodies._invariant_SequenceKindIsSequence Implementation of the CollectionLiteralExp 'SequenceKindIsSequence' invariant.
static class	CollectionLiteralExpBodies._invariant_SetKindIsSet Implementation of the CollectionLiteralExp 'SetKindIsSet' invariant.

Constructor Summary

CollectionLiteralExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

CollectionLiteralExpBodies

public CollectionLiteralExpBodies()