startlabel
(type: Label) |
the undefined label "?". Used as the initial value in "Reaching definitions". |
result
(type: Var) |
the special WHILE variable result.
You can use this variable in "Live variables" to signal that
a variable x should be live at the end of the program
by writing result := x; in your WHILE program and
setting the init_start value in your analysis
to lift({result}). |
vars
(type: VarSet) |
the set of all variables used in the WHILE program to analyse. |
procs
(type: ProcSet) |
the set of all procedures defined in the WHILE program plus the main program. |
labels
(type: LabelSet) |
the set of all labels in the WHILE program. |
aexpressions
(type: ExpressionSet) |
the set of all arithmetic expressions used in the WHILE program. |
bexpressions
(type: ExpressionSet) |
the set of all boolean expressions used in the WHILE program. |
expressions
(type: ExpressionSet) |
the set of all expressions used in the WHILE program.
This is equal to aexpressions + bexpressions. |
