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

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

public class IteratorExpBodies
extends java.lang.Object

IteratorExpBodies provides the Java implementation bodies of OCL-defined IteratorExp operations and properties.

Nested Class Summary

static class	IteratorExpBodies._invariant_AnyBodyTypeIsBoolean Implementation of the IteratorExp 'AnyBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_AnyHasOneIterator Implementation of the IteratorExp 'AnyHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_AnyTypeIsSourceElementType Implementation of the IteratorExp 'AnyTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType Implementation of the IteratorExp 'ClosureElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureHasOneIterator Implementation of the IteratorExp 'ClosureHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType Implementation of the IteratorExp 'ClosureSourceElementTypeIsBodyElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection Implementation of the IteratorExp 'ClosureTypeIsUniqueCollection' invariant.
static class	IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType Implementation of the IteratorExp 'CollectElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_CollectHasOneIterator Implementation of the IteratorExp 'CollectHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_CollectNestedHasOneIterator Implementation of the IteratorExp 'CollectNestedHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_CollectNestedTypeIsBag Implementation of the IteratorExp 'CollectNestedTypeIsBag' invariant.
static class	IteratorExpBodies._invariant_CollectNestedTypeIsBodyType Implementation of the IteratorExp 'CollectNestedTypeIsBodyType' invariant.
static class	IteratorExpBodies._invariant_CollectTypeIsUnordered Implementation of the IteratorExp 'CollectTypeIsUnordered' invariant.
static class	IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean Implementation of the IteratorExp 'ExistsBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ExistsTypeIsBoolean Implementation of the IteratorExp 'ExistsTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean Implementation of the IteratorExp 'ForAllBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ForAllTypeIsBoolean Implementation of the IteratorExp 'ForAllTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_IsUniqueHasOneIterator Implementation of the IteratorExp 'IsUniqueHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_IsUniqueTypeIsBoolean Implementation of the IteratorExp 'IsUniqueTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_IteratorTypeIsSourceElementType Implementation of the IteratorExp 'IteratorTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_OneBodyTypeIsBoolean Implementation of the IteratorExp 'OneBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_OneHasOneIterator Implementation of the IteratorExp 'OneHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_OneTypeIsBoolean Implementation of the IteratorExp 'OneTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectHasOneIterator Implementation of the IteratorExp 'RejectOrSelectHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean Implementation of the IteratorExp 'RejectOrSelectTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType Implementation of the IteratorExp 'RejectOrSelectTypeIsSourceType' invariant.
static class	IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType Implementation of the IteratorExp 'SortedByElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_SortedByHasOneIterator Implementation of the IteratorExp 'SortedByHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered Implementation of the IteratorExp 'SortedByIsOrderedIfSourceIsOrdered' invariant.

Constructor Summary

IteratorExpBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

IteratorExpBodies

public IteratorExpBodies()