Module Json_compilation_database

module Json_compilation_database: sig .. end

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.


val get_flags : Datatype.Filepath.t -> string list
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.