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 [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_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]
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 [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]
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.