Jump node

This node is useful for jumping from a node to another, non-child node of the current node. The target node can be either a Start node or a Group node. It can also be used to jump to another tree (that is, another tree having no link with the current one), but this other tree must be defined in the same GraphEdit. An evolution of the plugin may add support for other trees located in other nodes.

The parameter of this node is the label of the target node. If the specified label doesn't exist in a tree around the current one, a warning is shown in the node. At the execution, an error signal is sent and the parsing is stopped.