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 !
|