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

annotate-do clj

(annotate-do ctx node)

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

annotate-if clj

(annotate-if {:keys [locals assumptions] :as ctx} node)

Inputs: [{:keys [locals assumptions], :as ctx} :- s/Any node :- aas/AnnotatedNode] Returns: aas/AnnotatedNode

annotate-let clj

(annotate-let ctx node)

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

annotate-loop clj

(annotate-loop {:keys [locals recur-targets] :as ctx} node)

Inputs: [{:keys [locals recur-targets], :as ctx} :- s/Any node :- aas/AnnotatedNode] Returns: aas/AnnotatedNode

annotate-loop-body-with-recur-target-widening clj

(annotate-loop-body-with-recur-target-widening ctx
                                               node
                                               final-locals
                                               recur-targets
                                               loop-id
                                               targets-v0
                                               body-v1)

annotate-recur clj

(annotate-recur {:keys [recur-targets] :as ctx} node)

Inputs: [{:keys [recur-targets], :as ctx} :- s/Any node :- aas/AnnotatedNode] Returns: aas/AnnotatedNode

binding-alias-origin clj

(binding-alias-origin init)

Inputs: [init :- s/Any] Returns: (s/maybe aos/RootOrigin)

binding-base-entry clj

(binding-base-entry ctx annotated)

binding-env-entry clj

(binding-env-entry env
                   annotated
                   {:keys [base-entry fallback-origin track-fn-binding?]})

binding-recur-target-types clj

(binding-recur-target-types ctx bindings)

Inputs: [ctx :- s/Any bindings :- s/Any] Returns: [ats/SemanticType]

if-init-nil-check-binds-same-name? clj

(if-init-nil-check-binds-same-name? init-node binding-sym)

loop-one-binding clj

(loop-one-binding ctx env binding)

nil-check-local-form-in-test? clj

(nil-check-local-form-in-test? test-node binding-sym)

nil-test-leaf-node clj

(nil-test-leaf-node node)

widen-empty-collection-recur-targets clj

(widen-empty-collection-recur-targets targets body loop-id)

Inputs: [targets :- [ats/SemanticType] body :- s/Any loop-id :- s/Any] Returns: [ats/SemanticType]

widen-int-loop-counter-recur-targets clj

(widen-int-loop-counter-recur-targets ctx targets body loop-id)

Inputs: [ctx :- s/Any targets :- [ats/SemanticType] body :- s/Any loop-id :- s/Any] Returns: [ats/SemanticType]

widen-loop-recur-targets clj

(widen-loop-recur-targets ctx targets body loop-id)

Inputs: [ctx :- s/Any targets :- [ats/SemanticType] body :- s/Any loop-id :- s/Any] Returns: [ats/SemanticType]