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

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

public class TemplateParameterSubstitutionBodies
extends java.lang.Object

TemplateParameterSubstitutionBodies provides the Java implementation bodies of OCL-defined TemplateParameterSubstitution operations and properties.

Nested Class Summary

static class

TemplateParameterSubstitutionBodies._invariant_must_be_compatible Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.

Constructor Summary

TemplateParameterSubstitutionBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterSubstitutionBodies

public TemplateParameterSubstitutionBodies()