package frama-c

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

Categories for this collection.

type elt = elt

Element in the category

val none : t

The category '@none'

val default : unit -> t

The '@default' category. By default, it is none.

val all : unit -> t

The '@all' category. If this category has not been created, it is none, which means 'ignored'.

  • since Silicon-20161101
val set_default : t -> unit

Modify the '@default' category.

val add : string -> State.t list -> elt Parameter_category.accessor -> t

Adds a new category for this collection with the given name, accessor and dependencies.

val enable_all : State.t list -> elt Parameter_category.accessor -> t

The category '@all' is enabled in positive occurrences, with the given interpretation. In negative occurrences, it is always enabled and '-@all' means 'empty'.

val enable_all_as : t -> unit

The category '@all' is equivalent to the given category.

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