|
Revision 3688, 1.3 KB
(checked in by pmoura, 21 months ago)
|
|
Code reformating.
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | |
|---|
| 2 | :- protocol(event_dbgp). |
|---|
| 3 | |
|---|
| 4 | :- info([ |
|---|
| 5 | version is 1.0, |
|---|
| 6 | date is 2000/7/24, |
|---|
| 7 | author is 'Paulo Moura', |
|---|
| 8 | comment is 'Debugging protocol similar to those found in most Prolog compilers.']). |
|---|
| 9 | |
|---|
| 10 | :- public(trace/0). |
|---|
| 11 | :- mode(trace, one). |
|---|
| 12 | :- info(trace/0, [ |
|---|
| 13 | comment is 'Starts tracing all message sending events.']). |
|---|
| 14 | |
|---|
| 15 | :- public(notrace/0). |
|---|
| 16 | :- mode(notrace, one). |
|---|
| 17 | :- info(notrace/0, [ |
|---|
| 18 | comment is 'Stops tracing.']). |
|---|
| 19 | |
|---|
| 20 | :- public(debug/0). |
|---|
| 21 | :- mode(debug, one). |
|---|
| 22 | :- info(debug/0, [ |
|---|
| 23 | comment is 'Activates spy points and starts debugging.']). |
|---|
| 24 | |
|---|
| 25 | :- public(nodebug/0). |
|---|
| 26 | :- mode(nodebug, one). |
|---|
| 27 | :- info(nodebug/0, [ |
|---|
| 28 | comment is 'Suspends spy points and stops debugging.']). |
|---|
| 29 | |
|---|
| 30 | :- public(debugging/0). |
|---|
| 31 | :- mode(debugging, zero_or_one). |
|---|
| 32 | :- info(debugging/0, [ |
|---|
| 33 | comment is 'True if the debugger is active.']). |
|---|
| 34 | |
|---|
| 35 | :- public(init/0). |
|---|
| 36 | :- mode(init, one). |
|---|
| 37 | :- info(init/0, [ |
|---|
| 38 | comment is 'Initializes debugger, turns debugging off and resets all spy points and streams.']). |
|---|
| 39 | |
|---|
| 40 | :- public(stream/2). |
|---|
| 41 | :- mode(stream(?atom, ?stream), zero_or_more). |
|---|
| 42 | :- info(stream/2, [ |
|---|
| 43 | comment is 'Current debugger input or ouput streams.', |
|---|
| 44 | argnames is ['Kind', 'Stream']]). |
|---|
| 45 | |
|---|
| 46 | :- public(set_stream/2). |
|---|
| 47 | :- mode(set_stream(+atom, +stream), one). |
|---|
| 48 | :- info(set_stream/2, [ |
|---|
| 49 | comment is 'Sets the debugger input or output stream.', |
|---|
| 50 | argnames is ['Kind', 'Stream']]). |
|---|
| 51 | |
|---|
| 52 | :- end_protocol. |
|---|
