[Pydev-cvs] org.python.pydev/src/org/python/pydev/tree FileTreePyFilesProvider.java,NONE,1.1 FileTreeLabelProvider.java,NONE,1.1 AllowOnlyFoldersFilter.java,NONE,1.1 FileTreeContentProvider.java,NONE,1.1 Util.java,NONE,1.1 AllowValidPathsFilter.java,NONE,1.1 FileSorter.java,NONE,1.1

[Fabio Z. <fa...@us...>]

Update of /cvsroot/pydev/org.python.pydev/src/org/python/pydev/tree
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8966/src/org/python/pydev/tree

Added Files:
	FileTreePyFilesProvider.java FileTreeLabelProvider.java 
	AllowOnlyFoldersFilter.java FileTreeContentProvider.java 
	Util.java AllowValidPathsFilter.java FileSorter.java 
Log Message:


--- NEW FILE: FileSorter.java ---
package org.python.pydev.tree;

import java.io.*;
import org.eclipse.jface.viewers.*;

public class FileSorter extends ViewerSorter {
    public int category(Object element) {
        return ((File) element).isDirectory() ? 0 : 1;
    }
}
--- NEW FILE: FileTreeLabelProvider.java ---
package org.python.pydev.tree;

import java.io.*;

import org.eclipse.jface.viewers.*;
import org.eclipse.swt.graphics.*;
import org.python.pydev.plugin.PydevPlugin;
import org.python.pydev.ui.ImageCache;
import org.python.pydev.ui.UIConstants;

public class FileTreeLabelProvider extends LabelProvider {
    
    ImageCache imageCache;
    
    /**
     * 
     */
    public FileTreeLabelProvider() {
        imageCache = new ImageCache(PydevPlugin.getDefault().getBundle().getEntry("/"));
    }
    
    public String getText(Object element) {
        return ((File) element).getName();
    }

    public Image getImage(Object element) {
        if (((File) element).isDirectory()) {
			return imageCache.get(UIConstants.FOLDER_ICON);
        } else {
			return imageCache.get(UIConstants.FILE_ICON);
        }
    }
}
--- NEW FILE: Util.java ---
package org.python.pydev.tree;

import java.net.*;

import org.eclipse.jface.resource.*;
import org.eclipse.swt.dnd.*;
import org.eclipse.swt.widgets.*;

public class Util {
    private static ImageRegistry image_registry;

    private static Clipboard clipboard;

    public static URL newURL(String url_name) {
        try {
            return new URL(url_name);
        } catch (MalformedURLException e) {
            throw new RuntimeException("Malformed URL " + url_name, e);
        }
    }

    public static ImageRegistry getImageRegistry() {
        if (image_registry == null) {
            image_registry = new ImageRegistry();
            image_registry.put("folder", ImageDescriptor.createFromURL(newURL("file:icons/folder.gif")));
            image_registry.put("file", ImageDescriptor.createFromURL(newURL("file:icons/file.gif")));
        }
        return image_registry;
    }

    public static Clipboard getClipboard() {
        if (clipboard == null) {
            clipboard = new Clipboard(Display.getCurrent());
        }

        return clipboard;
    }
}
--- NEW FILE: FileTreePyFilesProvider.java ---
/*
 * Created on Oct 13, 2004
 *
 * @author Fabio Zadrozny
 */
package org.python.pydev.tree;

import java.io.File;
import java.io.FileFilter;

/**
 * @author Fabio Zadrozny
 */
public class FileTreePyFilesProvider extends FileTreeContentProvider {

    public Object[] getChildren(Object element) {
        Object[] kids = ((File) element).listFiles(new FileFilter(){

            public boolean accept(File pathname) {
                return pathname.isDirectory() || pathname.toString().endsWith(".py");
            }
            
        });
        return kids == null ? new Object[0] : kids;
    }

}

--- NEW FILE: FileTreeContentProvider.java ---
package org.python.pydev.tree;

import java.io.File;

import org.eclipse.jface.viewers.ITreeContentProvider;
import org.eclipse.jface.viewers.Viewer;

public class FileTreeContentProvider implements ITreeContentProvider {
    public Object[] getChildren(Object element) {
        Object[] kids = ((File) element).listFiles();
        return kids == null ? new Object[0] : kids;
    }

    public Object[] getElements(Object element) {
        return getChildren(element);
    }

    public boolean hasChildren(Object element) {
        return getChildren(element).length > 0;
    }

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

        if (element instanceof File) {
            ((File) element).getParent();

        }
        System.out.println("element not instance of File: " + element.getClass().getName() + " "
                + element.toString());
        return null;
    }

    public void dispose() {
    }

    public void inputChanged(Viewer viewer, Object old_input, Object new_input) {
    }
}
--- NEW FILE: AllowOnlyFoldersFilter.java ---
package org.python.pydev.tree;

import java.io.*;

import org.eclipse.jface.viewers.*;

public class AllowOnlyFoldersFilter extends ViewerFilter {
    public boolean select(Viewer viewer, Object parent, Object element) {
        return ((File) element).isDirectory();
    }

}
--- NEW FILE: AllowValidPathsFilter.java ---
/*
 * Created on Oct 13, 2004
 *
 * @author Fabio Zadrozny
 */
package org.python.pydev.tree;

import java.io.File;

import org.eclipse.jface.viewers.Viewer;
import org.eclipse.jface.viewers.ViewerFilter;

/**
 * @author Fabio Zadrozny
 */
public class AllowValidPathsFilter extends ViewerFilter {

    /*
     * (non-Javadoc)
     * 
     * @see org.eclipse.jface.viewers.ViewerFilter#select(org.eclipse.jface.viewers.Viewer,
     *      java.lang.Object, java.lang.Object)
     */
    public boolean select(Viewer viewer, Object parentElement, Object element) {
        return ((File) element).exists();
    }

}