Uses of Class
org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._integerValue_body_

Packages that use ValueSpecificationBodies._integerValue_body_

org.eclipse.ocl.examples.pivot.bodies

Uses of ValueSpecificationBodies._integerValue_body_ in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as ValueSpecificationBodies._integerValue_body_

static ValueSpecificationBodies._integerValue_body_

ValueSpecificationBodies._integerValue_body_.INSTANCE