|
Revision 2, 1.4 KB
(checked in by pmoura, 7 years ago)
|
|
Initial revision
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | |
|---|
| 2 | :- protocol(debuggerp). |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | :- info([ |
|---|
| 6 | version is 1.0, |
|---|
| 7 | date is 2000/7/24, |
|---|
| 8 | authors is 'Paulo Moura', |
|---|
| 9 | comment is 'Debugging protocol similar to those found in most Prolog compilers.']). |
|---|
| 10 | |
|---|
| 11 | |
|---|
| 12 | :- public(trace/0). |
|---|
| 13 | |
|---|
| 14 | :- mode(trace, one). |
|---|
| 15 | |
|---|
| 16 | :- info(trace/0, [ |
|---|
| 17 | comment is 'Starts tracing all message sending events.']). |
|---|
| 18 | |
|---|
| 19 | |
|---|
| 20 | :- public(notrace/0). |
|---|
| 21 | |
|---|
| 22 | :- mode(notrace, one). |
|---|
| 23 | |
|---|
| 24 | :- info(notrace/0, [ |
|---|
| 25 | comment is 'Stops tracing.']). |
|---|
| 26 | |
|---|
| 27 | |
|---|
| 28 | :- public(debug/0). |
|---|
| 29 | |
|---|
| 30 | :- mode(debug, one). |
|---|
| 31 | |
|---|
| 32 | :- info(debug/0, [ |
|---|
| 33 | comment is 'Activates spy points and starts debugging.']). |
|---|
| 34 | |
|---|
| 35 | |
|---|
| 36 | :- public(nodebug/0). |
|---|
| 37 | |
|---|
| 38 | :- mode(nodebug, one). |
|---|
| 39 | |
|---|
| 40 | :- info(nodebug/0, [ |
|---|
| 41 | comment is 'Suspends spy points and stops debugging.']). |
|---|
| 42 | |
|---|
| 43 | |
|---|
| 44 | :- public(debugging/0). |
|---|
| 45 | |
|---|
| 46 | :- mode(debugging, zero_or_one). |
|---|
| 47 | |
|---|
| 48 | :- info(debugging/0, [ |
|---|
| 49 | comment is 'True if the debugger is active.']). |
|---|
| 50 | |
|---|
| 51 | |
|---|
| 52 | :- public(init/0). |
|---|
| 53 | |
|---|
| 54 | :- mode(init, one). |
|---|
| 55 | |
|---|
| 56 | :- info(init/0, [ |
|---|
| 57 | comment is 'Initializes debugger, turns debugging off and resets all spy points and streams.']). |
|---|
| 58 | |
|---|
| 59 | |
|---|
| 60 | :- public(stream/2). |
|---|
| 61 | |
|---|
| 62 | :- mode(stream(?atom, ?stream), zero_or_more). |
|---|
| 63 | |
|---|
| 64 | :- info(stream/2, [ |
|---|
| 65 | comment is 'Current debugger input or ouput streams.', |
|---|
| 66 | argnames is ['Kind', 'Stream']]). |
|---|
| 67 | |
|---|
| 68 | |
|---|
| 69 | :- public(set_stream/2). |
|---|
| 70 | |
|---|
| 71 | :- mode(set_stream(+atom, +stream), one). |
|---|
| 72 | |
|---|
| 73 | :- info(set_stream/2, [ |
|---|
| 74 | comment is 'Sets the debugger input or output stream.', |
|---|
| 75 | argnames is ['Kind', 'Stream']]). |
|---|
| 76 | |
|---|
| 77 | |
|---|
| 78 | :- end_protocol. |
|---|
