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

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

public class TemplateBindingBodies
extends java.lang.Object

TemplateBindingBodies provides the Java implementation bodies of OCL-defined TemplateBinding operations and properties.

Nested Class Summary

static class	TemplateBindingBodies._invariant_one_parameter_substitution Implementation of the TemplateBinding 'one_parameter_substitution' invariant.
static class	TemplateBindingBodies._invariant_parameter_substitution_formal Implementation of the TemplateBinding 'parameter_substitution_formal' invariant.

Constructor Summary

TemplateBindingBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateBindingBodies

public TemplateBindingBodies()