module Feature: sig
.. end
Extending CIL with external features
type
t = {
|
mutable fd_enabled : bool ; |
|
fd_name : string ; |
|
fd_description : string ; |
|
: (string * Arg.spec * string) list ; |
|
fd_doit : Cil.file -> unit ; |
|
fd_post_check : bool ; |
}
Description of a CIL feature.
val register : t -> unit
Register a feature to be used by CIL. Feature name must be unique.
val list_registered : unit -> t list
List registered features.
val registered : string -> bool
Check if a given feature is registered.
val find : string -> t
Find a feature by name. Raise Not_found if the feature is not registered.
val enable : string -> unit
Enable a given feature, by name. Raise
Errormsg.Error
if the feature is not
registered.
val enabled : string -> bool
Check if a given feature is enabled. Return false if the feature is not
registered.