package istlab.KisoJikken; import java.awt.BorderLayout; import java.awt.event.KeyEvent; import java.awt.event.KeyListener; import java.awt.event.MouseEvent; import java.io.File; import java.util.Arrays; import java.util.Hashtable; import javax.swing.JFrame; import javax.swing.JScrollPane; import javax.swing.JTree; import javax.swing.event.MouseInputListener; import javax.swing.event.TreeModelListener; import javax.swing.tree.TreeModel; import javax.swing.tree.TreePath; public class Launcher extends JFrame implements MouseInputListener , KeyListener{ public static Launcher theapp; // JPanel mainP; JTree tree; Hashtable<File, Editor> file2editor; public Launcher(String[] args) { super("Kiso NWP Launcher"); setDefaultCloseOperation(EXIT_ON_CLOSE); // mainP = new JPanel(); file2editor = new Hashtable<File,Editor>(); theapp = this; File root; if (args.length > 0) root = new File(args[0]); else root = new File(App.userhome + App.nwpsrc); // Create a TreeModel object to represent our tree of files FileTreeModel model = new FileTreeModel(root); // Create a JTree and tell it to display our model tree = new JTree(); tree.setModel(model); tree.addMouseListener(this); tree.addKeyListener(this); // The JTree can get big, so allow it to scroll. JScrollPane scrollpane = new JScrollPane(tree); // mainP.setLayout(new BoxLayout(mainP, BoxLayout.PAGE_AXIS)); // for (int i = 1; i < 8; i++) { // JButton b = new JButton("j" + i); // mainP.add(b); // } // ShellScriptPanel run11 = new ShellScriptPanel("run1-1.sh"); getContentPane().add(scrollpane, BorderLayout.CENTER); // getContentPane().add(mainP, BorderLayout.WEST); setSize(400, 600); } @Override public void mouseClicked(MouseEvent e) { if (e.getClickCount() == 2) { openEditor(); } } private void openEditor(){ TreePath tp = tree.getSelectionModel().getSelectionPath(); if (tp==null) return; File node = (File) tp.getLastPathComponent(); Editor ed = file2editor.get(node); if (ed==null) { ed = new Editor(node); file2editor.put(node,ed); } else { ed.setVisible(true); ed.toFront(); } System.out.println(node.toString()); } @Override public void mousePressed(MouseEvent e) { // TODO Auto-generated method stub } @Override public void mouseReleased(MouseEvent e) { // TODO Auto-generated method stub } @Override public void mouseEntered(MouseEvent e) { // TODO Auto-generated method stub } @Override public void mouseExited(MouseEvent e) { // TODO Auto-generated method stub } @Override public void mouseDragged(MouseEvent e) { // TODO Auto-generated method stub } @Override public void mouseMoved(MouseEvent e) { // TODO Auto-generated method stub } @Override public void keyTyped(KeyEvent e) { // TODO Auto-generated method stub } @Override public void keyPressed(KeyEvent e) { if (e.getKeyCode()==32){ openEditor(); } // TODO Auto-generated method stub } @Override public void keyReleased(KeyEvent e) { // TODO Auto-generated method stub } } /** * The methods in this class allow the JTree component to traverse * the file system tree, and display the files and directories. **/ class FileTreeModel implements TreeModel { // We specify the root directory when we create the model. protected File root; public FileTreeModel(File root) { this.root = root; } // 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(); } // Tell JTree how many children a node has public int getChildCount(Object parent) { String[] children = ((File) parent).list(); 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) { String[] children = ((File) parent).list(); Arrays.sort(children); if ((children == null) || (index >= children.length)) return null; return new File((File) parent, children[index]); } // Figure out a child's position in its parent node. public int getIndexOfChild(Object parent, Object child) { 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])) 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) { } }