Confirmed users
497
edits
(→Grips: Give null a better form of grip.) |
(→Pause Types: Add note about pre-return and specific frames.) |
||
| Line 260: | Line 260: | ||
{ "to":<i>thread</i>, "type":"resume", "pause-for": { "pre-return":true, "pre-throw":true } } | { "to":<i>thread</i>, "type":"resume", "pause-for": { "pre-return":true, "pre-throw":true } } | ||
<i>Not correct: this pauses the first time anything returns. We need something equivalent to GDB's frame-id: an inter-pause name for a specific frame, and a way to say "run until this frame is about to be popped".</i> | |||
Certain pause types cause other pause types to be included automatically, if those pause types are not mentioned explicitly: | Certain pause types cause other pause types to be included automatically, if those pause types are not mentioned explicitly: | ||