public void run() { // convert paths to Nodes List<Node> selNodes = new ArrayList<Node>(selectedPaths.size()); for (Object path : selectedPaths) { selNodes.add(findPath(root, (String[]) path)); } // set the selection Node[] newSelection = selNodes.toArray(new Node[selNodes.size()]); if (exploredCtx != null) { setExploredContext(findPath(root, exploredCtx), newSelection); } else { setSelectedNodes0(newSelection); } } }
public void run() { // convert paths to Nodes List selNodes = new ArrayList(selectedPaths.size()); for (Iterator iter = selectedPaths.iterator(); iter.hasNext(); ) { String[] path = (String[]) iter.next(); selNodes.add(findPath(root, path)); } // set the selection Node[] newSelection = (Node[]) selNodes.toArray(new Node[selNodes.size ()]); if (exploredCtx != null) { setExploredContext(findPath(root, exploredCtx), newSelection); } else { setSelectedNodes0(newSelection); } } });
public void run() { // convert paths to Nodes List selNodes = new ArrayList(selectedPaths.size()); for (Iterator iter = selectedPaths.iterator(); iter.hasNext(); ) { String[] path = (String[]) iter.next(); selNodes.add(findPath(root, path)); } // set the selection Node[] newSelection = (Node[]) selNodes.toArray(new Node[selNodes.size ()]); if (exploredCtx != null) { setExploredContext(findPath(root, exploredCtx), newSelection); } else { setSelectedNodes0(newSelection); } } });
private void readObjectOld(Node.Handle h, ObjectInputStream ois) throws java.io.IOException, ClassNotFoundException { if (h == null) { // do nothing => should not occur to often and moreover this is also // dead code replaced by new version return; } else { String[] rootCtx = (String[]) ois.readObject(); String[] exploredCtx = (String[]) ois.readObject(); List<String[]> ll = new LinkedList<String[]>(); for (;;) { String[] path = (String[]) ois.readObject(); if (path == null) { break; } ll.add(path); } Node root = findPath(h.getNode(), rootCtx); restoreSelection(root, exploredCtx, ll); } }
private void readObjectOld (Node.Handle h, ObjectInputStream ois) throws java.io.IOException, ClassNotFoundException { if (h == null) { // do nothing => should not occur to often and moreover this is also // dead code replaced by new version return; } else { String[] rootCtx = (String[]) ois.readObject(); String[] exploredCtx = (String[]) ois.readObject (); LinkedList ll = new LinkedList (); for (;;) { String[] path = (String[]) ois.readObject(); if (path == null) break; ll.add(path); } Node root = findPath (h.getNode (), rootCtx); restoreSelection(root, exploredCtx, ll); } }
private void readObjectOld (Node.Handle h, ObjectInputStream ois) throws java.io.IOException, ClassNotFoundException { if (h == null) { // do nothing => should not occur to often and moreover this is also // dead code replaced by new version return; } else { String[] rootCtx = (String[]) ois.readObject(); String[] exploredCtx = (String[]) ois.readObject (); LinkedList ll = new LinkedList (); for (;;) { String[] path = (String[]) ois.readObject(); if (path == null) break; ll.add(path); } Node root = findPath (h.getNode (), rootCtx); restoreSelection(root, exploredCtx, ll); } }