// set destinationNode of the transition
String toName = transitionElement.attributeValue("to");
if (toName==null) {
addWarning("node '"+node.getFullyQualifiedName()+"' has a transition without a 'to'-attribute to specify its destinationNode");
} else {
Node to = ((NodeCollection)node.getParent()).findNode(toName);
if (to==null) {
addWarning("transition to='"+toName+"' on node '"+node.getFullyQualifiedName()+"' cannot be resolved");
} else {
to.addArrivingTransition(transition);
}
}
// read the actions
readActions(transitionElement, transition, Event.EVENTTYPE_TRANSITION);