Uses of Class
org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies._invariant_BodyTypeConformsToResultType

Packages that use IterateExpBodies._invariant_BodyTypeConformsToResultType

org.eclipse.ocl.examples.pivot.bodies

Uses of IterateExpBodies._invariant_BodyTypeConformsToResultType in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as IterateExpBodies._invariant_BodyTypeConformsToResultType

static IterateExpBodies._invariant_BodyTypeConformsToResultType

IterateExpBodies._invariant_BodyTypeConformsToResultType.INSTANCE