| 1 | package de.ugoe.cs.swe.bnftools.ui.formatter;
|
|---|
| 2 |
|
|---|
| 3 | import java.io.BufferedWriter;
|
|---|
| 4 | import java.io.File;
|
|---|
| 5 | import java.io.FileWriter;
|
|---|
| 6 |
|
|---|
| 7 | import org.eclipse.core.commands.AbstractHandler;
|
|---|
| 8 | import org.eclipse.core.commands.ExecutionEvent;
|
|---|
| 9 | import org.eclipse.core.commands.ExecutionException;
|
|---|
| 10 | import org.eclipse.core.resources.IContainer;
|
|---|
| 11 | import org.eclipse.core.resources.IWorkspace;
|
|---|
| 12 | import org.eclipse.core.resources.IWorkspaceRoot;
|
|---|
| 13 | import org.eclipse.core.resources.ResourcesPlugin;
|
|---|
| 14 | import org.eclipse.core.runtime.IPath;
|
|---|
| 15 | import org.eclipse.core.runtime.Platform;
|
|---|
| 16 | import org.eclipse.emf.ecore.EObject;
|
|---|
| 17 | import org.eclipse.ui.PlatformUI;
|
|---|
| 18 | import org.eclipse.xtext.parsetree.NodeAdapter;
|
|---|
| 19 | import org.eclipse.xtext.parsetree.NodeUtil;
|
|---|
| 20 | import org.eclipse.xtext.ui.editor.XtextEditor;
|
|---|
| 21 | import org.eclipse.xtext.ui.editor.model.XtextDocument;
|
|---|
| 22 |
|
|---|
| 23 | import de.ugoe.cs.swe.bnftools.utils.RootEObjectFinder;
|
|---|
| 24 |
|
|---|
| 25 | public class HtmlFormatterHandler extends AbstractHandler {
|
|---|
| 26 |
|
|---|
| 27 | public Object execute(ExecutionEvent event) throws ExecutionException {
|
|---|
| 28 | XtextEditor editor = (XtextEditor) PlatformUI.getWorkbench()
|
|---|
| 29 | .getActiveWorkbenchWindow().getActivePage().getActiveEditor();
|
|---|
| 30 |
|
|---|
| 31 | // TODO: better error handling
|
|---|
| 32 | if (!(editor.getDocument() instanceof XtextDocument)) {
|
|---|
| 33 | return null;
|
|---|
| 34 | }
|
|---|
| 35 |
|
|---|
| 36 | XtextDocument doc = (XtextDocument) editor.getDocument();
|
|---|
| 37 | IContainer parent = editor.getResource().getParent();
|
|---|
| 38 |
|
|---|
| 39 | EObject root = doc.readOnly(new RootEObjectFinder());
|
|---|
| 40 | NodeAdapter rootNode = NodeUtil.getNodeAdapter(root);
|
|---|
| 41 |
|
|---|
| 42 | FormatterConfig config = new FormatterConfig();
|
|---|
| 43 | EbnfHtmlFormatterVisitor visitor = new EbnfHtmlFormatterVisitor(
|
|---|
| 44 | rootNode.getParserNode().getElement(), config);
|
|---|
| 45 |
|
|---|
| 46 | visitor.accept();
|
|---|
| 47 |
|
|---|
| 48 | writeFile(visitor.getBuf().toString(), parent.getLocationURI().getPath() + "/" + editor.getResource().getName() + ".html");
|
|---|
| 49 | System.out.println(visitor.getBuf());
|
|---|
| 50 |
|
|---|
| 51 | return null;
|
|---|
| 52 | }
|
|---|
| 53 |
|
|---|
| 54 | private void writeFile(String str, String filename) {
|
|---|
| 55 | try {
|
|---|
| 56 | FileWriter fstream = new FileWriter(filename);
|
|---|
| 57 | BufferedWriter out = new BufferedWriter(fstream);
|
|---|
| 58 | out.write(str);
|
|---|
| 59 | out.close();
|
|---|
| 60 | } catch (Exception e) {// Catch exception if any
|
|---|
| 61 | System.err.println("Error: " + e.getMessage());
|
|---|
| 62 | }
|
|---|
| 63 | }
|
|---|
| 64 |
|
|---|
| 65 | }
|
|---|
