Uses of Class
org.eclipse.ocl.examples.pivot.bodies.PropertyBodies._invariant_CompatibleInitialiser

Packages that use PropertyBodies._invariant_CompatibleInitialiser

org.eclipse.ocl.examples.pivot.bodies

Uses of PropertyBodies._invariant_CompatibleInitialiser in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as PropertyBodies._invariant_CompatibleInitialiser

static PropertyBodies._invariant_CompatibleInitialiser

PropertyBodies._invariant_CompatibleInitialiser.INSTANCE