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

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

public class ValueSpecificationBodies
extends java.lang.Object

ValueSpecificationBodies provides the Java implementation bodies of OCL-defined ValueSpecification operations and properties.

Nested Class Summary

static class	ValueSpecificationBodies._booleanValue_body_ Implementation of the ValueSpecification::booleanValue '' .
static class	ValueSpecificationBodies._integerValue_body_ Implementation of the ValueSpecification::integerValue '' .
static class	ValueSpecificationBodies._isComputable_body_ Implementation of the ValueSpecification::isComputable '' .
static class	ValueSpecificationBodies._isNull_body_ Implementation of the ValueSpecification::isNull '' .
static class	ValueSpecificationBodies._stringValue_body_ Implementation of the ValueSpecification::stringValue '' .
static class	ValueSpecificationBodies._unlimitedValue_body_ Implementation of the ValueSpecification::unlimitedValue '' .

Constructor Summary

ValueSpecificationBodies()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueSpecificationBodies

public ValueSpecificationBodies()