Index of class methods


A
add_accelerator [Menu_manager.item]
Add an accelerator iff there is a menu item.
add_debug [Menu_manager.menu_manager]
Add entries to the menu dedicated to debugging tools.
add_defids [Deadcodeelim.usedDefsCollectorClass]
add_entries [Menu_manager.menu_manager]
Add entries in the given menu.
add_global_filter [Filetree.t]
add_global_filter text key f adds a filter for the visibility of the globals, according to f.
add_menu [Menu_manager.menu_manager]
add_plugin [Menu_manager.menu_manager]
Add entries dedicated to a plug-in.
add_select_function [Filetree.t]
Register a callback that is called whenever an element of the file tree is selected or unselected.
annot_window [Design.main_window_extension_points]
The information panel.
append_pixbuf_column [Filetree.t]
append_pixbuf_column title f visible appends a new column with name title to the file tree and register f as a callback computing the list of properties for this column.

B
behavior [Cil.cilVisitor]
the kind of behavior expected for the behavior
buffer [Design.reactive_buffer]

C
check_menu_item [Menu_manager.item]
clear [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
current_behavior [Cil.cilPrinter]
Returns the funbehavior being pretty-printed.
current_func [Cil.cilVisitor]
link to the current function being visited.
current_function [Cil.cilPrinter]
Returns the varinfo corresponding to the function being printed
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 [Cil.cilPrinter]
Returns the stmt being printed
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
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

F
factory [Menu_manager.menu_manager]
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.
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).
frama_c_plain_copy [Visitor.frama_c_visitor]
same as plain_copy_visitor but for frama-c specific methods
full_protect [Gtk_helper.host]
full_protect [Design.main_window_extension_points]
Lock the GUI ; run the funtion ; catch all exceptions ; Unlock GUI ; returns f ().

G
getPrintInstrTerminator [Cil.cilPrinter]
get_cur_eh [Availexpslv.aeVisitorClass]
get_cur_iosh [Reachingdefs.rdVisitorClass]
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.
good_var [Rmciltmps.unusedRemoverClass]

H
has_annot [Cil.cilPrinter]
true if current_stmt has some annotations attached to it.
help_message [Design.main_window_extension_points]
Help message displayed when entering the widget

I
insert [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
is_annot_before [Visitor.frama_c_visitor]
Used to tell if we're visiting an annotation placed before current statement.
item [Gtk_form.form]

L
label [Gtk_form.form]
launcher [Design.main_window_extension_points]
Display the analysis configuration dialog and offer the opportunity to launch to the user
locs [Design.reactive_buffer]
lower_notebook [Design.main_window_extension_points]
The lower notebook with messages tabs

M
main_window [Launcher.basic_main]
main_window [Gtk_helper.source_files_chooser_host]
main_window [Design.main_window_extension_points]
The main window
may_be_skipped [Cil.cilPrinter]
This is called to check that a given statement may be compacted with another one.
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]

O
original_source_viewer [Design.main_window_extension_points]
The multi-tab source file display widget containing the original source.

