Frama-C:
Plug-ins:
Libraries:

Frama-C API - Json_compilation_database

val get_flags : Datatype.Filepath.t -> string list

get_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.

get_dir f returns the preprocessing directory associated to file f in the JSON compilation database.

  • since 25.0-Manganese
val has_entry : Datatype.Filepath.t -> bool

has_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.

  • since 22.0-Titanium