Gambit5.调试.doc

Gambit 5.调试 表达式的执行可能因为下列原因而停止: 1. 运算错误，比如除0。 2. 用户中断运算 (通常是通过输入^C)。 3. 停在断点上等。 4. 单步模式被启动。 当运算被停止，一个内嵌REPL在运行上下文中被启动。 5.1 调试命令 ,? 显示内嵌REPL命令(逗号命令形式)的概要。 ,h 显示最后的执行错误。 ,(h xxx) 显示名为xxx的过程定义或宏定义。 例: ‘,(h time)’将显示time的帮助内容。 ,q 终止Gambit进程，状态值为0。相当于调用(exit 0) ,qt 终止当前线程(若为主线程，则为终止Gambit进程)。 ,t 退回到顶层REPL。 ,d 退回到上一层REPL。 ,c 在离开当前REPL之前，继续当前的执行。这个命令只能用在被用户中断，断点停止，或单步执行的情况下。 ,(c expr) 在离开当前REPL之前，将expr的结果赋给被提示未绑定数据的变量或出错的位置，并继续处理当前运算。 例如: 如果表达式’(* (/ x y) 2)’因’y’是0而报错, 那么在当前的REPL输入命令’,(c 4)’ ，’ (* (/ x y) 2)’ 表达式中的’(/ x y)’的结果被赋予4这个值(注意: 不是给y赋值，而是出错的表达式)，继续表达式的运算。执行这个命令时，要注意数据的类型。对于上面的例子，如果输入命令’,(c #f)’将会导致’*’错误。 ,s 在离开当前REPL之前，继续当前单步模式的执行。这个命令只能用在被用户中断，断点停止，或单步执行的情况下。 ,l 这个命令有点像’,s’。当程序调用返回，或者当被调用过程的执行遇到断点时将恢复到单步运行模式。 ,N 移动到N号帧。改变当前帧之后，显示该帧的一行摘要，如同,y命令。 ,N+ 向前移动N个帧。改变当前帧之后，显示该帧的一行摘要，如同,y命令。 ,N- 向后移动N个帧。改变当前帧之后，显示该帧的一行摘要，如同,y命令。 ,+ 等同于,1+。 ,- 等同于,1-。 ,++ 等同于,N+，其中N是在回溯的头部显示的帧数。 ,– 等同于,N-，其中N是在回溯的头部显示的帧数。 ,y 显示一行当前帧的摘要，以四个字段的形式显示。第一个字段是帧号， 第二个字段是创建该帧的过程或REPL。其余的字段用来描述帧相关的子问题，第三字段是子问题的源代码的位置和第四场是源代码，可能被截断以适应该行显示。如果该信息不足，最后两个字段可能不被显示。 ,b 从当前帧开始，显示回溯中的每一帧概述。若超过15帧，中间的帧有些会被忽略显示。 ,be 和,b相同，但是也显示环境。 ,bed 和,be相同，但是也显示动态环境。 ,(b X) 从第X帧开始，显示回溯中的每一帧概述。 ,(be X) 和,(b expr)相同，但是也显示环境。 ,(bed X) 和,(be expr)相同，但是也显示动态环境。 ,i 显示当前帧的过程。 ,e 显示当前帧可访问的环境。 词法变量的绑定被显示为如下格式: 　‘variable = expression’(当变量是可变的) 　‘variable == expression’(当变量是不可变的，它可以在编译时优化) 动态绑定参数被显示为如下格式: 　‘(parameter) = expression’ ,ed 和,e相同，但是动态环境总是被显示。 ,(e X) 显示第X帧可访问的环境。 ,(ed X) 和,(e X)相同，但是动态环境总是被显示。 ,st 显示当前线程组中线程的状态。一个线程的状态可以是：未初始化，初始化，活跃，和终止（正常或异常）。活动线程可以运行，休眠，等待同步对象（互斥体，条件变量或端口）也可能会超时。 ,(st expr) 显示特定的线程或线程组的状态。 expr的值必须是一个线程或线程组。 ,(v expr) 开始新的REPL来访expr的值X，X在当前帧执行expr获得。 5.2 调试例子 $ gsi Gambit v4.8.5 (define (invsqr x) (/ 1 (expt x 2))) (define (mymap fn lst) (define (mm in) (if (null? in) () (cons (fn (car in)) (mm (cdr in))))) (mm lst)) (mymap invsqr (5 2 hello 9 1)) *** ERROR IN invsqr, (console)@1.25 -- (Argument 1) NUMBER expected (expt hell