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

AccessorPathElem clj

AccessorSummaries clj

AccessorSummary clj

analyze-source-exprs clj

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

(analyze-source-exprs dict
                      ns-sym
                      source-file
                      exprs
                      {:keys [accessor-summaries]})

Inputs: ([dict ns-sym source-file exprs] [dict ns-sym source-file exprs {:keys [accessor-summaries]}]) Returns: s/Any

analyzed-def-entry clj

(analyzed-def-entry ns-sym analyzed)

Inputs: [ns-sym :- (s/maybe s/Symbol) analyzed :- aas/AnnotatedNode] Returns: s/Any

block-in-ns clj macro

(block-in-ns _ns file & body)

check-namespace clj

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

Inputs: [opts ns-sym :- s/Symbol source-file] Returns: s/Any

Owns the full per-namespace run: :load (require), :declaration + :read + :expression (typed declarations and form checking). Returns {:results [...] :provenance {sym → Provenance}}.

check-ns clj

(check-ns ns source-file opts)

Inputs: [ns :- s/Symbol source-file opts] Returns: s/Any

check-ns-form clj

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

Inputs: [dict ignore-body :- #{s/Symbol} ns :- s/Symbol source-file source-form opts] Returns: s/Any

check-resolved-form clj

(check-resolved-form
  dict
  ignore-body
  ns-sym
  source-file
  source-form
  analyzed
  {:keys [keep-empty remove-context debug] :or {keep-empty false} :as opts})

Inputs: [dict ignore-body :- #{s/Symbol} ns-sym :- s/Symbol source-file source-form analyzed :- aas/AnnotatedNode {:keys [keep-empty remove-context debug], :or {keep-empty false}, :as opts}] Returns: s/Any

check-s-expr clj

(check-s-expr s-expr {:keys [ns source-file check-def] :as opts})

Inputs: [s-expr {:keys [ns source-file check-def], :as opts}] Returns: s/Any

def-output-results clj

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

Inputs: [dict ns-sym source-file source-form enclosing-form node :- aas/AnnotatedNode] Returns: s/Any

enclosing-form clj

(enclosing-form ns-sym source-form)

Inputs: [ns-sym :- (s/maybe s/Symbol) source-form] Returns: s/Any

expression-exception-result clj

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

Inputs: [ns-sym :- (s/maybe s/Symbol) source-file source-form e :- Throwable] Returns: s/Any

input-cast-result clj

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

Inputs: [enclosing-form node :- aas/AnnotatedNode error-groups] Returns: s/Any

input-error-group clj

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

Inputs: [expr arg-node :- (s/maybe aas/AnnotatedNode) expected :- ats/SemanticType actual :- ats/SemanticType] Returns: s/Any

load-exception-result clj

(load-exception-result ns-sym e)

Inputs: [ns-sym :- s/Symbol e :- Throwable] Returns: s/Any

match-s-exprs clj

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

Inputs: [enclosing-form node :- aas/AnnotatedNode keep-empty :- s/Bool] Returns: s/Any

method-output-type clj

(method-output-type method)

Inputs: [method] Returns: ats/SemanticType

namespace-dict clj

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

Inputs: [opts ns-sym :- s/Symbol source-file] Returns: s/Any

next-checkable-form clj

(next-checkable-form reader)

Inputs: [reader] Returns: s/Any

ns-exprs clj

(ns-exprs source-file)

Inputs: [source-file] Returns: s/Any

project-state clj

(project-state opts nss-with-source-files)

Inputs: [opts nss-with-source-files] Returns: s/Any

Source-of-truth for the project pass: per-ns admission once, dicts merged into a project-wide dict; accessor summaries collected per-ns against the merged dict; conditional descriptors enriched once on the merged dict. Returns {:dict <enriched-merged> :accessor-summaries <merged> :per-ns {ns-sym {:ignore-body :errors :provenance}}}. Threaded into every per-namespace check so cross-namespace var resolution and conditional discriminators ride the same project pass.

read-exception-result clj

(read-exception-result source-file e)

Inputs: [source-file e :- Throwable] Returns: s/Any