javaclasslaunchdelegate.java

AStar算法

/*******************************************************************************
 * Copyright © 2008 Sandro Badame. All Rights Reserved.
 * 
 * This software and the accompanying materials is available under the 
 * Eclipse Public License 1.0 (EPL), which accompanies this distribution, and is
 * available at http://visualjpf.sourceforge.net/epl-v10.html
 ******************************************************************************/
package com.javapathfinder.vjp.delegates;

import java.io.IOException;
import java.io.PipedInputStream;
import java.io.PipedOutputStream;
import java.io.PrintStream;

import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IPath;
import org.eclipse.jface.action.IAction;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.jface.viewers.TreeSelection;
import org.eclipse.ui.IObjectActionDelegate;
import org.eclipse.ui.IWorkbenchPart;
import org.eclipse.jdt.core.JavaModelException;
import org.eclipse.jdt.internal.core.CompilationUnit;

import com.javapathfinder.vjp.VJP;
import com.javapathfinder.vjp.verify.VerifyJob;

/**
 * JavaClassLaunchDelegate is used then the 'Verify...' selection is chosen
 * from right clicking on a Java Source file. 
 * 
 * Once run the package and name of the class is determined. A JPF configuration
 * file is then created in the same directory as the source file, with the 
 * target property defined. 
 * 
 * A VerifyJob is then created and scheduled to be executed.
 * 
 * While this class does use discouraged objects (namely 
 * org.eclipse.jdt.internal.core.CompilationUnit)
 * it got the job done on time. So this definatly needs to be changed to using
 * the proper classes. 
 * 
 * @author Sandro Badame
 *
 */
public class JavaClassLaunchDelegate implements IObjectActionDelegate {
  
  private CompilationUnit compilation;
  
  //TODO stop using the Compilation unit class
  public void selectionChanged(IAction action, ISelection selection) {
    TreeSelection s = (TreeSelection) selection;
    compilation = (CompilationUnit) s.getFirstElement();
  }

  public void run(IAction action) {
    String p = new String(compilation.getPackageName()[0]);
    String m = new String(compilation.getMainTypeName());
    String target = p + "." + m;
    
    try {
      IFile f = (IFile)compilation.getCorrespondingResource();
      IProject project = f.getProject();
      IPath path = f.getProjectRelativePath().removeLastSegments(1).append(m+".jpf");
      IFile file = project.getFile(path);
      if (file.getLocation().toFile().createNewFile()){
        file.refreshLocal(IResource.DEPTH_INFINITE, null);
        file = project.getFile(path);
        initJPFFile(file, target);
      }
      VerifyJob.verify(file, file.getProject(), true);
    } catch (JavaModelException e) {
      VJP.logError(e.getMessage(),e);
    } catch (IOException e) {
      VJP.logError(e.getMessage(),e);     
    } catch (CoreException e) {
      VJP.logError(e.getMessage(),e);     
    } 
  }
  
  private void initJPFFile(IFile file, String target) throws IOException, CoreException{
    PipedInputStream fileData = new PipedInputStream();
    PipedOutputStream propertyData = new PipedOutputStream(fileData);
    PrintStream writer = new PrintStream(propertyData);
    writer.println("#Target class");
    writer.println("target="+target);
    
    writer.flush();
    writer.close();
    file.setContents(fileData, true, true, null);
    fileData.close();
  }

  public void setActivePart(IAction action, IWorkbenchPart targetPart) {}
}