configfileactiondelegate.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 org.eclipse.core.resources.IFile;
import org.eclipse.jdt.core.IJavaProject;
import org.eclipse.jdt.core.JavaCore;
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 com.javapathfinder.vjp.verify.VerifyJob;

/**
 * This class is called when Verifying is launched from a *.jpf file.
 * 
 * @author Sandro Badame
 *
 */
public class ConfigFileActionDelegate implements IObjectActionDelegate {

  private IFile file = null;

  /**
   * Creates and runs the verify job.
   */
  public void run(IAction action) {
    if (file == null)
      return;
    IJavaProject jp = JavaCore.create(file.getProject());
    VerifyJob.verify(file, jp, true);
  }

  public void selectionChanged(IAction action, ISelection selection) {
    if (!(selection instanceof TreeSelection))
      return;
    TreeSelection s = (TreeSelection) selection;
    file = (IFile) s.getFirstElement();    
  }
  
  public void setActivePart(IAction action, IWorkbenchPart targetPart) {}

}