Uses of Class
org.eclipse.ocl.examples.pivot.bodies.MessageExpBodies._invariant_OneCallOrOneSend

Packages that use MessageExpBodies._invariant_OneCallOrOneSend

org.eclipse.ocl.examples.pivot.bodies

Uses of MessageExpBodies._invariant_OneCallOrOneSend in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as MessageExpBodies._invariant_OneCallOrOneSend

static MessageExpBodies._invariant_OneCallOrOneSend

MessageExpBodies._invariant_OneCallOrOneSend.INSTANCE