Module Transform

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.