1 package net.sourceforge.phpeclipse.wiki.export.html;
4 import java.io.FileInputStream;
5 import java.io.FileOutputStream;
6 import java.io.FileReader;
7 import java.io.FileWriter;
8 import java.io.IOException;
9 import java.nio.MappedByteBuffer;
10 import java.nio.channels.FileChannel;
11 import java.util.TreeSet;
13 import net.sourceforge.phpeclipse.wiki.builder.CreatePageAction;
14 import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
15 import net.sourceforge.phpeclipse.wiki.preferences.Util;
17 import org.eclipse.core.resources.IContainer;
18 import org.eclipse.core.resources.IFile;
19 import org.eclipse.core.resources.IFolder;
20 import org.eclipse.core.resources.IResource;
21 import org.eclipse.core.runtime.CoreException;
22 import org.eclipse.core.runtime.IProgressMonitor;
24 //import de.java2html.converter.JavaSource2HTMLConverter;
25 //import de.java2html.javasource.JavaSource;
26 //import de.java2html.javasource.JavaSourceParser;
27 //import de.java2html.options.Java2HtmlConversionOptions;
29 public final class WikiHTMLExporter {
31 public static final String HTML_EXTENSION = ".html";
33 public static final String WORKSPACE = "workspace";
35 // private File exportDirectory;
37 // private ExportLinkMaker exportLinkMaker;
38 private TreeSet index;
40 public WikiHTMLExporter() {
41 // exportLinkMaker = new ExportLinkMaker();
42 index = new TreeSet(String.CASE_INSENSITIVE_ORDER);
45 public void export(IContainer folder, String exportDirectoryName, String srcBasePath, IProgressMonitor monitor) throws IOException, CoreException,
46 InstantiationException, IllegalAccessException, ClassNotFoundException {
47 // exportDirectory = new File(exportDirectoryName);
48 IResource[] resources = folder.members(IResource.FILE);
49 String templateFileName = Util.getExportTemplate(folder);
50 // monitor.beginTask(WikiEditorPlugin.getResourceString("Export.wikiPages"), resources.length + 1);
51 for (int i = 0; i < resources.length; i++) {
52 if (resources[i] instanceof IFile) {
53 monitor.subTask(WikiEditorPlugin.getResourceString("Export.exportFile")+resources[i].getLocation());
54 CreatePageAction.createPage(templateFileName, (IFile) resources[i], exportDirectoryName, srcBasePath);
56 } else if (resources[i] instanceof IFolder) {
57 monitor.subTask(WikiEditorPlugin.getResourceString("Export.exportFolder")+resources[i].getLocation());
58 export((IFolder) resources[i], exportDirectoryName, srcBasePath, monitor);
64 private void copy(File source, File dest) throws IOException {
65 FileChannel in = null;
66 FileChannel out = null;
68 in = new FileInputStream(source).getChannel();
69 out = new FileOutputStream(dest).getChannel();
70 long size = in.size();
71 MappedByteBuffer buf = in.map(FileChannel.MapMode.READ_ONLY, 0, size);
83 private boolean isWikiFile(IResource resource) {
84 return resource instanceof IFile && resource.getFileExtension().equals("wp");
87 // private File createHtmlFile(String name) {
88 // return new File(exportDirectory, name + WikiPDFExporter.HTML_EXTENSION);