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

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

public class MultiplicityElementBodies
extends java.lang.Object

MultiplicityElementBodies provides the Java implementation bodies of OCL-defined MultiplicityElement operations and properties.

Nested Class Summary

static class	MultiplicityElementBodies._includesCardinality_body_ Implementation of the MultiplicityElement::includesCardinality '' .
static class	MultiplicityElementBodies._includesMultiplicity_body_ Implementation of the MultiplicityElement::includesMultiplicity '' .
static class	MultiplicityElementBodies._invariant_lower_ge_0 Implementation of the MultiplicityElement 'lower_ge_0' invariant.
static class	MultiplicityElementBodies._invariant_upper_ge_lower Implementation of the MultiplicityElement 'upper_ge_lower' invariant.
static class	MultiplicityElementBodies._isMultivalued_body_ Implementation of the MultiplicityElement::isMultivalued '' .
static class	MultiplicityElementBodies._lowerBound_body_ Implementation of the MultiplicityElement::lowerBound '' .
static class	MultiplicityElementBodies._upperBound_body_ Implementation of the MultiplicityElement::upperBound '' .

Constructor Summary

MultiplicityElementBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

MultiplicityElementBodies

public MultiplicityElementBodies()