import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IProgressMonitor;
-import de.java2html.converter.JavaSource2HTMLConverter;
-import de.java2html.javasource.JavaSource;
-import de.java2html.javasource.JavaSourceParser;
-import de.java2html.options.Java2HtmlConversionOptions;
+//import de.java2html.converter.JavaSource2HTMLConverter;
+//import de.java2html.javasource.JavaSource;
+//import de.java2html.javasource.JavaSourceParser;
+//import de.java2html.options.Java2HtmlConversionOptions;
public final class WikiExporter {
return "java".equals(resource.getFileExtension());
}
- private void javaToHtml(File source, File destination) throws IOException {
- JavaSource java = new JavaSourceParser().parse(new FileReader(source));
- JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter(java);
- Java2HtmlConversionOptions options = Java2HtmlConversionOptions.getDefault();
- options.setShowLineNumbers(true);
- options.setShowFileName(true);
- options.setShowJava2HtmlLink(true);
- converter.setConversionOptions(options);
- FileWriter writer = new FileWriter(destination);
- converter.convert(writer);
- writer.flush();
- writer.close();
- }
+// private void javaToHtml(File source, File destination) throws IOException {
+// JavaSource java = new JavaSourceParser().parse(new FileReader(source));
+// JavaSource2HTMLConverter converter = new JavaSource2HTMLConverter(java);
+// Java2HtmlConversionOptions options = Java2HtmlConversionOptions.getDefault();
+// options.setShowLineNumbers(true);
+// options.setShowFileName(true);
+// options.setShowJava2HtmlLink(true);
+// converter.setConversionOptions(options);
+// FileWriter writer = new FileWriter(destination);
+// converter.convert(writer);
+// writer.flush();
+// writer.close();
+// }
private void copy(File source, File dest) throws IOException {
FileChannel in = null;