/** adds a new element to the list */
public final void add(GeoElement geo) {
if (!geo.isLabelSet() || !geo.hasProperties()) return;
// get type node
String typeString = geo.getObjectType();
DefaultMutableTreeNode typeNode = typeNodesMap.get(typeString);
// init type node
boolean initing = typeNode == null;
if (initing) {
String transTypeString = geo.translatedTypeString();
typeNode = new DefaultMutableTreeNode(transTypeString);
typeNodesMap.put(typeString, typeNode);
// find insert pos
int pos = root.getChildCount();
for (int i = 0; i < pos; i++) {
DefaultMutableTreeNode child = (DefaultMutableTreeNode) root.getChildAt(i);
if (transTypeString.compareTo(child.toString()) < 0) {
pos = i;
break;
}
}
treeModel.insertNodeInto(typeNode, root, pos);
}
// check if already present in type node
int pos = AlgebraView.binarySearchGeo(typeNode, geo.getLabel());
if (pos >= 0) return;
// add geo to type node
DefaultMutableTreeNode newNode = new DefaultMutableTreeNode(geo);
pos = AlgebraView.getInsertPosition(typeNode, geo, AlgebraView.SortMode.DEPENDENCY);
treeModel.insertNodeInto(newNode, typeNode, pos);
// make sure something is selected
if (getSelectionModel().isSelectionEmpty()) {
selectFirstElement();
}
}
