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

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

public class ConstraintBodies
extends java.lang.Object

ConstraintBodies provides the Java implementation bodies of OCL-defined Constraint operations and properties.

Nested Class Summary

static class

ConstraintBodies._invariant_UniqueName Implementation of the Constraint 'UniqueName' invariant.

Constructor Summary

ConstraintBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintBodies

public ConstraintBodies()