filetreepyfilesprovider.java

Python Development Environment (Python IDE plugin for Eclipse). Features editor, code completion, re

/*
 * Created on Oct 13, 2004
 *
 * @author Fabio Zadrozny
 */
package org.python.pydev.tree;

import java.io.File;

import org.python.pydev.plugin.PydevPlugin;

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

    public Object[] getChildren(Object element) {
        Object[] kids = ((File) element).listFiles(PydevPlugin.getPyFilesFileFilter(true));
        return kids == null ? new Object[0] : kids;
    }

}