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 get_dir : Datatype.Filepath.t -> Datatype.Filepath.t option

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

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.