skeptic.checking.pipeline — org.clojars.nomicflux/skeptic 0.7.0

analyze-source-exprs clj

(analyze-source-exprs dict ns-sym source-file exprs)

analyzed-def-entry clj

(analyzed-def-entry ns-sym analyzed)

block-in-ns clj macro

(block-in-ns _ns file & body)

check-namespace clj

(check-namespace opts ns-sym source-file)

Owns the full per-namespace run: :load (require), :declaration + :read + :expression (typed declarations and form checking). Returns a vector of localized result maps.

check-ns clj

(check-ns dict ns source-file opts)

check-ns-form clj

(check-ns-form dict ns source-file source-form opts)

check-resolved-form clj

(check-resolved-form dict
                     ns-sym
                     source-file
                     source-form
                     analyzed
                     {:keys [keep-empty remove-context]})

check-s-expr clj

(check-s-expr dict
              s-expr
              {:keys [keep-empty remove-context ns source-file check-def]})

def-output-results clj

(def-output-results dict ns-sym source-file source-form enclosing-form node)

enclosing-form clj

(enclosing-form ns-sym source-form)

expression-exception-result clj

(expression-exception-result ns-sym source-file source-form e)

input-cast-result clj

(input-cast-result enclosing-form node error-groups)

input-error-group clj

(input-error-group expr arg-node expected actual)

load-exception-result clj

(load-exception-result ns-sym e)

match-s-exprs clj

(match-s-exprs enclosing-form node keep-empty)

method-output-type clj

(method-output-type method)

next-checkable-form clj

(next-checkable-form reader)

ns-exprs clj

(ns-exprs source-file)

read-exception-result clj

(read-exception-result source-file e)