public void setGraph(Graph graph) {
workbench.setGraph(graph);
}
private void resetDisplay() {
String option = (String) subsetCombo.getSelectedItem();
if ("Show All".equals(option)) {
final List<Integer> _subsetIndices = getAllIndices(getStoredGraphs());
subsetIndices.clear();
subsetIndices.addAll(_subsetIndices);
int min = subsetIndices.size() == 0 ? 0 : 1;
final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1);
model.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
int index = model.getNumber().intValue();
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1)));
}
});
spinner.setModel(model);
totalLabel.setText(" of " + _subsetIndices.size());
if (subsetIndices.isEmpty()) {
workbench.setGraph(new EdgeListGraph());
} else {
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0)));
}
} else if ("Show Stable".equals(option)) {
final List<Integer> _subsetIndices = getStableIndices(getStoredGraphs());
subsetIndices.clear();
subsetIndices.addAll(_subsetIndices);
int min = subsetIndices.size() == 0 ? 0 : 1;
final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1);
model.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
int index = model.getNumber().intValue();
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1)));
}
});
spinner.setModel(model);
totalLabel.setText(" of " + _subsetIndices.size());
if (subsetIndices.isEmpty()) {
workbench.setGraph(new EdgeListGraph());
} else {
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0)));
}
} else if ("Show Unstable".equals(option)) {
final List<Integer> _subsetIndices = getUnstableIndices(getStoredGraphs());
subsetIndices.clear();
subsetIndices.addAll(_subsetIndices);
int min = subsetIndices.size() == 0 ? 0 : 1;
final SpinnerNumberModel model = new SpinnerNumberModel(min, min, subsetIndices.size(), 1);
model.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
int index = model.getNumber().intValue();
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1)));
}
});
spinner.setModel(model);
totalLabel.setText(" of " + _subsetIndices.size());
if (subsetIndices.isEmpty()) {
workbench.setGraph(new EdgeListGraph());
} else {
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(0)));
}
}
}
