Uses of Class
org.eclipse.ocl.examples.pivot.bodies.IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType

Packages that use IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType

org.eclipse.ocl.examples.pivot.bodies

Uses of IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType

static IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType

IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.INSTANCE