JUMP -- Moves between commands in an action-list.
FORMAT
Jump label
REQUIRED ARGUMENT
label A command label. The label must appear within the same command
string. A label is an identifier consisting of one or more
alphanumeric characters followed by a colon (:). The first
character in a label must be a letter; it cannot be a digit.
OPTIONAL ARGUMENTS
None.
DESCRIPTION
You can only use JUMP within an action-list. JUMP works like a goto statement.
Use JUMP to go from one portion of an action-list to another.
In the action-list, you can specify the label before or after the corresponding
JUMP command. That is, you can jump forward or backward.
DEBUG looks for the label using a simple string matching search. Therefore, be
careful that you do not pick a label which conflicts with another part of the
line. If you have a program variable called label, for example, a line like
the following would loop incorrectly:
_ [SET label:= 5;
_ label: PRINT 'Want loop here';
_ JUMP label]
DEBUG would jump to the first "label:", rather than the second.
For full details, see Chapter 3 of the DOMAIN Language Level Debugger
Reference manual.