@Override public void actionPerformed(ActionEvent e) { String newBenchmarkResultName = benchmarkResultNameTextField.getText(); if (StringUtils.isEmpty(newBenchmarkResultName)) { JOptionPane.showMessageDialog(BenchmarkAggregatorFrame.this, "New benchmark's name cannot be empty.", "Warning", JOptionPane.WARNING_MESSAGE); } else { if (benchmarkResult instanceof PlannerBenchmarkResult) { ((PlannerBenchmarkResult) benchmarkResult).setName(newBenchmarkResultName); mixedCheckBox.setText(newBenchmarkResultName); ((DefaultTreeModel) checkBoxTree.getModel()).nodeChanged(treeNode); } else if (benchmarkResult instanceof SolverBenchmarkResult) { mixedCheckBox.setText(newBenchmarkResultName + " (" + ((SolverBenchmarkResult) benchmarkResult).getRanking() + ")"); ((DefaultTreeModel) checkBoxTree.getModel()).nodeChanged(treeNode); solverBenchmarkResultNameMapping.put((SolverBenchmarkResult) benchmarkResult, newBenchmarkResultName); } dispose(); } } };
public void run() { nodeChanged(node); // remind the tree to render the new node } });
protected void resetAllNodes() { Enumeration nodes = _model.getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); _model.nodeChanged(current); } } //--------------------------------------------------------------------------
public void resetAllNodeCounts() { Enumeration nodes = getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); nodeChanged(current); } }
@Override public void execute() { if (MediatorGui.treeDatabase() == null) { LOGGER.error("Unexpected unregistered MediatorGui.treeDatabase() in "+ this.getClass()); } // Tree model, update the tree (refresh, add node, etc) DefaultTreeModel treeModel = (DefaultTreeModel) MediatorGui.treeDatabase().getModel(); DefaultMutableTreeNode node = MediatorGui.frame().getTreeNodeModels().get(this.dataElementDatabase); // Get the node AbstractNodeModel progressingTreeNodeModel = (AbstractNodeModel) node.getUserObject(); // Mark the node model as 'display progress bar' progressingTreeNodeModel.setLoading(true); // Update the node treeModel.nodeChanged(node); }
public void setDescendantSelection(CategoryNode node, boolean selected) { Enumeration descendants = node.depthFirstEnumeration(); CategoryNode current; while (descendants.hasMoreElements()) { current = (CategoryNode) descendants.nextElement(); // does the current node need to be changed? if (current.isSelected() != selected) { current.setSelected(selected); nodeChanged(current); } } notifyActionListeners(); }
@Override public void execute() { if (MediatorGui.treeDatabase() == null) { LOGGER.error("Unexpected unregistered MediatorGui.treeDatabase() in "+ this.getClass()); } // Tree model, update the tree (refresh, add node, etc) DefaultTreeModel treeModel = (DefaultTreeModel) MediatorGui.treeDatabase().getModel(); DefaultMutableTreeNode node = MediatorGui.frame().getTreeNodeModels().get(this.dataElementDatabase); // Fix #45540: NullPointerException on node.getUserObject() if (node != null) { // Get the node AbstractNodeModel progressingTreeNodeModel = (AbstractNodeModel) node.getUserObject(); // Mark the node model as 'loading' progressingTreeNodeModel.setProgressing(true); // Update the node treeModel.nodeChanged(node); } }
@Override public void execute() { if (MediatorGui.frame() == null) { LOGGER.error("Unexpected unregistered MediatorGui.frame() in "+ this.getClass()); } DefaultMutableTreeNode node = MediatorGui.frame().getTreeNodeModels().get(this.dataElementDatabase); // Fix Report #1368: ignore if no element database if (node != null) { // Get the node AbstractNodeModel progressingTreeNodeModel = (AbstractNodeModel) node.getUserObject(); // Update the progress value of the model progressingTreeNodeModel.setIndexProgress(this.dataCount); // Tree model, update the tree (refresh, add node, etc) DefaultTreeModel treeModel = (DefaultTreeModel) MediatorGui.treeDatabase().getModel(); // Update the node treeModel.nodeChanged(node); } }
@Override public void execute() { if (MediatorGui.treeDatabase() == null) { LOGGER.error("Unexpected unregistered MediatorGui.treeDatabase() in "+ this.getClass()); } // Tree model, update the tree (refresh, add node, etc) DefaultTreeModel treeModel = (DefaultTreeModel) MediatorGui.treeDatabase().getModel(); DefaultMutableTreeNode nodeModel = MediatorGui.frame().getTreeNodeModels().get(this.dataElementDatabase); // Fix #1806 : NullPointerException on ...odels().get(dataElementDatabase).getUserObject() if (nodeModel != null) { // Get the node AbstractNodeModel progressingTreeNodeModel = (AbstractNodeModel) nodeModel.getUserObject(); // Mark the node model as 'no loading bar' progressingTreeNodeModel.setProgressing(false); // Mark the node model as 'no stop/pause/resume button' progressingTreeNodeModel.setRunning(false); // Update the node treeModel.nodeChanged(nodeModel); } }
@Override public void execute() { if (MediatorGui.treeDatabase() == null) { LOGGER.error("Unexpected unregistered MediatorGui.treeDatabase() in "+ this.getClass()); } // Tree model, update the tree (refresh, add node, etc) DefaultTreeModel treeModel = (DefaultTreeModel) MediatorGui.treeDatabase().getModel(); // Report NullPointerException #1671 DefaultMutableTreeNode node = MediatorGui.frame().getTreeNodeModels().get(this.dataElementDatabase); if (node != null) { // Get the node AbstractNodeModel progressingTreeNodeModel = (AbstractNodeModel) node.getUserObject(); // Mark the node model as 'no progress bar' progressingTreeNodeModel.setLoading(false); // Mark the node model as 'no stop/pause/resume button' progressingTreeNodeModel.setRunning(false); // Reset the progress value of the model progressingTreeNodeModel.setIndexProgress(0); // Update the node and progressbar treeModel.nodeChanged(node); } }
public void setParentSelection(CategoryNode node, boolean selected) { TreeNode[] nodes = getPathToRoot(node); int len = nodes.length; CategoryNode parent; // i = 0 gives root node, i=len-1 gives this node // skip the root node for (int i = 1; i < len; i++) { parent = (CategoryNode) nodes[i]; if (parent.isSelected() != selected) { parent.setSelected(selected); nodeChanged(parent); } } notifyActionListeners(); }
public void addLogRecord(LogRecord lr) { CategoryPath path = new CategoryPath(lr.getCategory()); addCategory(path); // create category path if it is new CategoryNode node = getCategoryNode(path); node.addRecord(); // update category node if (_renderFatal && lr.isFatal()) { TreeNode[] nodes = getPathToRoot(node); int len = nodes.length; CategoryNode parent; // i = 0 gives root node // skip node and root, loop through "parents" in between for (int i = 1; i < len - 1; i++) { parent = (CategoryNode) nodes[i]; parent.setHasFatalChildren(true); nodeChanged(parent); } node.setHasFatalRecords(true); nodeChanged(node); } }
public void updateState() { if(treeModel != null) { treeModel.nodeChanged(this); } }
treeModel.nodeChanged(root);
public void updateEmptyText(String emptyText) { summary.setEmptyText(emptyText); if (summary.isLeaf()) { model.nodeChanged(summary); } }
public void resetAllNodeCounts() { Enumeration nodes = getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); nodeChanged(current); } }
protected void resetAllNodes() { Enumeration nodes = _model.getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); _model.nodeChanged(current); } } //--------------------------------------------------------------------------
public void resetAllNodeCounts() { Enumeration nodes = getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); nodeChanged(current); } }
protected void resetAllNodes() { Enumeration nodes = _model.getRootCategoryNode().depthFirstEnumeration(); CategoryNode current; while (nodes.hasMoreElements()) { current = (CategoryNode) nodes.nextElement(); current.resetNumberOfContainedRecords(); _model.nodeChanged(current); } } //--------------------------------------------------------------------------
private void setSelectionType(final TreeNode selectedNode, final int newSelectionType) { final TreeNodeInfo info = (TreeNodeInfo) ((DefaultMutableTreeNode) selectedNode).getUserObject(); if (info.getSelected() != newSelectionType) { info.setSelected(newSelectionType); treeModel.nodeChanged(selectedNode); } for (int i = 0; i < selectedNode.getChildCount(); i++) { setSelectionType(selectedNode.getChildAt(i), newSelectionType); } }