P
pAnnotatedStmt [Cil.cilPrinter]
Print an annotated statement.
pAnnotation [Cil.cilPrinter]
pAssigns [Cil.cilPrinter]
pAssigns is parameterized by its introducing keyword (i.e.
pAssumes [Cil.cilPrinter]
pAttr [Cil.cilPrinter]
Attribute.
pAttrParam [Cil.cilPrinter]
Attribute paramter
pAttrs [Cil.cilPrinter]
Attribute lists
pBehavior [Cil.cilPrinter]
pBlock [Cil.cilPrinter]
Prints a block.
pCode_annot [Cil.cilPrinter]
pComplete_behaviors [Cil.cilPrinter]
pDecreases [Cil.cilPrinter]
pDisjoint_behaviors [Cil.cilPrinter]
pExp [Cil.cilPrinter]
Print expressions
pFieldDecl [Cil.cilPrinter]
A field declaration
pFrom [Cil.cilPrinter]
prints an assignment with its dependencies.
pGlobal [Cil.cilPrinter]
Global (vars, types, etc.).
pIdentified_predicate [Cil.cilPrinter]
pInit [Cil.cilPrinter]
Print initializers.
pInstr [Cil.cilPrinter]
Invoked on each instruction occurrence.
pLabel [Cil.cilPrinter]
Label
pLineDirective [Cil.cilPrinter]
Print a line-number.
pLogic_info_use [Cil.cilPrinter]
pLogic_type [Cil.cilPrinter]
pLogic_type_def [Cil.cilPrinter]
pLogic_var [Cil.cilPrinter]
pLoop_variant [Cil.cilPrinter]
pLval [Cil.cilPrinter]
Invoked on each lvalue occurence
pOffset [Cil.cilPrinter]
Invoked on each offset occurence.
pPost_cond [Cil.cilPrinter]
pretty prints a post condition according to the exit kind it represents
pPredicate [Cil.cilPrinter]
pPredicate_named [Cil.cilPrinter]
pQuantifiers [Cil.cilPrinter]
pRequires [Cil.cilPrinter]
pSpec [Cil.cilPrinter]
pStmt [Cil.cilPrinter]
Control-flow statement.
pStmtKind [Cil.cilPrinter]
Print a statement kind.
pStmtLabels [Cil.cilPrinter]
Print only the labels of the statement.
pStmtNext [Cil.cilPrinter]
pTemps [Cil.descriptiveCilPrinter]
pTerm [Cil.cilPrinter]
pTerm_lval [Cil.cilPrinter]
pTerm_node [Cil.cilPrinter]
pTerm_offset [Cil.cilPrinter]
pTerminates [Cil.cilPrinter]
pType [Cil.cilPrinter]
Use of some type in some declaration.
pVDecl [Cil.cilPrinter]
Invoked for each variable declaration.
pVar [Cil.cilPrinter]
Invoked on each variable use.
pVarName [Cil.cilPrinter]
Invoked each time an identifier name is to be printed.
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]
pretty_information [Design.main_window_extension_points]
Pretty print a message in the annot_window.
protect [Gtk_helper.host]
protect [Design.main_window_extension_points]
Lock the GUI ; run the funtion ; 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
queueInstr [Cil.cilVisitor]
Add here instructions while visiting to queue them to preceede the current statement or instruction 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 rehilight the current displayed buffer.
requireBraces [Cil.cilPrinter]
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]

S
scroll [Design.view_code]
Move the pretty-printed source viewer to the given localizable if possible.
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]
setPrintInstrTerminator [Cil.cilPrinter]
set_current_func [Cil.cilVisitor]
set_current_kf [Visitor.frama_c_visitor]
Internal use only.
set_file_attribute [Filetree.t]
Manually set some attributes of the given filename.
set_global_attribute [Filetree.t]
Manually set some attributes of the given variable.
set_sensitive [Menu_manager.menu_manager]
Set the sensitive property of all the entries.
source_viewer [Design.main_window_extension_points]
The GText.view showing the AST.
startTemps [Cil.descriptiveCilPrinter]
stopTemps [Cil.descriptiveCilPrinter]

T
toggle_tool_button [Menu_manager.item]
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

U
unqueueInstr [Cil.cilVisitor]
Gets the queue of instructions and resets the queue.

