Uses of Class
net.sourceforge.czt.parser.util.OpTable

Packages that use OpTable

net.sourceforge.czt.parser.util	Contains utility classes needed by the different kinds of parsers.
net.sourceforge.czt.parser.z	Provides classes for parsing Z specifications written in unicode or using LaTeX mark-up as defined in the ISO Standard for Z.
net.sourceforge.czt.print.z	Provides classes for printing standard Z specifications in Unicode or in the LaTeX mark-up language.

Uses of OpTable in net.sourceforge.czt.parser.util

Fields in net.sourceforge.czt.parser.util declared as OpTable

protected OpTable

PrecedenceHandlingVisitor.table_ The operator table used to determine the precedence of operators.

Methods in net.sourceforge.czt.parser.util that return OpTable

protected OpTable

OpTableVisitor.getOpTable()

Constructors in net.sourceforge.czt.parser.util with parameters of type OpTable

PrecedenceHandlingVisitor(OpTable opTable)
Constructs an instance of this handler with a specified operator table.

Uses of OpTable in net.sourceforge.czt.parser.z

Methods in net.sourceforge.czt.parser.z that return OpTable

OpTable

OperatorScanner.getOperatorTable()

Methods in net.sourceforge.czt.parser.z with parameters of type OpTable

void	OperatorScanner.setOperatorTable(OpTable table)

Uses of OpTable in net.sourceforge.czt.print.z

Methods in net.sourceforge.czt.print.z with parameters of type OpTable

net.sourceforge.czt.base.ast.Term

AstToPrintTreeVisitor.run(net.sourceforge.czt.base.ast.Term term, OpTable opTable) Visits a term and transforms it into a printable tree.

Constructors in net.sourceforge.czt.print.z with parameters of type OpTable

PrecedenceVisitor(OpTable opTable)