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.