| 81 | } |
| 82 | |
| 83 | public void setElement(String label, DBElement element) |
| 84 | { |
| 85 | if ((label == null) || (label.length() == 0)) { |
| 86 | throw new IllegalArgumentException("No database element label supplied"); |
| 87 | } |
| 88 | DBElement oldElement = (DBElement)this.labelMap.get(label); |
| 89 | if (oldElement != null) { |
| 90 | int index = this.elementList.indexOf(oldElement); |
| 91 | this.elementList.set(index, element); |
| 92 | } else { |
| 93 | this.elementList.add(element); |
| 94 | } |
| 95 | |
| 96 | this.labelMap.put(label, element); |
| 97 | } |
| 98 | |
| 99 | public int getElementCount() |
| 100 | { |