Package | Description |
---|---|
org.eclipse.ocl.pivot.internal.manager |
Modifier and Type | Method and Description |
---|---|
protected PrecedenceManager |
PivotMetamodelManager.createPrecedenceManager() |
protected PrecedenceManager |
PivotMetamodelManager.getPrecedenceManager() |