Uses of Class
org.eclipse.ocl.examples.pivot.bodies.TypeTemplateParameterBodies._invariant_has_constraining_type

Packages that use TypeTemplateParameterBodies._invariant_has_constraining_type

org.eclipse.ocl.examples.pivot.bodies

Uses of TypeTemplateParameterBodies._invariant_has_constraining_type in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as TypeTemplateParameterBodies._invariant_has_constraining_type

static TypeTemplateParameterBodies._invariant_has_constraining_type

TypeTemplateParameterBodies._invariant_has_constraining_type.INSTANCE