Module Frama_c_kernel.Logic_preprocess

adds another pre-processing step in order to expand macros in annotations.

file suffix cpp file takes the file to preprocess, and the pre-processing directive, and returns the name of the file containing the completely pre-processed source. suffix will be appended to the name of intermediate files generated for pre-processing annotations (gcc pre-processing differs between .c and .cxx files)

val file : string -> ( string -> string -> string ) -> string -> Datatype.Filepath.t