A |
add [Wtext.marker] |
|
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] |
|
add_label [Wpane.form] |
|
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] |
|
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] |
|
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] |
|
add_toggle [Widget.group] |
|
add_tool [Wpalette.panel] |
|
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] |
|
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] |
|
attributes [Printer_api.extensible_printer_type] |
|
attrparam [Printer_api.extensible_printer_type] |
|
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] |
|
buffer [Design.reactive_buffer] |
|
builtin_logic_info [Printer_api.extensible_printer_type] |
|
button [Wpane.dialog] |
|
C |
check_menu_item [Menu_manager.item] |
|
child_at [Wtable.treemodel] |
|
children [Wtable.treemodel] |
|
clear [Wtext.text] |
|
clear [Widget.popup] |
|
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] |
|
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] |
|
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] |
|
extended [Printer_api.extensible_printer_type] |
|
F |
factory [Menu_manager.menu_manager] |
|
field [Printer_api.extensible_printer_type] |
|
fieldinfo [Printer_api.extensible_printer_type] |
|
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] |
|
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] |
|
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] |
|
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] |
|
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] |
|
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] |
|
row [Gtk_form.form] |
|
run [Wpane.dialog] |
Opens the dialog (asynchronously).
|
run [Widget.popup] |
|
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] |
|
select [Wfile.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] |
|
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_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] |
|
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] |
|
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] |
|
tool_button [Menu_manager.item] |
|
tool_button_skel [Menu_manager.item] |
|
toolbar [Menu_manager.menu_manager] |
|
toplevel [Design.main_window_extension_points] |
|
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] |
|
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] |
|
vattr [Cabsvisit.cabsVisitor] |
|
vattrparam [Cil.cilVisitor] |
|
vbehavior [Cil.cilVisitor] |
|
vblock [Cil.cilVisitor] |
|
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] |
|
vfrees [Cil.cilVisitor] |
|
vfrom [Cil.cilVisitor] |
|
vfunc [Cil.cilVisitor] |
|
vglob [Cil.cilVisitor] |
Global (vars, types, etc.)
|
vglob_aux [Visitor.frama_c_visitor] |
|
videntified_predicate [Cil.cilVisitor] |
|
videntified_term [Cil.cilVisitor] |
|
view [Wtable.columns] |
|
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] |
|
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] |
|
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] |
|
vstmt [Cabsvisit.cabsVisitor] |
|
vstmt_aux [Visitor.frama_c_visitor] |
|
vterm [Cil.cilVisitor] |
|
vterm_lhost [Cil.cilVisitor] |
|
vterm_lval [Cil.cilVisitor] |
|
vterm_node [Cil.cilVisitor] |
|
vterm_offset [Cil.cilVisitor] |
|
vtype [Cil.cilVisitor] |
|
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] |
|
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.
|