Uses of Class
org.eclipse.ocl.examples.pivot.manager.PivotIdResolver

Packages that use PivotIdResolver

Package	Description
org.eclipse.ocl.examples.pivot.manager

Uses of PivotIdResolver in org.eclipse.ocl.examples.pivot.manager

Fields in org.eclipse.ocl.examples.pivot.manager declared as PivotIdResolver

Modifier and Type	Field and Description
protected PivotIdResolver	MetaModelManager.idResolver The resolver for Ids and EObjects

Methods in org.eclipse.ocl.examples.pivot.manager that return PivotIdResolver

Modifier and Type	Method and Description
protected PivotIdResolver	MetaModelManager.createIdResolver()
PivotIdResolver	MetaModelManager.getIdResolver()