package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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.

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 = Filepath.t

Filepath parameters.

module StringSet : sig ... end

Set of string parameters.

module StringList : sig ... end

List of string parameters.