Newer
Older
KisoJikkenNWP / src / main / java / istlab / KisoJikken / FileTreeModel.java
@motoki miura motoki miura on 24 Mar 2023 3 KB d
package istlab.KisoJikken;

import java.io.File;
import java.util.Arrays;

import javax.swing.event.TreeModelListener;
import javax.swing.tree.TreeModel;
import javax.swing.tree.TreePath;

class MyFile extends File {
    static String userhome_escaped; 
    public MyFile(String pathname) {
        super(pathname);
    }

    public String toString() {
        if (userhome_escaped == null){
            userhome_escaped = App.userhome.replaceAll("\\\\","\\\\\\\\");
        }
        return super.toString().replaceAll(userhome_escaped, "~");
    }
}


public class FileTreeModel implements TreeModel {

    // We specify the root directory when we create the model.
    protected File root;
    boolean isExcludeClassFiles = false;

    public FileTreeModel(File root, boolean exCls) {
        this.root = root;
        isExcludeClassFiles = exCls;
    }

    // The model knows how to return the root object of the tree
    public Object getRoot() {
        return root;
    }

    // Tell JTree whether an object in the tree is a leaf or not
    public boolean isLeaf(Object node) {
        return ((File) node).isFile();
    }

    private File[] getChildFiles(File parent) {
        if (isExcludeClassFiles) {
            return parent.listFiles(path -> !path.toString().endsWith(".class"));
        } else {
            return parent.listFiles();
        }
    }

    // Tell JTree how many children a node has
    public int getChildCount(Object parent) {
        File[] children = getChildFiles((File) parent);
        if (children == null)
            return 0;
        return children.length;
    }

    // Fetch any numbered child of a node for the JTree.
    // Our model returns File objects for all nodes in the tree. The
    // JTree displays these by calling the File.toString() method.
    public Object getChild(Object parent, int index) {
        File[] children = getChildFiles((File) parent);
        // String[] children = ((File) parent).list();
        Arrays.sort(children);
        if ((children == null) || (index >= children.length))
            return null;
        // return new File((File) parent, children[index]);
        return new MyFile(children[index].getAbsolutePath());
    }

    // Figure out a child's position in its parent node.
    public int getIndexOfChild(Object parent, Object child) {
        File[] children = getChildFiles((File) parent);
        // String[] children = ((File) parent).list();
        Arrays.sort(children);
        if (children == null)
            return -1;
        String childname = ((File) child).getName();
        // if (childname.startsWith(".")) return -1;
        for (int i = 0; i < children.length; i++) {
            if (childname.equals(children[i].getName()))
                return i;
        }
        return -1;
    }

    // This method is only invoked by the JTree for editable trees.
    // This TreeModel does not allow editing, so we do not implement
    // this method. The JTree editable property is false by default.
    public void valueForPathChanged(TreePath path, Object newvalue) {
    }

    // Since this is not an editable tree model, we never fire any events,
    // so we don't actually have to keep track of interested listeners.
    public void addTreeModelListener(TreeModelListener l) {
    }

    public void removeTreeModelListener(TreeModelListener l) {
    }
}