;
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.