net.sourceforge.czt.print.zeves

Class AstToPrintTreeVisitor

java.lang.Object

net.sourceforge.czt.print.z.AstToPrintTreeVisitor

net.sourceforge.czt.print.zeves.AstToPrintTreeVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.util.Visitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.AndPredVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.ApplExprVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.AxParaVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.MemPredVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.RefExprVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.ZSectVisitor<net.sourceforge.czt.base.ast.Term>

public class AstToPrintTreeVisitor
extends AstToPrintTreeVisitor

Author:

Leo Freitas

Nested Class Summary

Nested classes/interfaces inherited from class net.sourceforge.czt.print.z.AstToPrintTreeVisitor

AstToPrintTreeVisitor.CannotPrintAstException

Field Summary

Fields inherited from class net.sourceforge.czt.print.z.AstToPrintTreeVisitor

warningManager_, withinAxPara_

Constructor Summary

Constructors

Constructor and Description
AstToPrintTreeVisitor(net.sourceforge.czt.session.SectionInfo sectInfo)
AstToPrintTreeVisitor(net.sourceforge.czt.session.SectionInfo sectInfo, WarningManager wm) Creates a new ast to print tree visitor.

Method Summary

Modifier and Type	Method and Description
protected void	preprocessTerm(net.sourceforge.czt.base.ast.Term term, List<Object> list)

Methods inherited from class net.sourceforge.czt.print.z.AstToPrintTreeVisitor

getPrec, getSectionInfo, getWarningManager, getZFactory, getZPrintFactory, handleOldZ, isInfix, preprocessSchema, run, run, run, setOldZ, visit, visitAndPred, visitApplExpr, visitAxPara, visitMemPred, visitRefExpr, visitTerm, visitZSect

Methods inherited from class java.lang.Object

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

Constructor Detail

AstToPrintTreeVisitor

public AstToPrintTreeVisitor(net.sourceforge.czt.session.SectionInfo sectInfo)

AstToPrintTreeVisitor

public AstToPrintTreeVisitor(net.sourceforge.czt.session.SectionInfo sectInfo,
                             WarningManager wm)

Creates a new ast to print tree visitor. The section information should be able to provide information of type net.sourceforge.czt.parser.util.OpTable.class.

Parameters:

sectInfo -

wm -

Method Detail

preprocessTerm

protected void preprocessTerm(net.sourceforge.czt.base.ast.Term term,
                              List<Object> list)
                       throws PrintException

Overrides:

preprocessTerm in class AstToPrintTreeVisitor

Parameters:

term -

list -

Throws:

PrintException