org.qedeq.kernel.bo.service.unicode
Class Latex2UnicodeParser

java.lang.Object
  org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParser

public final class Latex2UnicodeParser
extends java.lang.Object

Transform LaTeX into Unicode format.

Author:

Michael Meyling

Method Summary

boolean	eof() Are there still any characters to read?
SourcePosition	getAbsoluteSourcePosition(int absolutePosition) Convert character position into row and column information.
protected int	getChar() Reads a single character and does not change the reading position.
protected int	read() Reads a single character and increments the reading position by one.
protected java.lang.String	readln() Read until end of line.
protected java.lang.String	readToken() Read next token from input stream.
static java.lang.String	transform(ReferenceFinder finder, java.lang.String input, int columns) Parse LaTeX text into QEDEQ module string.

Methods inherited from class java.lang.Object

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

Method Detail

transform

public static final java.lang.String transform(ReferenceFinder finder,
                                               java.lang.String input,
                                               int columns)

Parse LaTeX text into QEDEQ module string.

Parameters:

finder - Finder for references.

input - Parse this input.

columns - Maximum column number. Break (if possible) before.

Returns:

QEDEQ module string.

readToken

protected final java.lang.String readToken()

Read next token from input stream.

Returns:

Read token.

getChar

protected final int getChar()

Reads a single character and does not change the reading position.

Returns:

character read, if there are no more chars -1 is returned

read

protected final int read()

Reads a single character and increments the reading position by one.

Returns:

character read, if there are no more chars -1 is returned

readln

protected final java.lang.String readln()

Read until end of line.

Returns:

Characters read.

eof

public final boolean eof()

Are there still any characters to read?

Returns:

Anything left for reading further?

getAbsoluteSourcePosition

public SourcePosition getAbsoluteSourcePosition(int absolutePosition)

Convert character position into row and column information.

Parameters:

absolutePosition - Find this character position.

Returns:

Row and column information.