jfig.utils
Class TeXtoPNGConverter

java.lang.Object
  jfig.utils.TeXtoPNGConverter

public class TeXtoPNGConverter

extends java.lang.Object

Field Summary

(package private) JFigViewerBean	bean
(package private) FigCanvas	canvas
(package private) javax.swing.JFrame	dummy
(package private) java.lang.String	outFileName
(package private) LP2	parser
(package private) java.lang.String	texFileName

Constructor Summary

TeXtoPNGConverter()

Method Summary

void	createBean()
static void	main(java.lang.String[] argv)
static void	msg(java.lang.String s)
void	parse(java.lang.String line)
void	parse(java.lang.String line, int fontIndex, int ptSize, int colorIndex, boolean showBoxes)
void	parseTeXandWritePNG(java.lang.String tex, int fontIndex, int ptSize, int colorIndex, boolean showBoxes, java.lang.String outfilename)
void	parseTeXandWritePNG(java.lang.String tex, java.lang.String outfilename)
java.lang.String	readTeX()
static void	usage()
void	writePNG()

Methods inherited from class java.lang.Object

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

Field Detail

texFileName

java.lang.String texFileName

outFileName

java.lang.String outFileName

dummy

javax.swing.JFrame dummy

bean

JFigViewerBean bean

canvas

FigCanvas canvas

parser

LP2 parser

Constructor Detail

TeXtoPNGConverter

public TeXtoPNGConverter()

Method Detail

createBean

public void createBean()

readTeX

public java.lang.String readTeX()

parse

public void parse(java.lang.String line)

parse

public void parse(java.lang.String line,
                  int fontIndex,
                  int ptSize,
                  int colorIndex,
                  boolean showBoxes)

writePNG

public void writePNG()

parseTeXandWritePNG

public void parseTeXandWritePNG(java.lang.String tex,
                                java.lang.String outfilename)

parseTeXandWritePNG

public void parseTeXandWritePNG(java.lang.String tex,
                                int fontIndex,
                                int ptSize,
                                int colorIndex,
                                boolean showBoxes,
                                java.lang.String outfilename)

msg

public static void msg(java.lang.String s)

usage

public static void usage()

main

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