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

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

public class TemplateParameterBodies
extends java.lang.Object

TemplateParameterBodies provides the Java implementation bodies of OCL-defined TemplateParameter operations and properties.

Nested Class Summary

static class

TemplateParameterBodies._invariant_must_be_compatible Implementation of the TemplateParameter 'must_be_compatible' invariant.

Constructor Summary

TemplateParameterBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterBodies

public TemplateParameterBodies()