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