module Transform: sig
.. end
Module for AST transformation
val register : (module Instantiator_builder.Generator_sig) -> unit
Registers a new Instantiator
to the visitor from the Generator_sig
module. Each new instantiator generator should call this globally.
val transform : Cil_types.file -> unit
In all selected functions of the given file, for all function call, if there
exists a instantiator module for this function, and the call is well-typed,
replaces it with a call to the generated override function and inserted the
generated function in the AST.