private void refreshAvailableEdgeTypes() { for (Object edgeType : graph.getModel().getEdgeTypeLabels()) { edgeTypeComboBox.addItem(edgeType); } }
@Override public Collection getValues() { Object[] labels = model.getEdgeTypeLabels(); ArrayList<Object> col = new ArrayList<>(labels.length); for (Object l : labels) { if (!(l == null && graph.getEdgeCount(0) == 0)) { col.add(l); } } return col; }
public Collection getEdgeTypeLabels() { Graph graph = graphModel.getGraph(); Object[] labels = graphModel.getEdgeTypeLabels(); ArrayList<Object> col = new ArrayList<>(labels.length); for (Object l : labels) { if (graph.getEdgeCount(graphModel.getEdgeType(l)) > 0) { col.add(l); } } return col; }