net.sourceforge.czt.parser.circus
Class LatexMarkupParser

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

All Implemented Interfaces:

net.sourceforge.czt.parser.util.Lexer

public class LatexMarkupParser
extends java.lang.Object
implements net.sourceforge.czt.parser.util.Lexer

A latex markup parser that looks like a scanner. Instances of this class are usually used after the Latex2Unicode converter. It preprocesses the output of the converter and updates the markup function appropriately. It is possible to use the same markup function in the converter if each markup command is used AFTER it is defined in a markup directive.

Nested Class Summary

static interface

LatexMarkupParser.LatexLexer

Constructor Summary

LatexMarkupParser(LatexMarkupParser.LatexLexer lexer, net.sourceforge.czt.session.SectionInfo sectInfo)
Creates a new latex markup parser that uses the scanner provided.

Method Summary

net.sourceforge.czt.session.Source	getSource()
net.sourceforge.czt.parser.util.LocToken	next()
static net.sourceforge.czt.z.ast.Directive	parseCharMarkupDirective(java.lang.String directive, net.sourceforge.czt.parser.util.LocInfo loc)

Methods inherited from class java.lang.Object

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

Constructor Detail

LatexMarkupParser

public LatexMarkupParser(LatexMarkupParser.LatexLexer lexer,
                         net.sourceforge.czt.session.SectionInfo sectInfo)

Creates a new latex markup parser that uses the scanner provided. The section information should be able to provide information of type net.sourceforge.czt.parser.util. LatexMarkupFunction.class.

Method Detail

getSource

public net.sourceforge.czt.session.Source getSource()

Specified by:

getSource in interface net.sourceforge.czt.parser.util.Lexer

next

public net.sourceforge.czt.parser.util.LocToken next()
                                              throws java.io.IOException

Specified by:

next in interface net.sourceforge.czt.parser.util.Lexer

Throws:

java.io.IOException

parseCharMarkupDirective

public static net.sourceforge.czt.z.ast.Directive parseCharMarkupDirective(java.lang.String directive,
                                                                           net.sourceforge.czt.parser.util.LocInfo loc)