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

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

public class TypeTemplateParameterBodies
extends java.lang.Object

TypeTemplateParameterBodies provides the Java implementation bodies of OCL-defined TypeTemplateParameter operations and properties.

Nested Class Summary

static class

TypeTemplateParameterBodies._invariant_has_constraining_type Implementation of the TypeTemplateParameter 'has_constraining_type' invariant.

Constructor Summary

TypeTemplateParameterBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeTemplateParameterBodies

public TypeTemplateParameterBodies()