Up
Index of values
A
add
[
State_builder.Hashtbl
]
Add a new binding.
add
[
Compute.DomSet
]
add
[
Plugin.String_collection
]
Add a string to the string set option.
add_choice
[
Plugin.Indexed_val
]
adds a new choice for the option.
B
build_dot
[
Print
]
build_reduced_graph
[
Print
]
C
clear
[
State_builder.Hashtbl
]
Clear the table.
combinePredecessors
[
Compute.DomComputer
]
combineStmtStartData
[
Compute.MakePostDom.PostComputer
]
combineSuccessors
[
Compute.MakePostDom.PostComputer
]
compute
[
Dataflow.Backwards
]
Fill in the T.stmtStartData, given a number of initial statements to start from (the sinks for the backwards data flow).
compute
[
Dataflow.Forwards
]
Fill in the T.stmtStartData, given a number of initial statements to start from.
computeFirstPredecessor
[
Compute.DomComputer
]
compute_dom
[
Compute
]
compute_postdom
[
Compute.MakePostDom
]
copy
[
Compute.DomComputer
]
D
debug
[
Compute.MakePostDom.PostComputer
]
debug
[
Compute.DomComputer
]
default_edge_attributes
[
Print.Printer
]
default_vertex_attributes
[
Print.Printer
]
dependencies
[
Compute.MakePostDomArg
]
display_dom
[
Compute
]
display_postdom
[
Compute.MakePostDom
]
doEdge
[
Compute.DomComputer
]
doGuard
[
Compute.DomComputer
]
doInstr
[
Compute.MakePostDom.PostComputer
]
doInstr
[
Compute.DomComputer
]
doStmt
[
Compute.MakePostDom.PostComputer
]
doStmt
[
Compute.DomComputer
]
dst
[
Print.Printer.E
]
E
edge_attributes
[
Print.Printer
]
eval_cond
[
Compute.MakePostDomArg
]
exists
[
Plugin.String_collection
]
Checks if at least one element of the set satisfies the predicate.
F
filterIf
[
Compute.MakePostDom.PostComputer
]
filterStmt
[
Compute.MakePostDom.PostComputer
]
filterStmt
[
Compute.DomComputer
]
find
[
State_builder.Hashtbl
]
Return the current binding of the given key.
find
[
Plugin.String_hashtbl
]
find_all
[
State_builder.Hashtbl
]
Return the list of all data associated with the given key.
fold
[
State_builder.Hashtbl
]
fold
[
Plugin.String_collection
]
Fold on each string in the set.
fold_sorted
[
State_builder.Hashtbl
]
funcExitData
[
Compute.MakePostDom.PostComputer
]
G
get_possible_values
[
Plugin.String_collection
]
What are the acceptable values for this parameter.
get_possible_values
[
Plugin.String
]
What are the acceptable values for this parameter.
get_postdom
[
Print
]
get_range
[
Plugin.Int
]
What is the possible range of values for this parameter.
get_set
[
Plugin.String_collection
]
Get a string which concatenates each string in the set with a separator.
get_stmt_dominators
[
Compute
]
get_stmt_postdominators
[
Compute.MakePostDom
]
get_subgraph
[
Print.Printer
]
get_val
[
Plugin.Indexed_val
]
the currently selected value.
graph_attributes
[
Print.Printer
]
I
incr
[
Plugin.Int
]
Increment the integer.
inter
[
Compute.DomSet
]
is_accessible
[
Compute.MakePostDomArg
]
is_dominator
[
Compute
]
is_empty
[
Plugin.String_collection
]
Check if the set is empty.
is_postdominator
[
Compute.MakePostDom
]
iter
[
State_builder.Hashtbl
]
iter
[
Plugin.String_collection
]
Iter on each string in the set.
iter_edges_e
[
Print.Printer
]
iter_sorted
[
State_builder.Hashtbl
]
iter_vertex
[
Print.Printer
]
L
length
[
State_builder.Hashtbl
]
Length of the table.
M
map
[
Compute.DomSet
]
mem
[
State_builder.Hashtbl
]
mem
[
Compute.DomSet
]
memo
[
State_builder.Hashtbl
]
Memoization.
N
name
[
Compute.MakePostDomArg
]
name
[
Compute.MakePostDom.PostComputer
]
name
[
Compute.DomComputer
]
O
off
[
Plugin.Bool
]
Set the boolean to
false
.
on
[
Plugin.Bool
]
Set the boolean to
true
.
output
[
Plugin.WithOutput
]
To be used by the plugin to output the results of the option in a controlled way.
output
[
Compute
]
P
pretty
[
Compute.MakePostDom.PostComputer
]
pretty
[
Compute.DomComputer
]
pretty
[
Print.Printer.V
]
pretty_stmt
[
Print
]
print_dot_postdom
[
Compute.MakePostDom
]
R
reachedStatement
[
Dataflow.Forwards
]
reduce
[
Print
]
s_postdom
are
s
postdominators, including
s
.
remove
[
State_builder.Hashtbl
]
remove
[
Plugin.String_collection
]
Remove a string from the option.
replace
[
State_builder.Hashtbl
]
Add a new binding.
S
set_output_dependencies
[
Plugin.WithOutput
]
Set the dependencies for the output of the option.
set_possible_values
[
Plugin.String_collection
]
Set what are the acceptable values for this parameter.
set_possible_values
[
Plugin.String
]
Set what are the acceptable values for this parameter.
set_range
[
Plugin.Int
]
Set what is the possible range of values for this parameter.
src
[
Print.Printer.E
]
stmt_can_reach
[
Compute.MakePostDom.PostComputer
]
stmt_can_reach
[
Compute.DomComputer
]
stmt_dominators
[
Compute
]
stmt_postdominators
[
Compute.MakePostDom
]
V
vertex_attributes
[
Print.Printer
]
vertex_name
[
Print.Printer
]