要查看跟踪器命令的简要描述,请在命令行处输入 help。另请参阅跟踪器命令。
要在跟踪器命令中包括注解,请在注解文本前添加两个正斜杠。从斜杠到行尾的命令行部分将被视为注解。例如:
trace B[5] relations // Displays a message whenever a // relation of B[5] is modified.