- copy
Copy dataflow facts.
- createFact
Create empty (uninitialized) dataflow facts for one program point. A valid value
will be copied into
- factToString
Return a String representation of given Fact. For debugging purposes.
- finishIteration
Called after finishing an iteration of analysis.
- getBlockOrder
Return the BlockOrder specifying the order in which BasicBlocks should be
visited in the main datafl
- getFactAfterLocation
Get the dataflow fact representing the point just after given Location. Note
"after" is meant in the
- getFactAtLocation
Get dataflow fact at (just before) given Location. Note "before" is meant in the
logical sense, so f
- getFactOnEdge
Get the fact that is true on the given control edge.
- getLastUpdateTimestamp
- getResultFact
Get the result fact for given basic block.
- getStartFact
Get the start fact for given basic block.
- initEntryFact
Initialize the "entry" fact for the graph.