package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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