skeptic.analysis.annotate — org.clojars.nomicflux/skeptic 0.9.0-rc1

analyze-form clj

(analyze-form form)

(analyze-form form {:keys [locals ns source-file]})

Inputs: ([form :- s/Any] [form :- s/Any {:keys [locals ns source-file]} :- s/Any]) Returns: aas/AnnotatedNode

annotate-ast clj

(annotate-ast dict
              ast
              {:keys [locals name ns assumptions accessor-summaries lang]})

Inputs: [dict :- s/Any ast :- aas/AnnotatedNode {:keys [locals name ns assumptions accessor-summaries lang]} :- s/Any] Returns: aas/AnnotatedNode

annotate-form-loop clj

(annotate-form-loop dict form opts)

Inputs: [dict :- s/Any form :- s/Any opts :- s/Any] Returns: aas/AnnotatedNode

annotate-node clj

(annotate-node ctx node)

Inputs: [ctx :- s/Any node :- aas/AnnotatedNode] Returns: aas/AnnotatedNode

with-loaded-namespace-analyzer-env clj

(with-loaded-namespace-analyzer-env f)