A | |
Arithmetic_Value [Abstract_interp] | |
B | |
BOOL [Plugin] |
Signature for a boolean parameter.
|
BackwardsTransfer [Dataflow] | |
C | |
COMPLEX_VALUE [Plugin] |
input signature for
IndexedVal
|
COMPLEX_VALUE [Kernel] | |
Cacheable [Binary_cache] | |
Collapse [Abstract_interp] | |
Common [Parameters.Dynamic] |
Set of common operations on parameters.
|
D | |
DATA [Qstack] | |
F | |
ForwardsTransfer [Dataflow] | |
G | |
GEN_STRING_SET [Plugin] |
Signature for a generic set of strings option.
|
General_services [Plugin] | |
H | |
HASHTBL [Datatype] |
Sub-signature of
Hashtbl.S .
|
HASHTBL [Computation] | |
HASHTBL_OUTPUT [Computation] |
Output signature of builders of hashtables.
|
I | |
INDEXED_VAL [Plugin] |
option interface
|
INFO [Project.Computation] |
Some additional informations used by
Project.Computation.Register .
|
INOUT [Db] |
Signature for inputs and/or outputs computations.
|
INPUT [Project.Computation] |
Main input signature of
Project.Computation.Register .
|
INPUT [Project.Datatype] | |
INT [Plugin] |
Signature for an integer parameter.
|
K | |
KIND [Project] |
Common signature of kinds.
|
Key [Abstract_interp] | |
L | |
Lattice [Abstract_interp] |
Generic lattice.
|
Lattice_Base [Abstract_interp] | |
Lattice_Product [Abstract_interp] | |
Lattice_Set [Abstract_interp] | |
Lattice_Sum [Abstract_interp] | |
Lattice_With_Diff [Abstract_interp] | |
Location_map [Lmap] | |
Location_map_bitwise [Lmap_bitwise] | |
M | |
MAP [Datatype] |
Sub-signature of
Map.S .
|
Mapl [Cilutil] | |
Messages [Log] | |
Model_S [Relations_type] | |
N | |
NAME [Signature] | |
NAME_DPDS [Signature] | |
NAME_SIZE [Signature] | |
NAME_SIZE_DPDS [Signature] | |
O | |
OPTION_REF_OUTPUT [Computation] |
Output signature of
OptionRef .
|
OUTPUT [Project.Computation] |
Output signature of
Project.Computation.Register .
|
OldDynlink [Dynlink_common_interface] | |
OrderedType [SetWithNearest] |
Input signature of the functor
SetWithNearest.Make .
|
OrderedType [Rangemap] |
Input signature of the functor
Map.Make .
|
P | |
POLYMORPHIC [Type] |
For a polymorphic type value with one type variable, you must use an
implementation of this signature.
|
POLYMORPHIC2 [Type] |
Same as
POLYMORPHIC for types with two type variables.
|
Parameter [Plugin] |
Generic outputs signatures of parameters.
|
Parameter_input [Plugin] |
Minimal signature to implement for each parameter corresponding to an
option on the command line argument.
|
Parameter_input [Kernel] | |
Parameter_input_with_arg [Plugin] |
Minimal signature to implement for each parameter corresponding to an
option on the command line argument which requires an argument.
|
Parameter_input_with_arg [Kernel] | |
Q | |
QUEUE [Computation] | |
R | |
REF_INPUT [Computation] |
Signature of the stored data.
|
REF_OUTPUT [Computation] |
Output signature of
Ref .
|
Result [Binary_cache] | |
S | |
S [SetWithNearest] |
Output signature of the functor
SetWithNearest.Make .
|
S [Rangemap] |
Output signature of the functor
Map.Make .
|
S [Ptset] | |
S [Project.Datatype] |
Output of
Project.Datatype.Register .
|
S [Plugin] | |
S [Offsetmap] | |
S [Mweak] |
The output signature of the functor
Mweak.Make .
|
S [Mergemap] |
Output signature of the functor
Map.Make .
|
S [Hook] |
Output signature.
|
S [Buckx] | |
SELECTION [Kind] |
Signature of a selection of kinds.
|
SET [Datatype] |
Sub-signature of
Set.S .
|
SET [Computation] | |
SET_REF_OUTPUT [Computation] |
Output signature of builders of references on a set.
|
SIZE [Signature] | |
STACK [Cilutil] | |
STRING [Plugin] |
Signature for a string parameter.
|
STRING_LIST [Plugin] | |
STRING_SET [Plugin] | |
StmtStartData [Dataflow] | |
T | |
T_RemoveInfo [Filter] |
Signature of a module that decides which element of a function
have to be visible or not
|
Tagged_type [Ptmap] | |
V | |
Value [Abstract_interp] | |
Value_With_Id [Abstract_interp] | |
W | |
WeakHashable [Mweak] | |
WeakHashable [Buckx] | |
With_default [Lmap_bitwise] |