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

Packages that use IterateExpBodies._invariant_TypeIsResultType

org.eclipse.ocl.examples.pivot.bodies

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

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

static IterateExpBodies._invariant_TypeIsResultType

IterateExpBodies._invariant_TypeIsResultType.INSTANCE