E | |
Enabled [Register_gui] | |
F | |
FollowFocus [Register_gui] | |
H | |
Highlighted_stmt [Register_gui] | |
O | |
Options |
Use pragmas of given function.
|
P | |
Pragma [Options] |
Use pragmas of given function.
|
Print [Options] |
Print the impacted stmt on stdout.
|
R | |
Register | |
Register_gui |
Extension of the GUI for the impact plugin.
|
S | |
SelectedStmt [Register_gui] | |
Slicing [Register_gui] | |
Slicing [Options] |
Slicing from the impacted stmt.
|