Index of values


A
all_status [Generator]
annotate_kf [Visit]
Generates RTE for a single function.

C
compute [Visit]
Main entry point of the plug-in, used by -rte option: computes RTE on the whole AST.

D
div_mod_status [Generator]
divmod_assertion [Rte]
do_all_rte [Visit]
Generates all RTEs for a given function.
do_exp_annotations [Visit]
do_precond [Visit]
Generates preconditions RTE for a given function.
do_rte [Visit]
Generates all RTEs except preconditions for a given function.
do_stmt_annotations [Visit]

E
emitter [Generator]
exists [Parameter_sig.Set]
Is there some element satisfying the given predicate?

F
finite_float [Generator]
finite_float_assertion [Rte]
float_to_int [Generator]
float_to_int_assertion [Rte]
float_to_int_status [Generator]

I
initialized_status [Generator]
is_computed [Generator.S]

J
journal_register [Register]

L
lval_assertion [Rte]
lval_initialized_assertion [Rte]

M
main [Register]
mem [Parameter_sig.Set]
Does the given element belong to the set?
mem_access_status [Generator]
mult_sub_add_assertion [Rte]

N
nojournal_register [Register]

O
off [Parameter_sig.Bool]
Set the boolean to false.
on [Parameter_sig.Bool]
Set the boolean to true.

P
pointer_call [Rte]
pointer_call_status [Generator]
precond_status [Generator]

R
rte_annotations [Visit]

S
set [Generator.S]
shift_overflow_assertion [Rte]
shift_status [Generator]
shift_width_assertion [Rte]
signed_div_assertion [Rte]
signed_downcast_assertion [Rte]
signed_downcast_status [Generator]
signed_overflow_status [Generator]

U
uminus_assertion [Rte]
unsigned_downcast_assertion [Rte]
unsigned_downcast_status [Generator]
unsigned_overflow_status [Generator]

W
warn [Options]