Uses of Class
org.eclipse.ocl.examples.pivot.bodies.CollectionItemBodies._invariant_TypeIsItemType

Packages that use CollectionItemBodies._invariant_TypeIsItemType

org.eclipse.ocl.examples.pivot.bodies

Uses of CollectionItemBodies._invariant_TypeIsItemType in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as CollectionItemBodies._invariant_TypeIsItemType

static CollectionItemBodies._invariant_TypeIsItemType

CollectionItemBodies._invariant_TypeIsItemType.INSTANCE