Lines Matching defs:of
4 % The contents of this file are subject to the Cisco-style Mozilla Public
6 % in compliance with the License. You may obtain a copy of the License
15 % The Initial Developer of the Original Code is Cisco Systems, Inc.
32 The mapping of debugger notifications into ports is done
39 accurate trace (and to support mixing of debug/nondebug code), we also
46 of the code.
48 For the tracing of coroutining\index{coroutining}, we also have a {\bf delay} notification
53 In this redesign of the debugger, particular care has been taken to
54 allow arbitrary mixing of code with and without debug instructions,
64 the global stack. It is composed of frames of the following form:
76 A TD\index{TD} register points to the top of this stack. When a frame is popped
79 Debug notification events cause invocation of a corresponding handler
94 This would not be sufficient anyway because we can fail out of/into
95 traced/nontraced parts of the execution. The engine's retry/trust/throw
105 retry/trust instructions, otherwise we get all of them traced. This
108 Inline disjunctions are traced as a NEXT port of the predicate that
129 % We could have a stronger version of notrace which prevents any
134 % call(Goal) traces the call of Goal if there is a
147 % waking of (traced) suspensions and metacalls are shown.
153 % created. However, popping of existing frames due to failures etc must
185 \item by the port mask (globally for the rest of the execution)
210 the tracer has a number of registers that support fast pre-filtering
211 of tracer ports on a low level. These are
251 simplification of the abstract machine.
264 - PP of called predicate start
310 \subsection{Tracing of simple (emulator) builtins}
334 \subsection{Tracing delay ports of suspensions created in externals}
338 DEBUG_SUSP_EVENT instead of PSUCCEED. This will lead to invocation of