HP 3000 Manuals HP 3000 Manuals
Assertion Control Commands
Table I-14. Assertion Control Commands
-----------------------------------------------------------------------------------------------
| | | |
| Cmd | Syntax | Description |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| a | | Creates an assertion consisting of the |
| | { a } command-list | command list that you enter. You can |
| | { assert} | enclose the command list in braces to |
| | | separate it from other commands on the |
| | | same line. |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| aa | | Activates the assertion having the number |
| | { aa } [ number] | (ID) that you enter. Using the * option |
| | { activate assertion} [ * ] | causes all assertions to be activated. |
| | | Overall assertion mode is activated if |
| | | the last suspended assertion is |
| | | activated. |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| da | | Deletes the assertion having the number |
| | { da } [ number] | (ID) that you enter. Using the * option |
| | { delete assertion} [ * ] | causes all assertions to be deleted. |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| la | | Lists the number, the state (active or |
| | { la } | suspended) and the command list for each |
| | { list assertions} | assertion, as well as the overall |
| | | assertion state (active or suspended). |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| sa | | Suspends the assertion having the number |
| | { sa } [ number] | that you enter. Using the * option |
| | { suspend assertion} [ * ] | causes all assertions to be suspended. |
| | | Overall assertion mode is suspended if |
| | | the last active assertion is suspended. |
| | | |
-----------------------------------------------------------------------------------------------
| | | |
| ta | | Toggles the overall assertion state |
| | { ta } | between active and suspended. |
| | { toggle assertions} | |
-----------------------------------------------------------------------------------------------
| | | |
| x | | Causes program execution to stop as if a |
| | { x } [ expr] | breakpoint has been reached. If the |
| | { exit} | expression (expr) is not given or it |
| | | evaluates to zero, the debugger returns |
| | | to command mode, ignoring any remaining |
| | | commands in the assertion command list. |
| | | If expr evaluates to non-zero, any |
| | | remaining commands in the command list |
| | | are executed. |
| | | |
-----------------------------------------------------------------------------------------------