Lines Matching refs:source
217 body goal in the source, so that the
219 executed. A breakpoint is specify by giving the source file and the line
405 program without having to change the source code.
1001 If given at a trace line, the command displays the source code of the
1004 a file, or the source file is inaccessible, no information can be displayed.
1006 \cmd{w}{write source context for current goal}\\
1007 Lists the source lines around the current goal displayed by the trace line,
1012 (230) 4 CALL check_word(what, _5824) %> write source lines
1027 The listing shows the line numbers for the source lines, with a \notation{>}
1037 %> 2write source lines
1048 Source is only shown if the source information is available---that is,
1050 source information; for example, goals in meta-calls (e.g., those inside a
1051 \predspec{call/1}). Also, source context cannot be shown at a RESUME port.
1479 debugger command ``\notation{.}'' normally prints the source for the predicate.
1890 create a more readable trace in the presence of source
1894 original source before transformation: