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.

Constructor Summary

PrecedenceManager()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrecedenceManager

public PrecedenceManager()

Method Detail

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)