Frama_c_kernel.Json_compilation_databaseval get_flags : Datatype.Filepath.t -> string listget_flags f returns the preprocessing flags associated to file f in the JSON compilation database (when enabled), or the empty string otherwise. If not empty, the flags always start with a space.
val get_dir : Datatype.Filepath.t -> Datatype.Filepath.t optionget_dir f returns the preprocessing directory associated to file f in the JSON compilation database.
val has_entry : Datatype.Filepath.t -> boolhas_entry f returns true iff f has an entry in the JSON compilation database. Must only be called if a JCDB file has been specified.