Uses of Class
org.eclipse.ocl.examples.pivot.bodies.OperationBodies._invariant_CompatibleReturn

Packages that use OperationBodies._invariant_CompatibleReturn

org.eclipse.ocl.examples.pivot.bodies

Uses of OperationBodies._invariant_CompatibleReturn in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as OperationBodies._invariant_CompatibleReturn

static OperationBodies._invariant_CompatibleReturn

OperationBodies._invariant_CompatibleReturn.INSTANCE