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
@NonNull
public java.util.List<java.lang.String> compilePrecedences(@NonNull
java.lang.Iterable<? extends Library> libraries)
- 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(@NonNull
java.util.List<java.lang.String> errors,
@NonNull
Operation operation)
compilePrecedencePackage
protected void compilePrecedencePackage(@NonNull
java.util.List<java.lang.String> errors,
@NonNull
Library library)
compilePrecedenceType
protected void compilePrecedenceType(@NonNull
java.util.List<java.lang.String> errors,
@NonNull
Type pivotType)
dispose
public void dispose()
getInfixPrecedence
@Nullable
public Precedence getInfixPrecedence(@NonNull
java.lang.String operatorName)
getPrefixPrecedence
@Nullable
public Precedence getPrefixPrecedence(@NonNull
java.lang.String operatorName)