Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_style_scheme_manager

method append_search_path : string -> unit
method force_rescan : unit -> unit
method prepend_search_path : string -> unit
method search_path : string list
method set_search_path : string list -> unit
method style_scheme : string -> source_style_scheme option
method style_scheme_ids : string list