Index of modules

B
Build
C
Callstack
Context
D
Dependency [Dive_graph]
DepthLimit [Self]
Dive
Dive_graph
Dive_types
F
FromBases [Self]
FromFunctionAlarms [Self]
H
Hashtbl [Datatype.S_with_collections]
HiddenBases [Self]
K
Key [Datatype.Hashtbl]

Datatype for the keys of the hashtbl.

Key [Datatype.Map]

Datatype for the keys of the map.

M
Main

Register the plugin in the Frama-C kernel.

Make [Datatype.Hashtbl]

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Make [Datatype.Map]

Build a datatype of the map according to the datatype of values in the map.

Map [Datatype.S_with_collections]
N
Node [Dive_graph]
Node_kind
Node_range
O
OutputDot [Self]
OutputJson [Self]
S
Self
Server_interface
Set [Datatype.S_with_collections]
U
UnfoldedBases [Self]