net.sourceforge.czt.print.z
Class PrintUtils

java.lang.Object
  net.sourceforge.czt.print.z.PrintUtils

public final class PrintUtils
extends java.lang.Object

Utilities for printing Z specifications given as an AST.

Author:

Petra Malik

Field Summary

static WarningManager

warningManager_

Method Summary

static void	print(net.sourceforge.czt.base.ast.Term term, java.io.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, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo, java.lang.String sectName, net.sourceforge.czt.session.Markup markup)
static void	printLatex(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo) Prints a given term (usually a Spec or Sect) as latex markup to the given writer.
static void	printLatex(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo, java.lang.String sectionName) Prints a given term (usually an Expr or Pred) as latex markup to the given writer.
static void	printOldLatex(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo)
static void	printOldLatex(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo, java.lang.String sectionName)
static void	printUnicode(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo) Prints a given term (usually a Spec or Sect) as unicode to the given writer.
static void	printUnicode(net.sourceforge.czt.base.ast.Term term, java.io.Writer out, net.sourceforge.czt.session.SectionManager sectInfo, java.lang.String sectionName) Prints a given term (usually an Expr or Pred) as unicode to the given writer.

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,
                         java.io.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. 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,SectionManager,String,Markup) for writing trees that do not contain context information.

print

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

printLatex

public static void printLatex(net.sourceforge.czt.base.ast.Term term,
                              java.io.Writer out,
                              net.sourceforge.czt.session.SectionManager sectInfo)

Prints a given term (usually a Spec or Sect) as latex 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 printLatex(Term,Writer,SectionManager,String) for writing trees that do not contain context information.

printOldLatex

public static void printOldLatex(net.sourceforge.czt.base.ast.Term term,
                                 java.io.Writer out,
                                 net.sourceforge.czt.session.SectionManager sectInfo)

printLatex

public static void printLatex(net.sourceforge.czt.base.ast.Term term,
                              java.io.Writer out,
                              net.sourceforge.czt.session.SectionManager sectInfo,
                              java.lang.String sectionName)

Prints a given term (usually an Expr or Pred) as latex markup to the given writer. The name of section (where this term belongs to) and the section information is used to obtain the operator table and latex markup table needed for printing. The section information 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 Expr and Pred that do not contain a section header so that context information cannot be obtained from the tree itself. See printLatex(Term,Writer,SectionManager) for writing trees that do contain context information.

printOldLatex

public static void printOldLatex(net.sourceforge.czt.base.ast.Term term,
                                 java.io.Writer out,
                                 net.sourceforge.czt.session.SectionManager sectInfo,
                                 java.lang.String sectionName)

printUnicode

public static void printUnicode(net.sourceforge.czt.base.ast.Term term,
                                java.io.Writer out,
                                net.sourceforge.czt.session.SectionManager sectInfo)

Prints a given term (usually a Spec or Sect) as unicode 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. 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 printUnicode(Term,Writer,SectionManager,String) for writing trees that do not contain context information.

printUnicode

public static void printUnicode(net.sourceforge.czt.base.ast.Term term,
                                java.io.Writer out,
                                net.sourceforge.czt.session.SectionManager sectInfo,
                                java.lang.String sectionName)

Prints a given term (usually an Expr or Pred) as unicode to the given writer. The name of section (where this term belongs to) and the section information is used to obtain the operator table and latex markup table needed for printing. The section information should therefore be able to provide information of type net.sourceforge.czt.parser.util.OpTable.class. This method may be used for terms like Expr and Pred that do not contain a section header so that context information cannot be obtained from the tree itself. See printUnicode(Term,Writer,SectionManager) for writing trees that do contain context information.