PREStore
PREStore
command/query
The PREStore command turns the prestore feature on and off. It also
defines the qualifier required to prestore only selected states. The terms
A through H are defined by the TERM command. The meaning of
INRange
and
OUTRange
is determined by the
RANGe
command.
Expressions are limited to what you could manually enter through the
Format menu. Regarding parentheses, the syntax definitions below show
only the required ones. Additional parentheses are allowed as long as the
meaning of the expression is not changed.
A detailed example is provided in figure 12-2.
The PREStore query returns the current prestore specification.
Command Syntax:
:MACHine{
1 jP}:STFtace:PREStore
{OFF
(
<
prestore-qualifier
>
}
where:
-c
prestore-qualifier
z-
:: =
{
ANYState
1
NOSTate
1
e
any-term
>
1
(-z
expression1
>
[{AND 1 OR}
c
expression2
z=
])
1
(<expression2>
[{AND]
OR}
<expression1
>
])
}
<any-term
>
:: =
{
<or-term1
z
I
<and-term1
r
I
<or_term2>
1
cand_term2>}
c
expression 1
>
::=
{
<or-term1
>
[OR
<or-term1
z-l...
1
<and-term1
>[AND
<and-term1
>I...}
c expression2
z-
:: =
{
cor_term2>
[OR
cor_term2>]...
I
cand_term2>
[AND
<and_term2>]...}
c
or-term1
z=
::=
{AIBICIDIINRangelOUTRange}
-z
and-term 1
z- :: =
{NOTAI
NOTB
1
NOTC
/
NOTD
I
INRange
1
OUTRange}
<
or-term2
>
::=
{EIFIGIH}
c
and term2
>
::=
(NOTEINOTFINOTGINOTH)
STRace Subsystem
12-10
HP 1650WHP 16518
Programming Reference