Index of class methods


A
actions [Design.main_window_extension_points]
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 pannel.
append_pixbuf_column [Filetree.t]
append_pixbuf_column title f 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
clear [Gtk_helper.MAKE_CUSTOM_LIST.custom_list_class]
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_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.main_window_extension_points]
Display globals in the general source_view.

E
error [Gtk_helper.host]
error [Design.main_window_extension_points]
Popup a modal dialog displaying an error message

F
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.
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_filling_actions [Cil.cilVisitor]
get the queue of actions to be performed at the end of a full copy.

H
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.

L
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 [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.
model [Filetree.t]

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

P
pAnnotatedStmt [Cil.cilPrinter]
Print an annotated statement.
pAnnotation [Cil.cilPrinter]
pAssigns [Cil.cilPrinter]
pAssigns is parameterized by its introducing keyword (i.e.
pAttr [Cil.cilPrinter]
Attribute.
pAttrParam [Cil.cilPrinter]
Attribute paramter
pAttrs [Cil.cilPrinter]
Attribute lists
pBehavior [Cil.cilPrinter]
pBlock [Cil.cilPrinter]
Print a block.
pCode_annot [Cil.cilPrinter]
pDecreases [Cil.cilPrinter]
pExp [Cil.cilPrinter]
Print expressions
pFieldDecl [Cil.cilPrinter]
A field declaration
pGlobal [Cil.cilPrinter]
Global (vars, types, etc.).
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_var [Cil.cilPrinter]
pLoop_variant [Cil.cilPrinter]
pLval [Cil.cilPrinter]
Invoked on each lvalue occurence
pOffset [Cil.cilPrinter]
Invoked on each offset occurence.
pPredicate [Cil.cilPrinter]
pPredicate_named [Cil.cilPrinter]
pQuantifiers [Cil.cilPrinter]
pSpec [Cil.cilPrinter]
pStatus [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]
pType [Cil.cilPrinter]
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.
pZone [Cil.cilPrinter]
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]
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
register_panel [Design.main_window_extension_points]
register_panel f registers a panel in GUI.
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 [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]

S
scroll [Design.main_window_extension_points]
Scroll to the given localizable in the current buffer if possible.
select_global [Filetree.t]
Selects the given variable in the tree view and run the associated callbacks.
setPrintInstrTerminator [Cil.cilPrinter]
set_current_func [Cil.cilVisitor]
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_logic_tables [Cil.cilVisitor]
Used at the beginning of the visit of a whole file to update global logic tables with copied informations when needed.
source_viewer [Design.main_window_extension_points]
The GText.view showing the AST.
startTemps [Cil.descriptiveCilPrinter]
stopTemps [Cil.descriptiveCilPrinter]

T
toplevel [Design.main_window_extension_points]
The whole GUI aka self

U
ui_manager [Design.main_window_extension_points]
Use this to add menu entries.
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 [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
vdecltype [Cabsvisit.cabsVisitor]
vdef [Cabsvisit.cabsVisitor]
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.
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.main_window_extension_points]
Display the given location in the original_source_viewer
view_original_stmt [Design.main_window_extension_points]
Display the given stmt 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 [Cil.cilVisitor]
Invoked on each instruction occurrence.
vlogic_ctor_info_decl [Cil.cilVisitor]
vlogic_ctor_info_use [Cil.cilVisitor]
vlogic_info_decl [Cil.cilVisitor]
vlogic_info_use [Cil.cilVisitor]
vlogic_type [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
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 [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.
vzone [Cil.cilVisitor]