A type for program points.
A type for program points.
.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
Implements forward dataflow analysis: the transfer function is applied when inputs to a Program point change, to obtain the new output value.
the transfer function.
Return the gen and kill sets for this block.
Abstract interpretation for one instruction.
Abstract interpretation for one instruction. Very important:
liveness is a backward DFA, so this method should be used to compute
liveness *before* the given instruction i
.
the number of times we iterated before reaching a fixpoint.
the number of times we iterated before reaching a fixpoint.
Reinitialize, but keep the old solutions.
Reinitialize, but keep the old solutions. Should be used when reanalyzing the same method, after some code transformation.
collect statistics?
collect statistics?
(livenessAnalysis: StringAdd).self
(livenessAnalysis: StringFormat).self
(livenessAnalysis: ArrowAssoc[LivenessAnalysis]).x
(Since version 2.10.0) Use leftOfArrow
instead
(livenessAnalysis: Ensuring[LivenessAnalysis]).x
(Since version 2.10.0) Use resultOfEnsuring
instead