|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.java2html.converter.AbstractJavaSourceConverter
de.java2html.converter.JavaSource2TeXConverter
public class JavaSource2TeXConverter
Algorithm and stuff for converting a
JavaSource
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
Field Summary | |
---|---|
protected static java.lang.String |
BLOCK_HEADER
|
protected static java.lang.String |
DOCUMENT_BLOCK_SEPARATOR
Block seperator for between two blocks of converted source code |
protected static java.lang.String |
DOCUMENT_FOOTER
Document header |
protected static java.lang.String |
DOCUMENT_HEADER
Document header |
protected static java.lang.String[] |
WHITESPACES
|
Constructor Summary | |
---|---|
JavaSource2TeXConverter()
|
Method Summary | |
---|---|
void |
convert(JavaSource 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. |
protected static char[] |
floatToCharArray(float f)
|
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. |
protected static java.lang.String |
leftSpace(int num,
int max)
|
static void |
main(java.lang.String[] args)
|
protected void |
toTeX(JavaSourceRun run,
java.io.BufferedWriter writer)
|
protected static java.lang.String |
whiteSpace(int size)
|
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 |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static final java.lang.String DOCUMENT_HEADER
protected static final java.lang.String DOCUMENT_FOOTER
protected static final java.lang.String DOCUMENT_BLOCK_SEPARATOR
protected static final java.lang.String BLOCK_HEADER
protected static final java.lang.String[] WHITESPACES
Constructor Detail |
---|
public JavaSource2TeXConverter()
Method Detail |
---|
protected static final char[] floatToCharArray(float f)
public java.lang.String getDocumentHeader(JavaSourceConversionOptions options, java.lang.String title)
AbstractJavaSourceConverter
getDocumentHeader
in class AbstractJavaSourceConverter
public java.lang.String getDocumentFooter(JavaSourceConversionOptions options)
AbstractJavaSourceConverter
getDocumentFooter
in class AbstractJavaSourceConverter
public java.lang.String getBlockSeparator(JavaSourceConversionOptions options)
AbstractJavaSourceConverter
getBlockSeparator
in class AbstractJavaSourceConverter
public void convert(JavaSource source, JavaSourceConversionOptions options, java.io.BufferedWriter writer) throws java.io.IOException
convert
in class AbstractJavaSourceConverter
java.io.IOException
public void writeLineNumber(java.io.BufferedWriter writer, int lineNumber, int lineCount) throws java.io.IOException
java.io.IOException
protected void toTeX(JavaSourceRun run, java.io.BufferedWriter writer) throws java.io.IOException
java.io.IOException
protected static final java.lang.String whiteSpace(int size)
protected static final java.lang.String leftSpace(int num, int max)
public static void main(java.lang.String[] args) throws java.io.IOException
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |