net.sourceforge.czt.print.z

Class PrintUtils

java.lang.Object

net.sourceforge.czt.print.z.PrintUtils

public final class PrintUtils
extends Object

Utilities for printing Z specifications given as an AST.

Author:

Petra Malik

Method Summary

Modifier and Type	Method and Description
static void	print(net.sourceforge.czt.base.ast.Term term, Writer out, SectionManager sectInfo, 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, SectionManager sectInfo, String sectName, Markup markup)
static CztPrintString	printCztStringOf(String name, SectionManager sectInfo, Markup markup) Prints the given name in the given markup using CztPrintString.

Methods inherited from class java.lang.Object

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

Method Detail

print

public static void print(net.sourceforge.czt.base.ast.Term term,
                         Writer out,
                         SectionManager sectInfo,
                         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,
                         SectionManager sectInfo,
                         String sectName,
                         Markup markup)
                  throws PrintException

Throws:

PrintException

printCztStringOf

public static CztPrintString printCztStringOf(String name,
                                              SectionManager sectInfo,
                                              Markup markup)
                                       throws CommandException

Prints the given name in the given markup using CztPrintString. It is interpreted by the TermCommand protocol: tries it as ZSect first, then as Spec if fails. Notice that the LaTeX printer might take LaTeX wrapping (e.g., preamble/postscript) according to the section manager properties.

Parameters:

name - resource name

sectInfo - sect manager

markup - which markup

Returns:

the result as LaTeX, Unicode, or XML CztPrintString.

Throws:

CommandException - if ZSect cannot be processed by the section manager, or if it cannot be printed.