Index of class methods


A
add_cast [Register.propagate]
add_decl_non_source_var [Register.propagate]

C
current_kf [Visitor.frama_c_visitor]
link to the kernel function currently being visited.

F
frama_c_plain_copy [Visitor.frama_c_visitor]
same as plain_copy_visitor but for frama-c specific methods

P
propagated [Register.propagate]

R
reset_current_kf [Visitor.frama_c_visitor]
Internal use only.

S
set_current_kf [Visitor.frama_c_visitor]
Internal use only.

V
vexpr [Register.propagate]
vfunc [Register.propagate]
vglob_aux [Register.propagate]
vglob_aux [Visitor.frama_c_visitor]
Replacement of vglob.
vlval [Register.propagate]
vstmt_aux [Register.propagate]
vstmt_aux [Visitor.frama_c_visitor]
Replacement of vstmt.
vvdec [Register.propagate]