cider.nrepl.middleware.debug — cider/cider-nrepl 0.27.0-SNAPSHOT

Expression-based debugger for clojure code

*do-locals* clj

*skip-breaks* clj

Map used to determine whether to skip a breakpoint. Don't set or examine this directly, it is bound in the session binding map, use skip-breaks! and skip-breaks? instead. Its value is reset at the beginning each eval session.

*tmp-forms* clj

*tmp-locals* clj

apply-instrumented-maybe clj

(apply-instrumented-maybe var-fn args coor STATE__)

Apply var-fn or its instrumented version to args.

break clj

(break coor val locals STATE__)

Breakpoint function. Send the result of form and its coordinates to the client and wait for response with read-debug-command'.

breakpoint-if-interesting clj macro

(breakpoint-if-interesting form {:keys [coor] :as dbg-state} original-form)

Wrap form in a breakpoint if it looks interesting. Uninteresting forms are symbols that resolve to clojure.core (taking locals into account), and sexps whose head is present in irrelevant-return-value-forms. Used as :breakfunction in tag-form.

breakpoint-reader clj

(breakpoint-reader form)

#break reader. Mark form for breakpointing.

breakpoint-with-initial-debug-bindings clj macro

(breakpoint-with-initial-debug-bindings form dbg-state original-form)

debug-commands clj

An unsorted set of commands supported by the debugger.

debug-reader clj

(debug-reader form)

#dbg reader. Mark all forms in form for breakpointing. form itself is also marked.

debugger-message clj

Message used to communicate with the client. Stored by the "init-debugger" op, and used by read-debug-input to ask for debug input through the :need-debug-input status.

debugger-send clj

(debugger-send & r)

Send a response through debugger-message.

expand-break clj macro

(expand-break form {:keys [coor]} original-form)

Internal macro to avoid code repetition in breakpoint-if-interesting.

handle-debug clj

(handle-debug handler {:keys [op input session] :as msg})

instrument-and-eval clj

(instrument-and-eval form)

instrument-var-for-step-in clj

(instrument-var-for-step-in v)

Attach an instrumented version of the function in v as metadata to v, leaving the contents of the var uninstrumented.

irrelevant-return-value-forms clj

Set of special-forms whose return value we don't care about. When instrumenting, these will not be wrapped in a breakpoint.

looks-step-innable? clj

(looks-step-innable? form)

Decide whether a form looks like a call to a function that we could instrument and step into.

pr-short clj

(pr-short x)

Like pr-str but limited in length and depth.

print-options clj

print-step-indented clj

(print-step-indented depth form value)

promises clj

Map atom holding all unprocessed debug inputs. This is where the "debug" op stores replies received for debug input requests. read-debug-input will halt until it finds its input in this map (identified by a key), and will dissoc it afterwards.

read-debug-command clj

(read-debug-command coor value locals STATE__)

Read and take action on a debugging command. Ask for one of the following debug commands using read-debug-input:

next: Return value. continue: Skip the current breakpoint. continue-all: Skip breakpoints for the remainder of this eval session. in: Step into a function out: Skip breakpoints in the current sexp. here: Skip all breakpoints up till specified coordinate coord inspect: Inspect the current expression inspect-prompt: Prompt for an expression to evaluate and inspect it. locals: Inspect local variables. inject: Evaluate an expression and return it. eval: Evaluate an expression, display result, and prompt again. stacktrace: Print the current stacktrace, and prompt again. trace: Continue, printing intermediate expressions and their values. quit: Abort current eval session.

Response received can be any one of these values. It can also be a map whose :response entry is one of these values, which can thus be used to provide additional parameters. For instance, if this map has a :code entry, its value is used for operations such as :eval, which would otherwise interactively prompt for an expression.

safe-to-debug? clj

(safe-to-debug? ns)

Some namespaces are not safe to debug, because doing so can cause a stack overflow that crashes the nrepl process.

sanitize-env clj

(sanitize-env env)

Turn a macro's &env into a map usable for binding.

skip-breaks! clj

(skip-breaks! mode)

(skip-breaks! mode coor code force?)

Set the value of skip-breaks for the top-level breakpoint. Additional arguments depend on mode, and should be:

• empty for :all or :trace
• coordinates, code, and force for :deeper or :before See skip-breaks?.

skip-breaks? clj

(skip-breaks? coor STATE__)

True if the breakpoint at coordinates should be skipped.

The *skip-breaks* map stores a mode, coordinates, the code that it applies to, and a force? flag.

Behaviour depends on the mode:

• :all - return true, skipping all breaks
• :trace - return false, skip nothing
• :deeper - return true if the given coordinates are deeper than the coordinates stored in *skip-breaks*, in the same code
• :before - return true if the given coordinates represent a place before the coordinates in *skip-breaks*, in the same code

For :deeper and :before, if we are not in the same code (i.e. we have stepped into another instrumented function and code argument doesn't match old code in skip-breaks), then return the value of force?.

step-in-to-next? clj

step-in? clj

(step-in? v coor code)

Return true if we can and should step in to the function in the var v. The "should" part is determined by the value in step-in-to-next?, which gets set to true by the user sending the "step in" command.

try-if-let clj macro

(try-if-let [sym val] success-expr error-expr)

Try binding sym to val end eval success-expr or error-expr on error. On error send an eval-error message through debugger-message channel.

with-initial-debug-bindings clj macro

(with-initial-debug-bindings & body)

Let-wrap body with STATE__ map containing code, file, line, column etc. STATE__ is an anaphoric variable available to all breakpoint macros. Ends with __ to avid conflicts with user locals and to signify that it's an internal variable which is cleaned in `sanitize-env' along other clojure's temporaries.