jfig.utils
Class TeXtoPNGConverter

java.lang.Object
  extended byjfig.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)