Uses of Class
org.eclipse.ocl.examples.pivot.bodies.IntegerLiteralExpBodies._invariant_TypeIsInteger

Packages that use IntegerLiteralExpBodies._invariant_TypeIsInteger

org.eclipse.ocl.examples.pivot.bodies

Uses of IntegerLiteralExpBodies._invariant_TypeIsInteger in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as IntegerLiteralExpBodies._invariant_TypeIsInteger

static IntegerLiteralExpBodies._invariant_TypeIsInteger

IntegerLiteralExpBodies._invariant_TypeIsInteger.INSTANCE