net.sourceforge.czt.print.z

Class PrecedenceParenAnnVisitor

java.lang.Object

net.sourceforge.czt.print.z.PrecedenceParenAnnVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<Object>, ApplicationVisitor<Object>, OperatorApplicationVisitor<Object>, net.sourceforge.czt.util.Visitor<Object>, ExprVisitor<Object>, PredVisitor<Object>, ProdExprVisitor<Object>

public class PrecedenceParenAnnVisitor
extends Object
implements net.sourceforge.czt.base.visitor.TermVisitor<Object>, PredVisitor<Object>, ExprVisitor<Object>, ProdExprVisitor<Object>, ApplicationVisitor<Object>, OperatorApplicationVisitor<Object>

This visitor visits an printable AST and adds necessary parentheses.

The input tree must be a tree created by the AstToPrintTreeVisitor. This visitor adds parenthesis annotations to terms where parenthesis are needed to preserve the syntactical structure of the operators when printed. That is, parenthesis annotations are added when a term does not already has one, and either the parent term has a higher priority, or the parent has the same priority but the parenthesis is enforced by associativity.

For instance, a conjunction where one of the arguments is an implication needs parenthesis around the implication, since conjunction has higher priority than implication. For the second example, recall that implication is right associative. An implication that has an implication as its first (left) argument needs parenthesis around, whereas an implication as second (right) argument does not need parenthesis.

Author:

Petra Malik

Constructor Summary

Constructors

Constructor and Description
PrecedenceParenAnnVisitor()

Method Summary

Modifier and Type	Method and Description
protected void	addParenAnn(net.sourceforge.czt.base.ast.Term term)
protected void	addParenAnnIfNecessary(Object object, Precedence parentPrec) Adds parenthesis annotations to the given object if it is an annotable term and the precedence of the parent is greater than the precedence of the given term.
protected void	addParenAnnIfNecessary(net.sourceforge.czt.base.ast.Term term, Precedence parentPrec) Adds parenthesis annotations to the given term if the precedence of the parent is greater than the precedence of the given term.
protected boolean	isInfix(OperatorName opName)
Precedence	precedence(net.sourceforge.czt.base.ast.Term term)
protected void	preservePrecedence(net.sourceforge.czt.base.ast.Term term)
void	run(net.sourceforge.czt.base.ast.Term term) Visits a term and its children and adds ParenAnn to terms where this is needed to enforce the given precedence and associativity.
Object	visitApplication(Application appl)
Object	visitExpr(Expr term)
Object	visitOperatorApplication(OperatorApplication appl)
Object	visitPred(Pred term)
Object	visitProdExpr(ProdExpr prodExpr)
Object	visitTerm(net.sourceforge.czt.base.ast.Term term)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrecedenceParenAnnVisitor

public PrecedenceParenAnnVisitor()

Method Detail

run

public void run(net.sourceforge.czt.base.ast.Term term)

Visits a term and its children and adds ParenAnn to terms where this is needed to enforce the given precedence and associativity.

Parameters:

term -

visitTerm

public Object visitTerm(net.sourceforge.czt.base.ast.Term term)

Specified by:

visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<Object>

visitPred

public Object visitPred(Pred term)

Specified by:

visitPred in interface PredVisitor<Object>

visitExpr

public Object visitExpr(Expr term)

Specified by:

visitExpr in interface ExprVisitor<Object>

preservePrecedence

protected void preservePrecedence(net.sourceforge.czt.base.ast.Term term)

visitApplication

public Object visitApplication(Application appl)

Specified by:

visitApplication in interface ApplicationVisitor<Object>

isInfix

protected boolean isInfix(OperatorName opName)

visitOperatorApplication

public Object visitOperatorApplication(OperatorApplication appl)

Specified by:

visitOperatorApplication in interface OperatorApplicationVisitor<Object>

visitProdExpr

public Object visitProdExpr(ProdExpr prodExpr)

Specified by:

visitProdExpr in interface ProdExprVisitor<Object>

addParenAnnIfNecessary

protected void addParenAnnIfNecessary(Object object,
                                      Precedence parentPrec)

Adds parenthesis annotations to the given object if it is an annotable term and the precedence of the parent is greater than the precedence of the given term.

Parameters:

object - the term to which annotations are added, if necesasry.

parentPrec - the precedence of the parent.

addParenAnnIfNecessary

protected void addParenAnnIfNecessary(net.sourceforge.czt.base.ast.Term term,
                                      Precedence parentPrec)

Adds parenthesis annotations to the given term if the precedence of the parent is greater than the precedence of the given term.

Parameters:

term - the term to which annotations are added, if necessary.

parentPrec - the precedence of the parent.

addParenAnn

protected void addParenAnn(net.sourceforge.czt.base.ast.Term term)

precedence

public Precedence precedence(net.sourceforge.czt.base.ast.Term term)