|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PrecedenceManager | |
---|---|
org.eclipse.ocl.examples.pivot.manager |
Uses of PrecedenceManager in org.eclipse.ocl.examples.pivot.manager |
---|
Methods in org.eclipse.ocl.examples.pivot.manager that return PrecedenceManager | |
---|---|
protected PrecedenceManager |
MetaModelManager.createPrecedenceManager()
|
protected PrecedenceManager |
MetaModelManager.getPrecedenceManager()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |