net.sourceforge.czt.parser.circus
Class SpecialLatexParser

java.lang.Object
  net.sourceforge.czt.parser.circus.SpecialLatexParser

public class SpecialLatexParser
extends java.lang.Object

A parser for LaTeX mark-up. This is a convenience class that composes the LatexScanner and the Parser.

See Also:

net.sourceforge.czt.parser.z

Nested Class Summary

static class

SpecialLatexParser.SimpleFormatterForCircus

Constructor Summary

SpecialLatexParser(net.sourceforge.czt.session.Source s, net.sourceforge.czt.session.SectionInfo sectInfo, java.util.Properties properties)

Method Summary

static void	main(java.lang.String[] args) Converts latex to zml.
net.sourceforge.czt.base.ast.Term	parse()
static net.sourceforge.czt.base.ast.Term	parseLatexFile(java.lang.String filename, net.sourceforge.czt.session.SectionInfo sectInfo) Deprecated. Replaced by #parse(Source, SectionInfo)
static void	printLatex(net.sourceforge.czt.base.ast.Term term, java.lang.String filename, net.sourceforge.czt.session.SectionInfo sectInfo)
static void	printUnicode(net.sourceforge.czt.base.ast.Term term, java.lang.String filename, net.sourceforge.czt.session.SectionInfo sectInfo)
static void	printZML(net.sourceforge.czt.base.ast.Term term, java.lang.String filename)

Methods inherited from class java.lang.Object

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

Constructor Detail

SpecialLatexParser

public SpecialLatexParser(net.sourceforge.czt.session.Source s,
                          net.sourceforge.czt.session.SectionInfo sectInfo,
                          java.util.Properties properties)
                   throws java.io.IOException

Throws:

java.io.IOException

Method Detail

parse

public net.sourceforge.czt.base.ast.Term parse()
                                        throws net.sourceforge.czt.parser.util.ParseException

Throws:

net.sourceforge.czt.parser.util.ParseException

parseLatexFile

public static net.sourceforge.czt.base.ast.Term parseLatexFile(java.lang.String filename,
                                                               net.sourceforge.czt.session.SectionInfo sectInfo)
                                                        throws net.sourceforge.czt.parser.util.ParseException,
                                                               java.io.FileNotFoundException,
                                                               java.io.IOException

Deprecated. Replaced by #parse(Source, SectionInfo)

Parses a file using the latex parser.

Throws:

java.io.FileNotFoundException - if the given filename cannot be found.

net.sourceforge.czt.parser.util.ParseException - if the given file cannot be parsed.

java.io.IOException

printLatex

public static void printLatex(net.sourceforge.czt.base.ast.Term term,
                              java.lang.String filename,
                              net.sourceforge.czt.session.SectionInfo sectInfo)
                       throws java.io.IOException

Throws:

java.io.IOException

printUnicode

public static void printUnicode(net.sourceforge.czt.base.ast.Term term,
                                java.lang.String filename,
                                net.sourceforge.czt.session.SectionInfo sectInfo)
                         throws java.io.IOException

Throws:

java.io.IOException

printZML

public static void printZML(net.sourceforge.czt.base.ast.Term term,
                            java.lang.String filename)
                     throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)

Converts latex to zml.