package istlab.KisoJikken; import java.awt.Desktop; import java.awt.BorderLayout; import java.awt.event.KeyEvent; import java.awt.event.KeyListener; import java.awt.event.MouseEvent; import java.io.BufferedReader; import java.io.File; import java.io.FileOutputStream; import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; import java.net.URI; import java.net.URISyntaxException; import java.net.URL; import java.nio.channels.Channels; import java.nio.channels.FileChannel; import java.nio.channels.ReadableByteChannel; import java.nio.file.Path; import java.nio.file.Paths; import java.security.CodeSource; import java.security.ProtectionDomain; import java.util.Arrays; import java.util.Hashtable; import javax.swing.JFrame; import javax.swing.JMenu; import javax.swing.JMenuBar; import javax.swing.JMenuItem; import javax.swing.JOptionPane; 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; public static String version = "0.4"; public static String downloadurl = "https://cit.istlab.info/KisoJikkenNWP/target/"; public static Path execPath; // JPanel mainP; JTree tree; Hashtable<File, Editor> file2editor; public Launcher(String[] args) { super("Kiso NWP Launcher v" + version); setDefaultCloseOperation(EXIT_ON_CLOSE); // mainP = new JPanel(); file2editor = new Hashtable<File, Editor>(); theapp = this; try { execPath = getApplicationPath(this.getClass()); } catch (URISyntaxException e) { e.printStackTrace(); } 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); // Menu JMenuBar menuBar = new JMenuBar(); JMenu menu = new JMenu("App"); JMenuItem mi = new JMenuItem("show version"); mi.addActionListener(ae -> JOptionPane.showMessageDialog(this, "Kiso NWP Launcher v" + version)); menu.add(mi); mi = new JMenuItem("download latest"); mi.addActionListener(ae -> downloadLatest()); menu.add(mi); mi = new JMenuItem("open download site"); mi.addActionListener(ae -> openURL(downloadurl)); menu.add(mi); mi = new JMenuItem("open JAR folder"); mi.addActionListener(ae -> openExecPath()); menu.add(mi); menuBar.add(menu); setJMenuBar(menuBar); // getContentPane().add(mainP, BorderLayout.WEST); setSize(400, 600); } public void downloadLatest() { // 最初に、ダウンロードサイトから最新版の情報を得る // 更新があれば、ダウンロードし、ファイルを表示する。 StringBuilder sb = new StringBuilder(); String latestVersion=null; try { URL url = new URL(downloadurl); InputStream is = url.openConnection().getInputStream(); BufferedReader reader = new BufferedReader(new InputStreamReader(is)); String line = null; while ((line = reader.readLine()) != null) { if (latestVersion==null) latestVersion = line.trim(); System.out.println(line); sb.append(line+"\n"); } reader.close(); } catch (Exception ex) { } // System.out.println(sb.toString()); //同じかどうかチェック System.out.println("["+latestVersion+"]"); System.out.println("="+execPath.getFileName()+"="); if (latestVersion.equals(execPath.getFileName().toString())){ JOptionPane.showMessageDialog(this, "This is latest version : v"+version); } else { int res = JOptionPane.showConfirmDialog(this, "Download "+latestVersion+"??"); if (res==JOptionPane.YES_OPTION){ try { URL url = new URL(downloadurl+"/"+latestVersion); ReadableByteChannel readableByteChannel = Channels.newChannel(url.openStream()); FileOutputStream fileOutputStream = new FileOutputStream(latestVersion); FileChannel fileChannel = fileOutputStream.getChannel(); fileOutputStream.getChannel().transferFrom(readableByteChannel, 0, Long.MAX_VALUE); fileChannel.close(); fileOutputStream.close(); } catch (Exception ex) { } finally { } openExecPath(); } } } public void openExecPath() { File execFolder = execPath.getParent().toFile(); openFolder(execFolder); } public void openFolder(File path) { try { Desktop.getDesktop().open(path); } catch (IOException e) { e.printStackTrace(); } } public void openURL(String url) { if (Desktop.isDesktopSupported() && Desktop.getDesktop().isSupported(Desktop.Action.BROWSE)) { try { Desktop.getDesktop().browse(new URI(url)); } catch (IOException | URISyntaxException e) { e.printStackTrace(); } } } public static Path getApplicationPath(Class<?> cls) throws URISyntaxException { ProtectionDomain pd = cls.getProtectionDomain(); CodeSource cs = pd.getCodeSource(); URL location = cs.getLocation(); URI uri = location.toURI(); Path path = Paths.get(uri); return path; } @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) { } }