pt.tumba.parser.dvi
Class DVI2HTML

java.lang.Object
  pt.tumba.parser.dvi.DVI2HTML

All Implemented Interfaces:

DocFilter

public class DVI2HTML
extends java.lang.Object
implements DocFilter

Description of the Class

Author:

bmartins

Field Summary

(package private) java.lang.String	psData
(package private) java.lang.String	pythonData
private java.util.Random	rnd
(package private) java.io.File	scriptfile
private int	sizeCount

Constructor Summary

DVI2HTML()

Method Summary

java.lang.String	convertDVIToHTML(byte[] b2) Description of the Method
java.lang.String	convertDVIToHTML(java.io.File input) Description of the Method
java.lang.String	convertDVIToHTML(java.io.InputStream input) Description of the Method
java.lang.String	convertDVIToHTML(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

scriptfile

java.io.File scriptfile

psData

java.lang.String psData

pythonData

java.lang.String pythonData

rnd

private java.util.Random rnd

sizeCount

private int sizeCount

Constructor Detail

DVI2HTML

public DVI2HTML()
         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

convertDVIToHTML

public java.lang.String convertDVIToHTML(byte[] b2)
                                  throws java.lang.Exception

Description of the Method

Parameters:

b2 - Description of the Parameter

Returns:

Description of the Return Value

Throws:

java.lang.Exception - Description of the Exception

convertDVIToHTML

public java.lang.String convertDVIToHTML(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

convertDVIToHTML

public java.lang.String convertDVIToHTML(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

convertDVIToHTML

public java.lang.String convertDVIToHTML(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