typed.clj.analyzer.passes.validate

-validate

multimethod

validate

(validate {:keys [tag], :as ast} opts)
Validate tags, classes, method calls.
Throws exceptions when invalid forms are encountered, replaces
class symbols with class objects.

Passes opts:
* :validate/throw-on-arity-mismatch
   If true, validate will throw on potential arity mismatch
* :validate/wrong-tag-handler
   If bound to a function, will invoke that function instead of
   throwing on invalid tag.
   The function takes the tag key (or :name/tag if the node is :def and
   the wrong tag is the one on the :name field meta) and the originating
   AST node and must return a map (or nil) that will be merged into the AST,
   possibly shadowing the wrong tag with Object or nil.
* :validate/unresolvable-symbol-handler
   If bound to a function, will invoke that function instead of
   throwing on unresolvable symbol.
   The function takes three arguments: the namespace (possibly nil)
   and name part of the symbol, as symbols and the originating
   AST node which can be either a :maybe-class or a :maybe-host-form,
   those nodes are documented in the tools.analyzer quickref.
   The function must return a valid tools.analyzer.jvm AST node.

validate-call

(validate-call {:keys [class instance method args tag env op], :as ast})

validate-interfaces

(validate-interfaces {:keys [env form interfaces]})

validate-tag

(validate-tag t ast opts)

validate-tag'

(validate-tag' t tag ast opts)