EditorManager.java

Go to the documentation of this file.

package edu.rice.cs.hpc.viewer.editor;

import java.io.FileNotFoundException;

import org.eclipse.core.filesystem.IFileStore;
import org.eclipse.core.resources.IMarker;
import org.eclipse.core.resources.IResource;
import org.eclipse.ui.IEditorInput;
import org.eclipse.ui.IEditorPart;
import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.IWorkbenchSite;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.ide.FileStoreEditorInput;
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
import org.eclipse.ui.editors.text.EditorsUI;

import edu.rice.cs.hpc.data.experiment.Experiment;
import edu.rice.cs.hpc.data.experiment.scope.Scope;
import edu.rice.cs.hpc.data.experiment.source.FileSystemSourceFile;
import edu.rice.cs.hpc.viewer.util.Utilities;
import edu.rice.cs.hpc.viewer.util.WindowTitle;

public class EditorManager extends BaseEditorManager{
    private IWorkbenchWindow windowCurrent;


    public EditorManager(IWorkbenchWindow window) {
        String sLine = AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER;
        EditorsUI.getPreferenceStore().setValue(sLine, true);
        this.windowCurrent = window;
    }
    
    public EditorManager(IWorkbenchSite site) {
        this(site.getWorkbenchWindow());
    }
    
    public void displayFileEditor(Scope scope) 
    throws FileNotFoundException
    {
        // get the complete file name
        if(Utilities.isFileReadable(scope)) {
            // lets get the database number being used for this file
            Experiment experiment = (Experiment) scope.getExperiment();
            
            String sLongName;
            FileSystemSourceFile newFile = ((FileSystemSourceFile)scope.getSourceFile());
            sLongName = newFile.getCompleteFilename();
            int iLine = scope.getFirstLineNumber();
            openFileEditor( sLongName, newFile.getName(), iLine, experiment );
        }
    }
    
    public void openFileEditor(String sFilename, Experiment experiment) 
    throws FileNotFoundException
    {
        java.io.File objInfo = new java.io.File(sFilename);
        if(objInfo.exists())
            this.openFileEditor(sFilename, objInfo.getName(), 1, experiment);
        else
            // Laks: 12.1.2008: return the filename in case the file is not found
            throw new FileNotFoundException(sFilename);
    }
    
    private void openFileEditor(String sLongFilename, String sFilename, int iLineNumber, Experiment experiment)
        throws FileNotFoundException
    {
        // get the complete path of the file
        org.eclipse.core.filesystem.IFileStore objFile = 
            org.eclipse.core.filesystem.EFS.getLocalFileSystem().getStore(new 
                    org.eclipse.core.runtime.Path(sLongFilename).removeLastSegments(1));
        // get the active page for the editor
        org.eclipse.ui.IWorkbenchPage wbPage = this.windowCurrent.getActivePage();
        if(wbPage != null ){
            objFile=objFile.getChild(sFilename);
            if(!objFile.fetchInfo().exists()) {
                throw new FileNotFoundException(sFilename+": File not found.");
            }
            try {
                openEditorOnFileStore(wbPage, objFile, experiment);
                this.setEditorMarker(wbPage, iLineNumber);
            } catch (PartInitException e) {
                // TODO Auto-generated catch block
                e.printStackTrace();
            }
        }
    }

    private void setEditorMarker(org.eclipse.ui.IWorkbenchPage wbPage, int iLineNumber) {
           //IFile file;
           try{
               IResource resource = org.eclipse.core.resources.ResourcesPlugin.getWorkspace().getRoot();
               IMarker marker=resource.createMarker(IMarker.MARKER); 
               marker.setAttribute(IMarker.LINE_NUMBER, iLineNumber+1);
               IEditorPart editor = wbPage.getActiveEditor();
               if (editor != null)
                   org.eclipse.ui.ide.IDE.gotoMarker(wbPage.getActiveEditor(), marker);
               
           } catch (org.eclipse.core.runtime.CoreException e) {
               e.printStackTrace();
           }

    }

    //-------========================= TAKEN FROM IDE ===============
    private static IEditorPart openEditorOnFileStore(IWorkbenchPage page, IFileStore fileStore, Experiment experiment) throws PartInitException {

        boolean needNewPartition = BaseEditorManager.splitBegin(page, experiment);
        
        IEditorInput input = getEditorInput(fileStore);
        //String editorId = getEditorId(fileStore);
        // forbid eclipse to use an external editor
        String editorId = edu.rice.cs.hpc.viewer.editor.SourceCodeEditor.ID;
        // open the editor on the file
        IEditorPart iep = page.openEditor(input, editorId);
        // if we want a database number prefix, add it to the editor title
        if (iep instanceof SourceCodeEditor) {
            SourceCodeEditor sce = (SourceCodeEditor)iep;
            sce.setExperiment(experiment);
            WindowTitle wt = new WindowTitle();
            wt.setEditorTitle(page.getWorkbenchWindow(), iep); //, experiment, sce.getEditorPartName());

                // database numbers start with 0 but titles start with 1
                //sce.setPartNamePrefix((dbNum+1) + "-");
        }

        BaseEditorManager.splitEnd(needNewPartition, iep);
        
        return iep;
    }


    private static IEditorInput getEditorInput(IFileStore fileStore) {
        return new FileStoreEditorInput(fileStore);
    }

    //-------========================= END TAKEN FROM IDE ===============

}