package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct