org.eclipse.ocl.examples.pivot.manager
Class PrecedenceManager
java.lang.Object
org.eclipse.ocl.examples.pivot.manager.PrecedenceManager
public class PrecedenceManager
- extends java.lang.Object
PrecedenceManager encapsulates the knowledge about known precedences.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrecedenceManager
public PrecedenceManager()
compilePrecedences
public java.util.List<java.lang.String> compilePrecedences(java.lang.Iterable<? extends Package> rootPackages)
- Interleave the ownedPrecedences of the rootPackages to establish a merged
ordering and assign the index in that ordering to each
rootPackages.ownedPrecedences. Any inconsistent ordering and
associativity is diagnosed.
compilePrecedenceOperation
protected void compilePrecedenceOperation(java.util.List<java.lang.String> errors,
Operation operation)
compilePrecedencePackage
protected void compilePrecedencePackage(java.util.List<java.lang.String> errors,
Package pivotPackage)
compilePrecedenceType
protected void compilePrecedenceType(java.util.List<java.lang.String> errors,
Type pivotType)
dispose
public void dispose()
getInfixPrecedence
public Precedence getInfixPrecedence(java.lang.String operatorName)
getPrefixPrecedence
public Precedence getPrefixPrecedence(java.lang.String operatorName)