net.sourceforge.czt.print.circus
Class AstToPrintTreeVisitor

java.lang.Object
  net.sourceforge.czt.print.z.AstToPrintTreeVisitor
      net.sourceforge.czt.print.circus.AstToPrintTreeVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.circus.visitor.ActionParaVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.circus.visitor.BasicProcessVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.circus.visitor.ProcessParaVisitor<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 net.sourceforge.czt.print.z.AstToPrintTreeVisitor
implements net.sourceforge.czt.circus.visitor.BasicProcessVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.circus.visitor.ActionParaVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.circus.visitor.ProcessParaVisitor<net.sourceforge.czt.base.ast.Term>

AstToPrintTreeVisitors should not use Keyword enum. Instead, they should add the corresponding DecordWord. Thast is becsause the Unicode2Latex parser does not yet know about keywords. The CircusPrintVisitor.visitPrintParagraph (in ZPrintVisitor) will associate CircusString as a DecorWord!

Nested Class Summary

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

net.sourceforge.czt.print.z.AstToPrintTreeVisitor.CannotPrintAstException

Field Summary

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

warningManager_

Constructor Summary

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

Method Summary

protected WarningManager	getWM()
net.sourceforge.czt.base.ast.Term	visitActionPara(net.sourceforge.czt.circus.ast.ActionPara term)
net.sourceforge.czt.base.ast.Term	visitBasicProcess(net.sourceforge.czt.circus.ast.BasicProcess term)
net.sourceforge.czt.base.ast.Term	visitProcessPara(net.sourceforge.czt.circus.ast.ProcessPara term)

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

getPrec, getZFactory, getZPrintFactory, handleOldZ, isInfix, 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,
                             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.

Method Detail

getWM

protected WarningManager getWM()

visitProcessPara

public net.sourceforge.czt.base.ast.Term visitProcessPara(net.sourceforge.czt.circus.ast.ProcessPara term)

Specified by:

visitProcessPara in interface net.sourceforge.czt.circus.visitor.ProcessParaVisitor<net.sourceforge.czt.base.ast.Term>

visitActionPara

public net.sourceforge.czt.base.ast.Term visitActionPara(net.sourceforge.czt.circus.ast.ActionPara term)

Specified by:

visitActionPara in interface net.sourceforge.czt.circus.visitor.ActionParaVisitor<net.sourceforge.czt.base.ast.Term>

visitBasicProcess

public net.sourceforge.czt.base.ast.Term visitBasicProcess(net.sourceforge.czt.circus.ast.BasicProcess term)

Specified by:

visitBasicProcess in interface net.sourceforge.czt.circus.visitor.BasicProcessVisitor<net.sourceforge.czt.base.ast.Term>