/** Description of the Method */
public void removeAllElements() {
for (Enumeration<BPM_Element> e = listModel.elements(); e.hasMoreElements(); ) {
BPM_Element elm = e.nextElement();
elm.stopMonitor();
}
listModel.removeAllElements();
}
/**
* Returns the bPM attribute of the BPMsTable object
*
* @param name The Parameter
* @return The bPM value
*/
public BPM_Element getBPM(String name) {
BPM_Element bpmElm = null;
Enumeration<BPM_Element> bpm_enum = listModel.elements();
while (bpm_enum.hasMoreElements()) {
BPM_Element bpmElm1 = bpm_enum.nextElement();
if (bpmElm1.getName().equals(name)) {
bpmElm = bpmElm1;
}
}
return bpmElm;
}
myjava.gui.syntax.Painter getPainter() {
// update painter first
this.painter =
TypeColorEntry.toPainter(this.painter.getName(), Collections.list(listModel.elements()));
return this.painter;
}
/** Description of the Method */
public void startMonitor() {
for (Enumeration<BPM_Element> e = listModel.elements(); e.hasMoreElements(); ) {
BPM_Element elm = e.nextElement();
elm.startMonitor();
}
}