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, Package pivotPackage)
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.
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

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)