📄 help.h
字号:
/* This module provides a convenient interface to the Debugger */
/* BOTH THE RFC AND MOD FILES OF THE MODULES TO BE DEBUGGED MUST BE ACCESSIBLE*/
#pragma Help
/*--------------------------------------------------------------*/
/* "Look" prompts the user for the name. */
/* Name can have one of the following forms: */
/* $a=STRING */
/* creates a tag which user can use later to refer to STRING.*/
/* $a= */
/* deletes the tag from the tag list. */
/* $a */
/* displays the value of the entities associated with STRING */
/* which is refered to by tag a. */
/* $a.STRING */
/* displays the value of the entities associated with STRING */
/* which is qualified by the STRING associated with tag a. */
/* STRING */
/* will display the value of the entities associated with */
/* STRING. */
/* ! */
/* will exit the debugger and continue program execution. */
/*--------------------------------------------------------------*/
/* The following convention is used for STRING: */
/* [.MODNAME.]{PROCNAME|LOCALMODNAME.}ENTITY */
/* The default MODNAME is the name of the module that calls */
/* the debugger. PROCNAME or LOCALMODNAME is the name of the */
/* procedure which statically encloses rest of the STRING. ENTITY*/
/* is the name of the entity whose value is to be displayed. */
/* An ENTITY may also be followed by a subscript or a subrange */
/* if it is an array, e.g. .Mod.array[3..9] prints 7 elements. */
/* If ENTITY is a procedure name, the heading is listed. */
/* .system.m lists the loaded modules; .system.c the call chain.*/
/* If ENTITY is a module name, the first few lines are listed. */
/* Module names can also be subscripted to examine the line */
/* identified in the call chain trace. */
/* If ENTITY is a variable with a type name of "Coroutine", the */
/* debugger will query the user to switch to that coroutine for */
/* purposes of examining its state. After switching, you can */
/* switch back to the calling coroutine by naming it in a */
/* coroutine variable or by entering ".system.r" to revert. The */
/* latter is recommended. */
void Assert(boolean b); /* debugger called if invariant b is FALSE */
void Look();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -