A | |
Action [Plugin.General_services] |
Build a boolean option initialized fo
false , that is not saved.
|
B | |
Bool [Plugin.General_services] | |
C | |
Component [Components] | |
Components |
Security component table: a security component is represented by the
statement at which a security verification should occur.
|
Components |
Searching security annotations
|
D | |
DirectHighlighterState [Register_gui] | |
E | |
EmptyString [Plugin.General_services] |
Build a string option initialized to
"" .
|
F | |
False [Plugin.General_services] |
Build a boolean option initialized to
false .
|
ForwardHighlighterState [Register_gui] | |
I | |
IndexedVal [Plugin.General_services] | |
IndirectBackwardHighlighterState [Register_gui] | |
Int [Plugin.General_services] |
Build an integer option.
|
M | |
M [Components.Component] | |
Make_HighlighterState [Register_gui] | |
Memo [Components] | |
N | |
NodeKf [Components] | |
P | |
P [Security_slicing_parameters] | |
R | |
Register_gui |
Extension of the GUI for the security plugin.
|
S | |
Security_slicing_parameters |
Security parameters
|
Slicing [Security_slicing_parameters] |
Perform the security slicing pre-analysis.
|
String [Plugin.General_services] |
Build a string option.
|
StringHashtbl [Plugin.General_services] | |
StringList [Plugin.General_services] |
Should not be used by casual users
|
StringSet [Plugin.General_services] |
Build an option as a set of strings, initialized to the empty set.
|
T | |
Todolist [Components] | |
True [Plugin.General_services] |
Build a boolean option initialized to
true .
|
Z | |
Zero [Plugin.General_services] |
Build an integer option initialized to
0 .
|