V
vEnterScope [Cabsvisit.cabsVisitor]
vExitScope [Cabsvisit.cabsVisitor]
vannotation [Cil.cilVisitor]
vassigns [Cil.cilVisitor]
vattr [Ciltools.attribute_checker]
vattr [Cil.cilVisitor]
Attribute.
vattr [Cabsvisit.cabsVisitor]
vattrparam [Cil.cilVisitor]
Attribute parameters.
vbehavior [Cil.cilVisitor]
vblock [Rmciltmps.removeBrackets]
vblock [Rmciltmps.unusedRemoverClass]
vblock [Cil.cilVisitor]
Block.
vblock [Cabsvisit.cabsVisitor]
vcode_annot [Cil.cilVisitor]
vcompinfo [Cil.cilVisitor]
declaration of a struct/union
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 [Widen.widen_visitor]
vexpr [Rmciltmps.callTempElimClass]
vexpr [Rmciltmps.incdecTempElimClass]
vexpr [Rmciltmps.expLvTmpElimClass]
vexpr [Rmciltmps.expTempElimClass]
vexpr [Rmciltmps.useListerClass]
vexpr [Rmciltmps.memReadOrAddrOfFinderClass]
vexpr [Deadcodeelim.hasVolatile]
vexpr [Deadcodeelim.usedDefsCollectorClass]
vexpr [Ciltools.callBBVisitor]
vexpr [Cil.cilVisitor]
Invoked on each expression occurrence.
vexpr [Cabsvisit.cabsVisitor]
vexpr [Availexpslv.volatileFinderClass]
vexpr [Availexpslv.memReadOrAddrOfFinderClass]
vexpr [Usedef.useDefVisitorClass]
vfieldinfo [Cil.cilVisitor]
visit the declaration of a field of a structure or union
vfile [Cil.cilVisitor]
visit a whole file.
vfrom [Cil.cilVisitor]
vfunc [Rmciltmps.unusedRemoverClass]
vfunc [Deadcodeelim.deadCodeElimClass]
vfunc [Liveness.doFeatureClass]
vfunc [Cil.cilVisitor]
Function definition.
vglob [Cil.cilVisitor]
Global (vars, types, etc.)
vglob_aux [Visitor.frama_c_visitor]
Replacement of vglob.
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 for globals, pass the global where this occurs, and the offset
vinitexpr [Cabsvisit.cabsVisitor]
vinitoffs [Cil.cilVisitor]
Invoked on each offset appearing in the list of a CompoundInit initializer.
vinst [Rmciltmps.callTempElimClass]
vinst [Deadcodeelim.usedDefsCollectorClass]
vinst [Reachingdefs.rdVisitorClass]
vinst [Cil.cilVisitor]
Invoked on each instruction occurrence.
vinst [Availexpslv.aeVisitorClass]
vinst [Usedef.useDefVisitorClass]
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 [Deadcodeelim.hasVolatile]
vlval [Ciltools.callBBVisitor]
vlval [Cil.cilVisitor]
Invoked on each lvalue occurrence
vlval [Availexpslv.lvalFinderClass]
vlval [Usedef.useDefVisitorClass]
If onlyNoOffsetsAreDefs is true, then we need to see the varinfo in an lval along with the offset.
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_named [Cil.cilVisitor]
vquantifiers [Cil.cilVisitor]
vrooted_code_annotation [Visitor.frama_c_visitor]
visiting a rooted code annotation.
vslice_pragma [Cil.cilVisitor]
vspec [Cil.cilVisitor]
vspec [Cabsvisit.cabsVisitor]
vstmt [Widen.widen_visitor]
vstmt [Rmciltmps.unusedRemoverClass]
vstmt [Rmciltmps.defCollectorClass]
vstmt [Rmciltmps.stmtFinderClass]
vstmt [Deadcodeelim.uselessInstrElim]
vstmt [Deadcodeelim.usedDefsCollectorClass]
vstmt [Reachingdefs.rdVisitorClass]
vstmt [Liveness.doFeatureClass]
vstmt [Liveness.nullAdderClass]
vstmt [Ciltools.sidVisitor]
vstmt [Ciltools.callBBVisitor]
vstmt [Cil.cilVisitor]
Control-flow statement.
vstmt [Cabsvisit.cabsVisitor]
vstmt [Availexpslv.aeVisitorClass]
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 [Expcompare.volatileFinderClass]
vtype [Ciltools.callBBVisitor]
vtype [Ciltools.attribute_checker]
vtype [Cil.cilVisitor]
Use of some type.
vtypespec [Cabsvisit.cabsVisitor]
vvar [Cabsvisit.cabsVisitor]
vvdec [Ciltools.vidVisitor]
vvdec [Ciltools.callBBVisitor]
vvdec [Cil.cilVisitor]
Invoked for each variable declaration.
vvrbl [Rmciltmps.memReadOrAddrOfFinderClass]
vvrbl [Cil.cilVisitor]
Invoked on each variable use.
vvrbl [Availexpslv.addrOfOrGlobalFinderClass]
vvrbl [Availexpslv.viFinderClass]
vvrbl [Availexpslv.memReadOrAddrOfFinderClass]
vvrbl [Usedef.useDefVisitorClass]
this will be invoked on variable definitions only because we intercept all uses of variables in expressions !