ResultType
- Element type of the dataflow entry/exit sets.public class DataflowDumper<ResultType>
extends java.lang.Object
Constructor and Description |
---|
DataflowDumper(java.lang.String methodName,
java.lang.String analysisName)
Constructs a dumper for the given method and analysis names.
|
DataflowDumper(java.lang.String methodName,
java.lang.String analysisName,
java.lang.String filePrefix)
Constructs a dumper for the given method and analysis names.
|
Modifier and Type | Method and Description |
---|---|
void |
dump()
Dumps all previously recorded entry/exit sets into a file '<methodName>_<analysisName>.dfdump'.
|
void |
setEntrySet(BasicBlock bb,
java.util.Set<ResultType> entrySet)
Records the entry set for the given basic block.
|
void |
setExitSet(BasicBlock bb,
java.util.Set<ResultType> exitSet)
Records the exit set for the given basic block.
|
public DataflowDumper(java.lang.String methodName, java.lang.String analysisName, java.lang.String filePrefix)
methodName
- name of the method for which dataflow analysis results will be dumped.analysisName
- name of the analysis.filePrefix
- a string that will be prefixed to the dump file name.public DataflowDumper(java.lang.String methodName, java.lang.String analysisName)
methodName
- name of the method for which dataflow analysis results will be dumped.analysisName
- name of the analysis.public void setEntrySet(BasicBlock bb, java.util.Set<ResultType> entrySet)
bb
- the basic block.entrySet
- the entry set to record for bb.public void setExitSet(BasicBlock bb, java.util.Set<ResultType> exitSet)
bb
- the basic block.exitSet
- the exit set to record for bb.public void dump() throws java.io.IOException
java.io.IOException
- if the dump file cannot be opened.