net.sourceforge.czt.parser.z
Class LatexMarkupParser

java.lang.Object
  extended by net.sourceforge.czt.parser.z.LatexMarkupParser
All Implemented Interfaces:
Lexer

public class LatexMarkupParser
extends java.lang.Object
implements 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()
          The source that is lexed.
 LocToken next()
           
static net.sourceforge.czt.z.ast.Directive parseCharMarkupDirective(java.lang.String directive, 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()
Description copied from interface: Lexer
The source that is lexed.

Specified by:
getSource in interface Lexer

next

public LocToken next()
              throws java.io.IOException
Specified by:
next in interface Lexer
Throws:
java.io.IOException

parseCharMarkupDirective

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


Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.