https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/ValueSpecificationBodies._integerValue_body_.html
ValueSpecificationBodies._integerValue_body_ (MDT-OCL Documentation)
bodymdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/ValueSpecificationBodies._isComputable_body_.html
ValueSpecificationBodies._isComputable_body_ (MDT-OCL Documentation)
bodymdtocldocumentation
https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/ValueSpecificationBodies._booleanValue_body_.html
ValueSpecificationBodies._booleanValue_body_ (MDT-OCL Documentation)
bodymdtocldocumentation