Ignore:
Timestamp:
11/30/10 11:37:47 (14 years ago)
Author:
zeiss
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/src/de/ugoe/cs/swe/bnftools/ui/formatter/HtmlFormatterHandler.java

    r41 r43  
    11package de.ugoe.cs.swe.bnftools.ui.formatter; 
    22 
    3 import java.io.BufferedInputStream; 
    4 import java.io.BufferedReader; 
    53import java.io.BufferedWriter; 
    64import java.io.File; 
     
    86import java.io.FileWriter; 
    97import java.io.IOException; 
    10 import java.net.URISyntaxException; 
    11 import java.net.URL; 
    128 
    139import org.eclipse.core.commands.AbstractHandler; 
     
    1511import org.eclipse.core.commands.ExecutionException; 
    1612import org.eclipse.core.resources.IContainer; 
    17 import org.eclipse.core.resources.IWorkspace; 
    18 import org.eclipse.core.resources.IWorkspaceRoot; 
    19 import org.eclipse.core.resources.ResourcesPlugin; 
    20 import org.eclipse.core.runtime.IPath; 
    2113import org.eclipse.core.runtime.Platform; 
    2214import org.eclipse.emf.ecore.EObject; 
     
    6355                result = result + visitor.getBuf(); 
    6456                 
    65                 System.out.println(visitor.getBuf()); 
     57//              System.out.println(visitor.getBuf()); 
    6658                 
    67                 writeFile(result, editor.getResource().getLocation().toPortableString().toString() + ".html"); 
     59                String filename = editor.getResource().getLocation().toPortableString().toString() + ".html"; 
     60//              System.out.println(filename); 
     61                writeFile(result, filename); 
    6862                 
    6963                return null; 
Note: See TracChangeset for help on using the changeset viewer.