/home/ythoma/docs/math2mat/svn/wp1/framework/m2mGUI/src/m2m/frontend/actions/ViewDotTreeFile.java

Go to the documentation of this file.

package m2m.frontend.actions;

import java.io.File;

import org.eclipse.swt.widgets.Display;
import org.eclipse.ui.IViewReference;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.PlatformUI;

import m2m.backend.processing.ExternalRuns;
import m2m.frontend.ErrorProcessing;
import m2m.frontend.actions.M2MAction;
import m2m.frontend.view.ImageViewer;

public class ViewDotTreeFile extends M2MAction {

        public ViewDotTreeFile(IWorkbenchWindow window, String label) {
                super(window,label);
               // The id is used to refer to the action in a menu or toolbar
                setId(ICommandIds.CMD_DOTTREEVIEW);
            // Associate the action with a pre-defined command, to allow key bindings.
                setActionDefinitionId(ICommandIds.CMD_DOTTREEVIEW);
        }

        public void run() {

                if (!getEditor("Error","Select a correct M2M editor"))
                        return;

                if (!editor.getM2MProject().generateTreeDotFile()) {
                        System.out.println("Can not generate Dot file\n");
                }
                File file = editor.getInputFile();
                        
                        
                String dotName = (file.getAbsolutePath().lastIndexOf(".") == -1 ? "" :
                file.getAbsolutePath().substring(0, file.getAbsolutePath().lastIndexOf(".")));
                
                if (!ExternalRuns.runDot(dotName+"_tree.gv", dotName+"_tree.png")) {
                        ErrorProcessing.processLastError(Display.getCurrent());
                        return;
                }       
                
                //open a new editor with the file's content
                IWorkbenchPage page= PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
                                    
                int i = 0;

            IViewReference aViewReference;
            do {
                  i++;
              aViewReference = page.findViewReference(ImageViewer.ID, 
                          String.valueOf(i));
              if (aViewReference != null) {
                  if (aViewReference.getPartName().equalsIgnoreCase((file.getName().lastIndexOf(".") == -1 ? "" :
                                                                                        file.getName().substring(0, file.getName().lastIndexOf("."))+"_tree.png"))) {
                          page.activate(aViewReference.getPart(false));
                          break;
                  }
              }
            } while (aViewReference != null);

                    
                try {
                        page.showView(ImageViewer.ID, String.valueOf(i), IWorkbenchPage.VIEW_ACTIVATE);
                        ImageViewer imViewer = (ImageViewer)PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActivePart();
                        imViewer.setImage(dotName+"_tree.png");
                } catch (PartInitException e1) {
                        // TODO Auto-generated catch block
                        e1.printStackTrace();
                }
        }
}