modepropertytree.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.config.tree;

import java.util.ArrayList;

import org.eclipse.core.resources.IContainer;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jface.viewers.ArrayContentProvider;
import org.eclipse.jface.viewers.ITreeContentProvider;
import org.eclipse.jface.viewers.LabelProvider;
import org.eclipse.jface.viewers.TreeViewer;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.widgets.Composite;

import com.javapathfinder.vjp.VJP;

/**
 * Displays the tree of JPF configuration files.
 * @author Sandro Badame
 *
 */
public class ModePropertyTree extends TreeViewer {
  
  private static final String Config_File_Extension = "jpf";
  
  /**
   * Constructs the tree to be displayed
   * @param parent the parent composite of this tree
   */
  public ModePropertyTree(Composite parent) {
    super(parent, SWT.SINGLE);
    setLabelProvider(new ModePropertyLabelProvider());
    setContentProvider(new ModePropertyContentProvider());
    updateInput();  
    expandAll();
  }
  
  /**
   * Refreshes the layout and contents of this tree
   */
  public void refresh(){
    if (getContentProvider()==null)
      setContentProvider(new ModePropertyContentProvider());
    updateInput();
    super.refresh();
    expandAll();
  }
  
  /**
   * Updates the contents of this tree
   *
   */
  public void updateInput(){
    ArrayList<TreeProject> treeProjects = new ArrayList<TreeProject>();
    IProject[] workspace_projects = ResourcesPlugin.getWorkspace().getRoot().getProjects();
  
    for (IProject p : workspace_projects){  
  
      //Expeirence tells me that closed projectes don't show up here
      //Documentation tells me that they can, so I'm just making sure.
      if (!p.exists() || !p.isOpen() || !isJavaProject(p))
        continue;
      
      ArrayList<IFile> configFiles = getModePropertyFiles(p);
      if (!configFiles.isEmpty()){
        TreeProject tp = new TreeProject();
        tp.java_project = JavaCore.create(p);
        tp.modePropertyFiles = configFiles.toArray(new IFile[configFiles.size()]);
        treeProjects.add(tp);
      }
    }
    setInput(treeProjects);
  }
  
  private boolean isJavaProject(IProject workspace_project) {
    try {
      return workspace_project.hasNature(JavaCore.NATURE_ID);
    } catch (CoreException e) {
      VJP.logError("Error thrown attempting to test for Java Nature", e);
      return false;
    }
  }
  
  private ArrayList<IFile> getModePropertyFiles(IProject project){
    ArrayList<IFile> files = new ArrayList<IFile>();
    appendConfigFiles(project, files);
    return files;
  }
  
  private void appendConfigFiles(IContainer container, ArrayList<IFile> configs){
    if (!container.exists())
      return;
    
    try{
      for(IResource r : container.members())
        if (r instanceof IContainer){
          IContainer ic = (IContainer)r;
          if (!ic.isDerived() && !ic.getResourceAttributes().isHidden())
            appendConfigFiles((IContainer)r, configs);
        }else if (r instanceof IFile){
          if (r != null && 
              r.exists() && 
              r.getFileExtension() != null && 
              r.getFileExtension().equals(Config_File_Extension)){
            configs.add((IFile)r);
          }
        }
    }catch(CoreException ce){
      VJP.logError("Members could not be found.", ce);
    }
  }
  
  private class ModePropertyLabelProvider extends LabelProvider{
      public Image getImage(Object element){
        return null;
      }
      
      public String getText(Object element){
        if(element instanceof TreeProject)
          return ((TreeProject)element).java_project.getProject().getName();
        else if (element instanceof IFile)
          return ((IFile)element).getName();
        else
          VJP.logError("None IFile child in project, element:"+element);
        return null;
      }
  }
  
  private class ModePropertyContentProvider extends ArrayContentProvider 
                                    implements ITreeContentProvider{

    public Object[] getChildren(Object parentElement) {
      if (parentElement instanceof TreeProject)
        return ((TreeProject)parentElement).modePropertyFiles;
      else
        return null;
    }

    public Object getParent(Object element) {
      return null;
    }

    public boolean hasChildren(Object element) {
     return element instanceof TreeProject;
    }
  }
  
}