de.java2html.converter
Class JavaSource2TeXConverter

java.lang.Object
  de.java2html.converter.AbstractJavaSourceConverter
      de.java2html.converter.JavaSource2TeXConverter

All Implemented Interfaces:

IJavaSourceConverter

public class JavaSource2TeXConverter
extends AbstractJavaSourceConverter

Algorithm and stuff for converting a TypedSource object to to a TeX string representation (experimental!). For questions, suggestions, bug-reports, enhancement-requests etc. I may be contacted at: markus@jave.de The Java2html home page is located at: http://www.java2html.de

Version:

2.0, 05/07/02 Copyright (C) Markus Gebhard 2000-2002 This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

Author:

Markus Gebhard

Constructor Summary

JavaSource2TeXConverter()

Method Summary

void	convert(TypedSource source, JavaSourceConversionOptions options, java.io.BufferedWriter writer) Converts the parsed source code to HTML by adding color information, adding line breaks and replacing characters as needed for HTML.
java.lang.String	getBlockSeparator(JavaSourceConversionOptions options) Returns the code that has to be placed between two blocks of converted code.
java.lang.String	getDocumentFooter(JavaSourceConversionOptions options) Returns a footer for the result document.
java.lang.String	getDocumentHeader(JavaSourceConversionOptions options, java.lang.String title) Returns a header for the result document.
static void	main(java.lang.String[] args)
void	writeLineNumber(java.io.BufferedWriter writer, int lineNumber, int lineCount)

Methods inherited from class de.java2html.converter.AbstractJavaSourceConverter

convert, getDefaultFileExtension, getMetaData, writeBlockSeparator, writeDocumentFooter, writeDocumentHeader

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaSource2TeXConverter

public JavaSource2TeXConverter()

Method Detail

getDocumentHeader

public java.lang.String getDocumentHeader(JavaSourceConversionOptions options,
                                          java.lang.String title)

Description copied from class: AbstractJavaSourceConverter

Returns a header for the result document. This one will be placed before the first block of converted code. Subclasses can return an empty String ("") if there is none neccessary.

Specified by:

getDocumentHeader in class AbstractJavaSourceConverter

getDocumentFooter

public java.lang.String getDocumentFooter(JavaSourceConversionOptions options)

Description copied from class: AbstractJavaSourceConverter

Returns a footer for the result document. This one will be placed behind the last block of converted code. Subclasses can return an empty String ("") if there is none neccessary.

Specified by:

getDocumentFooter in class AbstractJavaSourceConverter

getBlockSeparator

public java.lang.String getBlockSeparator(JavaSourceConversionOptions options)

Description copied from class: AbstractJavaSourceConverter

Returns the code that has to be placed between two blocks of converted code. Subclasses can return an empty String ("") if there is none neccessary.

Specified by:

getBlockSeparator in class AbstractJavaSourceConverter

convert

public void convert(TypedSource source,
                    JavaSourceConversionOptions options,
                    java.io.BufferedWriter writer)
             throws java.io.IOException

Converts the parsed source code to HTML by adding color information, adding line breaks and replacing characters as needed for HTML. Also adds a table with line numbers etc.

Specified by:

convert in class AbstractJavaSourceConverter

Throws:

java.io.IOException

writeLineNumber

public void writeLineNumber(java.io.BufferedWriter writer,
                            int lineNumber,
                            int lineCount)
                     throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException