pt.tumba.parser.tex
Class TEX2HTML

java.lang.Object
  pt.tumba.parser.tex.TEX2HTML

All Implemented Interfaces:

DocFilter

public class TEX2HTML
extends java.lang.Object
implements DocFilter

Description of the Class

Author:

bmartins

Field Summary

(package private) java.io.File	filescript
(package private) java.lang.String	perlData
private java.util.Random	rnd
private int	sizeCount

Constructor Summary

TEX2HTML()

Method Summary

java.lang.String	convertTEXToHTML(java.io.File input) Description of the Method
java.lang.String	convertTEXToHTML(java.io.InputStream input) Description of the Method
java.lang.String	convertTEXToHTML(java.io.Reader input) Description of the Method
java.lang.String	convertTEXToHTML(java.lang.String s4) Description of the Method
java.lang.String	convertTEXToHTML(java.net.URL input) Description of the Method
protected void	finalize() Description of the Method
int	originalSize() Description of the Method

Methods inherited from class java.lang.Object

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

Field Detail

filescript

java.io.File filescript

perlData

java.lang.String perlData

rnd

private java.util.Random rnd

sizeCount

private int sizeCount

Constructor Detail

TEX2HTML

public TEX2HTML()
         throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

finalize

protected void finalize()
                 throws java.lang.Throwable

Description of the Method

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable - Description of the Exception

originalSize

public int originalSize()

Description of the Method

Specified by:

originalSize in interface DocFilter

Returns:

Description of the Return Value

convertTEXToHTML

public java.lang.String convertTEXToHTML(java.lang.String s4)
                                  throws java.lang.Exception

Description of the Method

Parameters:

s2 - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception

convertTEXToHTML

public java.lang.String convertTEXToHTML(java.io.Reader input)
                                  throws java.lang.Exception

Description of the Method

Parameters:

input - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception

convertTEXToHTML

public java.lang.String convertTEXToHTML(java.io.InputStream input)
                                  throws java.lang.Exception

Description of the Method

Parameters:

input - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception

convertTEXToHTML

public java.lang.String convertTEXToHTML(java.io.File input)
                                  throws java.lang.Exception

Description of the Method

Parameters:

input - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception

convertTEXToHTML

public java.lang.String convertTEXToHTML(java.net.URL input)
                                  throws java.lang.Exception

Description of the Method

Parameters:

input - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception