Index of class methods


A
add [Wtext.marker]
Register an entry
add [Wpane.notebook]
add_accelerator [Menu_manager.item]
Add an accelerator iff there is a menu item.
add_block [Wpane.dialog]
add_column_empty [Wtable.columns]
Add an empty column that always appears after the columns created by the other add_column methods.
add_column_pixbuf [Wtable.columns]
add_column_text [Wtable.columns]
add_column_toggle [Wtable.columns]
add_debug [Menu_manager.menu_manager]
Add entries to the menu dedicated to debugging tools.
add_entries [Menu_manager.menu_manager]
Add entries in the given menu.
add_field [Wpane.form]
Inserts an entry in the form.
add_filter [Wfile.dialog]
add_global_filter [Filetree.t]
add_global_filter text key f adds a filter for the visibility of the globals, according to f.
add_item [Widget.popup]
Adds an item.
add_label [Wpane.form]
Inserts a field name.
add_label_widget [Wpane.form]
Inserts a small (fixed) widget in place of a label.
add_menu [Menu_manager.menu_manager]
add_newline [Wpane.form]
Inserts an empty line.
add_plugin [Menu_manager.menu_manager]
Add entries dedicated to a plug-in.
add_radio [Widget.group]
add_row [Wpane.dialog]
add_row [Wpane.form]
Inserts a wide entry in the form, spanning the two columns.
add_section [Wpane.form]
Starts a new section.
add_select_function [Filetree.t]
Register a callback that is called whenever an element of the file tree is selected or unselected.
add_separator [Widget.popup]
Inserts a separator.
add_toggle [Widget.group]
add_tool [Wpalette.panel]
Append a palette-tool.
add_widget [Wpalette.panel]
Append an arbitrary widget among other widget tools.
allocation [Printer_api.extensible_printer_type]
first parameter is the introducing keyword (e.g.
annot_window [Design.main_window_extension_points]
The information panel.
annotated_stmt [Printer_api.extensible_printer_type]
Print an annotated statement.
append [Wpane.warray]
append_pixbuf_column [Filetree.t]
append_pixbuf_column title f visible appends a new column with name title to the file tree and registers f as a callback computing the list of properties for this column.
append_text_column [Filetree.t]
append_text_column ~title ~tooltip ~visible ~text ~sort appends a new column with name title to the file tree, and registers text as a callback computing the text for each global variable.
assigns [Printer_api.extensible_printer_type]
first parameter is the introducing keyword (e.g.
assumes [Printer_api.extensible_printer_type]
attribute [Printer_api.extensible_printer_type]
Attribute.
attributes [Printer_api.extensible_printer_type]
Attribute lists
attrparam [Printer_api.extensible_printer_type]
Attribute parameter

B
behavior [Printer_api.extensible_printer_type]
behavior [Cil.cilVisitor]
the kind of behavior expected for the behavior.
binop [Printer_api.extensible_printer_type]
block [Printer_api.extensible_printer_type]
Prints a block.
buffer [Design.reactive_buffer]
builtin_logic_info [Printer_api.extensible_printer_type]
button [Wpane.dialog]
Closes the dialog.

C
check_menu_item [Menu_manager.item]
child_at [Wtable.treemodel]
children [Wtable.treemodel]
clear [Wtext.text]
clear [Widget.popup]
Remove all items
clear [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
clear_action [Wpalette.tool]
Deactivate and hide the action button.
code_annotation [Printer_api.extensible_printer_type]
coerce [Wutil.widget]
coerce [Wtable.columns]
widget of the scroll
coerce [Widget.widget]
compinfo [Printer_api.extensible_printer_type]
complete_behaviors [Printer_api.extensible_printer_type]
connect [Wutil.signal]
connect [Wutil.handler]
connect [Wtext.marker]
connect [Widget.signal]
connect f calls f s on each signal s.
connect [Wbox.splitter]
connect [Gtk_helper.Configuration.selector]
Register a callback invoked by the widget each time the value is edited.
constant [Printer_api.extensible_printer_type]
count_selected [Wtable.columns]
current_behavior [Printer_api.extensible_printer_type]
current_func [Cil.cilVisitor]
link to the current function being visited.
current_function [Printer_api.extensible_printer_type]
current_kf [Visitor.frama_c_visitor]
link to the kernel function currently being visited.
current_kinstr [Cil.cilVisitor]
Kstmt stmt when visiting statement stmt, Kglobal when called outside of a statement.
current_stmt [Printer_api.extensible_printer_type]
current_stmt [Cil.cilVisitor]
link to the current statement being visited.
custom_decode_iter [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_encode_iter [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_get_iter [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_get_path [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_children [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_has_child [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_n_children [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_next [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_nth_child [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_iter_parent [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
custom_value [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]

D
decreases [Printer_api.extensible_printer_type]
default [Widget.button]
delete [Wpane.entry]
When removed
disjoint_behaviors [Printer_api.extensible_printer_type]
display_globals [Design.view_code]
Display the given globals in the pretty-printed source viewer.

E
error [Gtk_helper.host]
error [Design.main_window_extension_points]
Popup a modal dialog displaying an error message.
exp [Printer_api.extensible_printer_type]
Print expressions
extended [Printer_api.extensible_printer_type]

F
factory [Menu_manager.menu_manager]
field [Printer_api.extensible_printer_type]
fieldinfo [Printer_api.extensible_printer_type]
A field declaration
file [Printer_api.extensible_printer_type]
file_tree [Design.main_window_extension_points]
The tree containing the list of files and functions
file_tree_view [Design.main_window_extension_points]
The tree view containing the list of files and functions
fill_global_tables [Cil.cilVisitor]
fill the global environment tables at the end of a full copy in a new project.
find_visible_global [Filetree.t]
find_visible_global str searches for the next occurrence of a visible global whose name contains str, starting at the currently selected element.
fire [Wutil.signal]
fire [Widget.signal]
Emits the signal to all connected listeners, if enabled and not locked.
fkind [Printer_api.extensible_printer_type]
flat_mode [Filetree.t]
Return true if the filetree currently displays all globals in flat mode (all children of the same node), false otherwise (children of the file they are declared in).
fmt [Wtext.text]
The formatter used by printf method.
force_brace [Printer_api.extensible_printer_type]
self#force_brace printer fmt x pretty prints x by using printer, but add some extra braces '{' and '}' which are hidden by default.
frama_c_plain_copy [Visitor.frama_c_visitor]
same as plain_copy_visitor but for frama-c specific methods
from [Printer_api.extensible_printer_type]
prints an assignment with its dependencies.
full_protect [Gtk_helper.host]
full_protect [Design.main_window_extension_points]
Lock the GUI ; run the function ; catch all exceptions ; Unlock GUI ; returns f ().
fundec [Printer_api.extensible_printer_type]
funspec [Printer_api.extensible_printer_type]

G
get [Wutil.selector]
get [Wtable.listmodel]
get [Wpane.warray]
get [Widget.selector]
get [Wbox.splitter]
get_file_globals [Filetree.t]
Return the names and the attributes (currently only the strikethrough property) of the globals in the file passed as argument
get_filling_actions [Cil.cilVisitor]
get the queue of actions to be performed at the end of a full copy.
get_instr_terminator [Printer_api.extensible_printer_type]
What terminator to print after an instruction.
get_items [Widget.menu]
get_view [Wtext.text]
Returns the viewer object (and the buffer it contains).
global [Printer_api.extensible_printer_type]
Global (vars, types, etc.).
global_annotation [Printer_api.extensible_printer_type]

H
has_action [Wpalette.tool]
has_annot [Printer_api.extensible_printer_type]
true if current_stmt has some annotations attached to it.
has_child [Wtable.treemodel]
help_message [Design.main_window_extension_points]
Help message displayed when entering the widget
hrule [Wtext.text]
Print an horizontal rule.

I
identified_predicate [Printer_api.extensible_printer_type]
identified_term [Printer_api.extensible_printer_type]
ikind [Printer_api.extensible_printer_type]
in_ghost_if_needed [Printer_api.extensible_printer_type]
Open a ghost context if the the first bool is true and we are not already in a ghost context.
index [Wtable.treemodel]
index [Wtable.listmodel]
init [Printer_api.extensible_printer_type]
Print initializers.
initinfo [Printer_api.extensible_printer_type]
inline_block [Printer_api.extensible_printer_type]
insert [Wpane.warray]
insert [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
insert_row [Wtable.columns]
instr [Printer_api.extensible_printer_type]
Invoked on each instruction occurrence.
is_active [Wpalette.tool]
is_selected [Wtable.columns]
item [Gtk_form.form]
iter_selected [Wtable.columns]

L
label [Printer_api.extensible_printer_type]
label [Gtk_form.form]
launcher [Design.main_window_extension_points]
Display the analysis configuration dialog and offer the opportunity to launch to the user
line_directive [Printer_api.extensible_printer_type]
Print a line-number.
lines [Wtext.text]
links [Wtext.text]
location [Printer_api.extensible_printer_type]
lock [Wutil.signal]
lock [Widget.signal]
If not locked, lock and execute the continuation and finally release the lock.
locs [Design.reactive_buffer]
logic_builtin_label [Printer_api.extensible_printer_type]
logic_constant [Printer_api.extensible_printer_type]
logic_ctor_info [Printer_api.extensible_printer_type]
logic_info [Printer_api.extensible_printer_type]
logic_label [Printer_api.extensible_printer_type]
logic_type [Printer_api.extensible_printer_type]
logic_type_def [Printer_api.extensible_printer_type]
logic_type_info [Printer_api.extensible_printer_type]
logic_var [Printer_api.extensible_printer_type]
lower_notebook [Design.main_window_extension_points]
The lower notebook with messages tabs
lval [Printer_api.extensible_printer_type]
Invoked on each lvalue occurrence

M
main_window [Launcher.basic_main]
main_window [Gtk_helper.source_files_chooser_host]
main_window [Design.main_window_extension_points]
The main window
mark [Wtext.marker]
Register the entry around the pretty-printed material.
marker [Wtext.text]
may_be_skipped [Printer_api.extensible_printer_type]
This is called to check that a given statement may be compacted with another one.
mem [Wpane.warray]
menu [Menu_manager.item]
Return the menu in which the item has been inserted, if meaningful
menu_item [Menu_manager.item]
menu_item_skel [Menu_manager.item]
menu_manager [Design.main_window_extension_points]
The object managing the menubar and the toolbar.
menubar [Menu_manager.menu_manager]
model [Filetree.t]
model_field [Printer_api.extensible_printer_type]
model_info [Printer_api.extensible_printer_type]

N
next_stmt [Printer_api.extensible_printer_type]

O
offset [Wtext.text]
offset [Printer_api.extensible_printer_type]
Invoked on each offset occurrence.
on_active [Wpalette.tool]
on_add [Wtext.marker]
on_check [Wutil.handler]
on_check v emits boolean signal (s=v) on signal s.
on_check [Widget.signal]
on_check v fires a boolean signal (s=v) on signal s.
on_click [Wtext.marker]
on_click [Wtable.columns]
on_double_click [Wtext.marker]
on_double_click [Wtable.columns]
on_event [Wutil.handler]
on_event emits a unit signal on any signal s.
on_event [Widget.signal]
on_event fires a unit signal on any signal.
on_focus [Wpane.notebook]
on_link [Wtext.text]
Short cut to links#on_click (callback without range).
on_right_click [Wtext.marker]
on_right_click [Wtable.columns]
on_selection [Wtable.columns]
on_shift_click [Wtext.marker]
on_value [Wutil.handler]
on_value v emits a unit signal on signal s=v.
on_value [Widget.signal]
on_value v fires a unit signal on signal s when s=v.
opt_funspec [Printer_api.extensible_printer_type]
original_source_viewer [Design.main_window_extension_points]
The multi-tab source file display widget containing the original source.

P
pack [Wtable.columns]
packs the scroll
parent [Wtable.treemodel]
plain_copy_visitor [Cil.cilVisitor]
a visitor who only does copies of the nodes according to behavior
pop_info [Design.main_window_extension_points]
Remove last temporary information in the status bar
pop_stmt [Cil.cilVisitor]
populate [Wutil.layout]
post_cond [Printer_api.extensible_printer_type]
pretty prints a post condition according to the exit kind it represents
pp_acsl_keyword [Printer_api.extensible_printer_type]
All ACSL keywords except logic types
pp_close_annotation [Printer_api.extensible_printer_type]
Called before/after printing an annotation comment.
pp_keyword [Printer_api.extensible_printer_type]
Modifying pretty-printer behavior
pp_open_annotation [Printer_api.extensible_printer_type]
predicate [Printer_api.extensible_printer_type]
predicate_node [Printer_api.extensible_printer_type]
pretty_information [Design.main_window_extension_points]
Pretty print a message in the annot_window, optionally scrolling it to the beginning of the message.
printf [Wtext.text]
Append material to the text buffer, optionally scrolling it to the beginning of the message (defaults to autoscrolling setting).
project [Cil.cilVisitor]
Project the visitor operates on.
protect [Gtk_helper.host]
protect [Design.main_window_extension_points]
Lock the GUI ; run the function ; catch all exceptions ; Unlock GUI The parent window must be set if this method is not called directly by the main window: it will ensure that error dialogs are transient for the right window.
push_info [Design.main_window_extension_points]
Pretty print a temporary information in the status bar
push_stmt [Cil.cilVisitor]

Q
quantifiers [Printer_api.extensible_printer_type]
queueInstr [Cil.cilVisitor]
Add here instructions while visiting to queue them to precede the current statement being processed.

R
reactive_buffer [Design.main_window_extension_points]
The buffer containing the AST.
redisplay [Design.reactive_buffer]
redisplay [Design.main_window_extension_points]
refresh [Menu_manager.menu_manager]
Reset the activation state of the buttons
refresh_columns [Filetree.t]
Refresh the state of all the non-source columns of the filetree, by hiding those that should be hidden, and displaying the others.
register_panel [Design.main_window_extension_points]
register_panel (name, widget, refresh) registers a panel in GUI.
register_reset_extension [Filetree.t]
Register a function to be called whenever the reset method of the filetree is called.
register_source_highlighter [Design.main_window_extension_points]
register an highlighting function to run on a given localizable between start and stop in the given buffer.
register_source_selector [Design.main_window_extension_points]
register an action to perform when button is released on a given localizable.
rehighlight [Design.reactive_buffer]
rehighlight [Design.main_window_extension_points]
Force to rehighlight the current displayed buffer.
relation [Printer_api.extensible_printer_type]
reload [Wtable.treemodel]
reload [Wtable.listmodel]
reload [Wtable.columns]
Structure has changed
remove [Wpane.warray]
remove_all [Wtext.text]
remove_style [Wtext.text]
require_braces [Printer_api.extensible_printer_type]
requires [Printer_api.extensible_printer_type]
reset [Printer_api.extensible_printer_type]
reset [Launcher.basic_main]
reset [Gtk_helper.source_files_chooser_host]
reset [Filetree.t]
Resynchronize the tree view with the current project state.
reset [Design.main_window_extension_points]
Reset the GUI and its extensions to its initial state
reset_current_func [Cil.cilVisitor]
reset_current_kf [Visitor.frama_c_visitor]
Internal use only.
row [Gtk_form.form]
run [Wpane.dialog]
Opens the dialog (asynchronously).
run [Widget.popup]
Run the menu.

S
scroll [Wtext.text]
Default line is last one.
scroll [Wtable.columns]
scrolled tree (build on demand)
scroll [Design.view_code]
Move the pretty-printed source viewer to the given localizable if possible.
select [Wtext.text]
When scroll:false (default), only minimal scrolling is performed to make the selection visible.
select [Wpane.dialog]
Closes the dialog.
select [Wfile.dialog]
Open the dialog.
select_global [Filetree.t]
Selects the given global in the tree view and run the associated callbacks.
select_or_display_global [Design.view_code]
This function tries to select the global in the treeview.
selected_globals [Filetree.t]
send [Wutil.selector]
send [Widget.selector]
set [Wutil.selector]
set [Wpane.warray]
set [Widget.selector]
set [Wbox.splitter]
set [Gtk_helper.Configuration.selector]
Set's widget value to given one.
set_action [Wpalette.tool]
Makes the action button visible.
set_active [Wpalette.tool]
set_autoscroll [Wtext.text]
Automatically scroll to lastly inserted text (console behavior).
set_bg [Widget.label]
set_border [Widget.toggle]
set_border [Widget.button]
set_content [Wpalette.tool]
Shall be used at most once, and before #coerce or #widget.
set_css [Wtext.text]
Override properties for the given tag name.
set_current_func [Cil.cilVisitor]
set_current_kf [Visitor.frama_c_visitor]
Internal use only.
set_display [Wfile.button]
Set the pretty-printer for button.
set_enabled [Wutil.widget]
set_enabled [Wutil.signal]
set_enabled [Widget.signal]
Turns emission of signals on or off.
set_enabled [Widget.widget]
set_entry [Wpane.warray]
set_fg [Widget.label]
set_file_attribute [Filetree.t]
Manually set some attributes of the given filename.
set_focus [Wtable.columns]
set_font [Wtext.text]
Set the font used to display the text.
set_global_attribute [Filetree.t]
Manually set some attributes of the given variable.
set_hover [Wtext.marker]
The style of hovered entries.
set_icon [Widget.toggle]
set_icon [Widget.button]
set_icon [Widget.image]
set_indent [Wtext.text]
set_instr_terminator [Printer_api.extensible_printer_type]
set_items [Widget.menu]
set_label [Wpalette.tool]
set_label [Widget.toggle]
set_label [Widget.button]
set_max [Widget.spinner]
set_min [Widget.spinner]
set_monospace [Wtext.text]
Set a monospace font
set_options [Widget.menu]
set_render [Widget.menu]
set_reset [Gtk_helper.host]
set_selection_mode [Wtable.columns]
set_sensitive [Menu_manager.menu_manager]
Set the sensitive property of all the entries.
set_status [Wpalette.tool]
set_style [Wtext.marker]
The style of added entries.
set_style [Wtext.text]
set_text [Widget.label]
set_tooltip [Wutil.gobj_action]
set_tooltip [Wpalette.tool]
set_tooltip [Widget.action]
set_tooltip [Widget.label]
set_tooltip [Wfile.button]
Set the pretty-printer for tooltip.
set_visible [Wutil.widget]
set_visible [Widget.widget]
set_width [Wtext.text]
short_extended [Printer_api.extensible_printer_type]
show_ids [Design.main_window_extension_points]
If true, the messages shown in the GUI can mention internal ids (vid, sid, etc.).
size [Wtable.listmodel]
source_viewer [Design.main_window_extension_points]
The GText.view showing the AST.
source_viewer_scroll [Design.main_window_extension_points]
The scrolling of the GText.view showing the AST.
stmt [Printer_api.extensible_printer_type]
Control-flow statement.
stmt_has_annot [Printer_api.extensible_printer_type]
true if the given statement has some annotations attached to it.
stmt_labels [Printer_api.extensible_printer_type]
Print only the labels of the statement.
stmtkind [Printer_api.extensible_printer_type]
Print a statement kind.
storage [Printer_api.extensible_printer_type]

T
term [Printer_api.extensible_printer_type]
term_binop [Printer_api.extensible_printer_type]
term_lhost [Printer_api.extensible_printer_type]
term_lval [Printer_api.extensible_printer_type]
term_node [Printer_api.extensible_printer_type]
term_offset [Printer_api.extensible_printer_type]
terminates [Printer_api.extensible_printer_type]
toggle_tool_button [Menu_manager.item]
tool [Wpalette.tool]
Self cast
tool_button [Menu_manager.item]
tool_button_skel [Menu_manager.item]
toolbar [Menu_manager.menu_manager]
toplevel [Design.main_window_extension_points]
The whole GUI aka self
typ [Printer_api.extensible_printer_type]
Use of some type in some declaration.

U
unop [Printer_api.extensible_printer_type]
unqueueInstr [Cil.cilVisitor]
Gets the queue of instructions and resets the queue.
update [Wpane.entry]
On array request
update [Wpane.warray]
Request update on each entry.
update_all [Wtable.columns]
(only) Content of rows has changed
update_row [Wtable.columns]

V
vEnterScope [Cabsvisit.cabsVisitor]
vExitScope [Cabsvisit.cabsVisitor]
vallocates [Cil.cilVisitor]
vallocation [Cil.cilVisitor]
vannotation [Cil.cilVisitor]
variant [Printer_api.extensible_printer_type]
varinfo [Printer_api.extensible_printer_type]
Invoked on each variable use.
varname [Printer_api.extensible_printer_type]
Invoked each time an identifier name is to be printed.
vassigns [Cil.cilVisitor]
vattr [Cil.cilVisitor]
Attribute.
vattr [Cabsvisit.cabsVisitor]
vattrparam [Cil.cilVisitor]
Attribute parameters.
vbehavior [Cil.cilVisitor]
vblock [Cil.cilVisitor]
Block.
vblock [Cabsvisit.cabsVisitor]
vcode_annot [Cil.cilVisitor]
vcompinfo [Cil.cilVisitor]
declaration of a struct/union
vdecl [Printer_api.extensible_printer_type]
Invoked for each variable declaration.
vdecltype [Cabsvisit.cabsVisitor]
vdef [Cabsvisit.cabsVisitor]
vdeps [Cil.cilVisitor]
venuminfo [Cil.cilVisitor]
declaration of an enumeration
venumitem [Cil.cilVisitor]
visit the declaration of an enumeration item
vexpr [Cil.cilVisitor]
Invoked on each expression occurrence.
vexpr [Cabsvisit.cabsVisitor]
vfieldinfo [Cil.cilVisitor]
visit the declaration of a field of a structure or union
vfile [Cil.cilVisitor]
visit a whole file.
vfrees [Cil.cilVisitor]
vfrom [Cil.cilVisitor]
vfunc [Cil.cilVisitor]
Function definition.
vglob [Cil.cilVisitor]
Global (vars, types, etc.)
vglob_aux [Visitor.frama_c_visitor]
Replacement of vglob.
videntified_predicate [Cil.cilVisitor]
videntified_term [Cil.cilVisitor]
view [Wtable.columns]
the tree
view [Filetree.t]
The tree view associated in which the file tree is packed.
view_original [Design.view_code]
Display the given location in the original_source_viewer
view_original_stmt [Design.view_code]
Display the given stmt in the original source viewer
view_stmt [Design.view_code]
Display the given stmt in the source_viewer and in the original_source_viewer.
vimpact_pragma [Cil.cilVisitor]
vinit [Cil.cilVisitor]
Initializers.
vinitexpr [Cabsvisit.cabsVisitor]
vinitoffs [Cil.cilVisitor]
Invoked on each offset appearing in the list of a CompoundInit initializer.
vinst [Cil.cilVisitor]
Invoked on each instruction occurrence.
vlocal_init [Cil.cilVisitor]
local initializer.
vlogic_ctor_info_decl [Cil.cilVisitor]
vlogic_ctor_info_use [Cil.cilVisitor]
vlogic_info_decl [Cil.cilVisitor]
vlogic_info_use [Cil.cilVisitor]
vlogic_label [Cil.cilVisitor]
vlogic_type [Cil.cilVisitor]
vlogic_type_def [Cil.cilVisitor]
vlogic_type_info_decl [Cil.cilVisitor]
vlogic_type_info_use [Cil.cilVisitor]
vlogic_var_decl [Cil.cilVisitor]
vlogic_var_use [Cil.cilVisitor]
vloop_pragma [Cil.cilVisitor]
vlval [Cil.cilVisitor]
Invoked on each lvalue occurrence
vmodel_info [Cil.cilVisitor]
vname [Cabsvisit.cabsVisitor]
voffs [Cil.cilVisitor]
Invoked on each offset occurrence that is *not* as part of an initializer list specification, i.e.
vpredicate [Cil.cilVisitor]
vpredicate_node [Cil.cilVisitor]
vquantifiers [Cil.cilVisitor]
vslice_pragma [Cil.cilVisitor]
vspec [Cil.cilVisitor]
vspec [Cabsvisit.cabsVisitor]
vstmt [Cil.cilVisitor]
Control-flow statement.
vstmt [Cabsvisit.cabsVisitor]
vstmt_aux [Visitor.frama_c_visitor]
Replacement of vstmt.
vterm [Cil.cilVisitor]
vterm_lhost [Cil.cilVisitor]
vterm_lval [Cil.cilVisitor]
vterm_node [Cil.cilVisitor]
vterm_offset [Cil.cilVisitor]
vtype [Cil.cilVisitor]
Use of some type.
vtypespec [Cabsvisit.cabsVisitor]
vvar [Cabsvisit.cabsVisitor]
vvdec [Cil.cilVisitor]
Invoked for each variable declaration.
vvrbl [Cil.cilVisitor]
Invoked on each variable use.

W
widget [Wutil.widget]
widget [Wpane.entry]
Returns the widget
widget [Widget.widget]
without_annot [Printer_api.extensible_printer_type]
self#without_annot printer fmt x pretty prints x by using printer, without pretty-printing its function contracts and code annotations.
wrap [Wtext.marker]
Register with #add an entry around its pretty-print.
wrap [Wtext.text]
Print with a callback to the actual bounds of the printed material after boxing.