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

Packages that use ValueSpecificationBodies._isNull_body_

org.eclipse.ocl.examples.pivot.bodies

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

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

static ValueSpecificationBodies._isNull_body_

ValueSpecificationBodies._isNull_body_.INSTANCE