(int index)
| 34 | } |
| 35 | |
| 36 | public DBElement removeElement(int index) |
| 37 | { |
| 38 | DBElement element = (DBElement)this.elementList.get(index); |
| 39 | this.elementList.remove(index); |
| 40 | String label = element.getLabel(); |
| 41 | if (label.length() != 0) { |
| 42 | this.labelMap.remove(label); |
| 43 | } |
| 44 | return element; |
| 45 | } |
| 46 | |
| 47 | public boolean removeElement(String label) |
| 48 | { |
no test coverage detected