net.sourceforge.czt.print.zeves

Class PrintUtils

java.lang.Object

net.sourceforge.czt.print.zeves.PrintUtils

public final class PrintUtils
extends Object

Utilities for printing Circus specifications given as an AST.

Author:

Petra Malik

Field Summary

Fields

Modifier and Type	Field and Description
static WarningManager	warningManager_

Method Summary

Modifier and Type	Method and Description
static void	print(net.sourceforge.czt.base.ast.Term term, Writer out, net.sourceforge.czt.session.SectionManager sectInfo, net.sourceforge.czt.session.Markup markup) Prints a given term (usually a Spec or Sect) in the specified markup to the given writer.
static void	print(net.sourceforge.czt.base.ast.Term term, Writer out, net.sourceforge.czt.session.SectionManager sectInfo, String sectName, net.sourceforge.czt.session.Markup markup)

Methods inherited from class java.lang.Object

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

Field Detail

warningManager_

public static final WarningManager warningManager_

Method Detail

print

public static void print(net.sourceforge.czt.base.ast.Term term,
                         Writer out,
                         net.sourceforge.czt.session.SectionManager sectInfo,
                         net.sourceforge.czt.session.Markup markup)
                  throws PrintException

Prints a given term (usually a Spec or Sect) in the specified markup to the given writer. The section information is used to obtain the operator table and latex markup table needed for printing, and should therefore be able to provide information of type net.sourceforge.czt.parser.util.OpTable.class and net.sourceforge.czt.parser.util.LatexMarkupTable.class. This method may be used for terms like Spec and Sect that contain a section header so that context information can be obtained from the tree itself. See #print(Term,Writer,SectionInfo,String,Markup) for writing trees that do not contain context information.

Parameters:

term -

out -

sectInfo -

markup -

Throws:

PrintException

print

public static void print(net.sourceforge.czt.base.ast.Term term,
                         Writer out,
                         net.sourceforge.czt.session.SectionManager sectInfo,
                         String sectName,
                         net.sourceforge.czt.session.Markup markup)
                  throws PrintException

Throws:

PrintException