Uses of Class
org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete

Packages that use CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete

org.eclipse.ocl.examples.pivot.bodies

Uses of CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete

static CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete

CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.INSTANCE