Index of classes


A
addrOfOrGlobalFinderClass [Availexpslv]
aeVisitorClass [Availexpslv]
attribute_checker [Ciltools]

C
callBBVisitor [Ciltools]
callTempElimClass [Rmciltmps]
check_file [File]
custom_list_class [Gtk_helper.MAKE_CUSTOM_LIST]

D
deadCodeElimClass [Deadcodeelim]
defCollectorClass [Rmciltmps]
defaultCilPrinterClass [Cil]
descriptiveCilPrinterClass [Cil]
Like defaultCilPrinterClass, but instead of temporary variable names it prints the description that was provided when the temp was created.
doFeatureClass [Liveness]
do_it [Unroll_loops]

E
error_manager [Gtk_helper]
A utility class to catch exceptions and report proper error messages.
expLvTmpElimClass [Rmciltmps]
expTempElimClass [Rmciltmps]

F
form [Gtk_form]
frama_c_copy [Visitor]
Copying visitor
frama_c_inplace [Visitor]
in-place visit.

G
genericCilVisitor [Cil]
generic visitor, parameterized by its copying behavior.
generic_frama_c_visitor [Visitor]
Generic visitor.

H
hasVolatile [Deadcodeelim]

I
incdecTempElimClass [Rmciltmps]

L
lvalFinderClass [Availexpslv]

M
main_window [Design]
memReadOrAddrOfFinderClass [Rmciltmps]
memReadOrAddrOfFinderClass [Availexpslv]
menu_manager [Menu_manager]

N
nopCabsVisitor [Cabsvisit]
nopCilVisitor [Cil]
Default in place visitor doing nothing and operating on current project.
nullAdderClass [Liveness]

P
print [Printer]
protected_menu_factory [Design]

R
rdVisitorClass [Reachingdefs]
removeBrackets [Rmciltmps]

S
sidVisitor [Ciltools]
stmtFinderClass [Rmciltmps]

U
unusedRemoverClass [Rmciltmps]
useDefVisitorClass [Usedef]
useListerClass [Rmciltmps]
usedDefsCollectorClass [Deadcodeelim]
uselessInstrElim [Deadcodeelim]

V
viFinderClass [Availexpslv]
vidVisitor [Ciltools]
volatileFinderClass [Expcompare]
volatileFinderClass [Availexpslv]

W
widen_visitor [Widen]