Uses of Class
org.eclipse.ocl.examples.pivot.bodies.EnumLiteralExpBodies._invariant_TypeIsEnumerationType

Packages that use EnumLiteralExpBodies._invariant_TypeIsEnumerationType

org.eclipse.ocl.examples.pivot.bodies

Uses of EnumLiteralExpBodies._invariant_TypeIsEnumerationType in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as EnumLiteralExpBodies._invariant_TypeIsEnumerationType

static EnumLiteralExpBodies._invariant_TypeIsEnumerationType

EnumLiteralExpBodies._invariant_TypeIsEnumerationType.INSTANCE