Changeset 41 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/HtmlFormatterHandler.java

Timestamp:

11/05/10 16:46:19 (14 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/HtmlFormatterHandler.java (modified) (3 diffs)

trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/HtmlFormatterHandler.java

@@ -1 +1 @@
 package de.ugoe.cs.swe.bnftools.ui.formatter;
 
+import java.io.BufferedInputStream;
+import java.io.BufferedReader;
 import java.io.BufferedWriter;
 import java.io.File;
+import java.io.FileInputStream;
 import java.io.FileWriter;
+import java.io.IOException;
+import java.net.URISyntaxException;
+import java.net.URL;
 
 import org.eclipse.core.commands.AbstractHandler;
@@ -20 +26 @@
 import org.eclipse.xtext.ui.editor.XtextEditor;
 import org.eclipse.xtext.ui.editor.model.XtextDocument;
+import org.osgi.framework.Bundle;
 
 import de.ugoe.cs.swe.bnftools.utils.RootEObjectFinder;
@@ -46 +53 @@
                 visitor.accept();
 
-                writeFile(visitor.getBuf().toString(), parent.getLocationURI().getPath() + "/" + editor.getResource().getName() + ".html");
+                Bundle bundle = Platform.getBundle("de.ugoe.cs.swe.bnftools.ebnf.ui");
+                String bundlePath = bundle.getLocation().replaceAll("reference:file:","");
+                String resourcePath = bundle.getResource("resources/html-header.html").getPath(); 
+                String result = "";
+                try {
+                        result = readFileAsString(bundlePath + resourcePath);
+                } catch (IOException e) {
+                }
+                result = result + visitor.getBuf();
+                
                 System.out.println(visitor.getBuf());
+                
+                writeFile(result, editor.getResource().getLocation().toPortableString().toString() + ".html");
                 
                 return null;
         }
 
+        private String readFileAsString(String filePath) throws java.io.IOException{
+            byte[] buffer = new byte[(int) new File(filePath).length()];
+            FileInputStream f = new FileInputStream(filePath);
+            f.read(buffer);
+            return new String(buffer);
+        }
+        
         private void writeFile(String str, String filename) {
                 try {