68697071727374757677787980
try { if (value instanceof NodeNetInfo) { NodeNetInfo node = (NodeNetInfo) value; switch (node.getTypeId()) { case AbstractPetriNetElementModel.PLACE_TYPE: result = place; break; case AbstractPetriNetElementModel.TRANS_SIMPLE_TYPE:
7980818283848586
root.removeAllChildren(); Iterator<AbstractPetriNetElementModel> i=elements.getRootElements().iterator(); while (i.hasNext()) { AbstractPetriNetElementModel currentNode = i.next(); root.add(new NodeNetInfo(currentNode, true)); } }