Frama-C:
Plug-ins:
Libraries:

Frama-C API - Parameter

Module to use for accessing parameters of plug-ins. Assume that the plug-in is already loaded.

module type Common = sig ... end

Set of common operations on parameters.

val get_parameter : string -> Typed_parameter.t

retrieve the representation of the corresponding parameter.

val get_state : string -> State.t

retrieve the state related to the corresponding parameter.

  • raises Not_found

    if the option does not correspond to an actual parameter

  • since Oxygen-20120901
module Bool : sig ... end

Boolean parameters.

module Int : sig ... end

Integer parameters.

module String : Common with type t = string

String parameters.

module Filepath : Common with type t = Datatype.Filepath.t

Filepath parameters.

module StringSet : sig ... end

Set of string parameters.

module StringList : sig ... end

List of string parameters.