skeptic.analysis.annotate — org.clojars.nomicflux/skeptic 0.8.0

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)

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

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

annotate-form-loop clj

(annotate-form-loop dict form)

(annotate-form-loop dict form opts)

Inputs: ([dict :- s/Any form :- s/Any] [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