本文整理匯總了Java中edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow.dumpDataflow方法的典型用法代碼示例。如果您正苦於以下問題：Java UnconditionalValueDerefDataflow.dumpDataflow方法的具體用法？Java UnconditionalValueDerefDataflow.dumpDataflow怎麽用？Java UnconditionalValueDerefDataflow.dumpDataflow使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow的用法示例。
在下文中一共展示了UnconditionalValueDerefDataflow.dumpDataflow方法的1個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: analyze
import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow; //導入方法依賴的package包/類
public UnconditionalValueDerefDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)
throws CheckedAnalysisException {
MethodGen methodGen = getMethodGen(analysisCache, descriptor);
if (methodGen == null) {
throw new MethodUnprofitableException(descriptor);
}
CFG cfg = getCFG(analysisCache, descriptor);
ValueNumberDataflow vnd = getValueNumberDataflow(analysisCache, descriptor);
UnconditionalValueDerefAnalysis analysis = new UnconditionalValueDerefAnalysis(getReverseDepthFirstSearch(analysisCache,
descriptor), getDepthFirstSearch(analysisCache, descriptor), cfg, getMethod(analysisCache, descriptor),
methodGen, vnd, getAssertionMethods(analysisCache, descriptor.getClassDescriptor()));
IsNullValueDataflow inv = getIsNullValueDataflow(analysisCache, descriptor);
// XXX: hack to clear derefs on not-null branches
analysis.clearDerefsOnNonNullBranches(inv);
TypeDataflow typeDataflow = getTypeDataflow(analysisCache, descriptor);
// XXX: type analysis is needed to resolve method calls for
// checking whether call targets unconditionally dereference parameters
analysis.setTypeDataflow(typeDataflow);
UnconditionalValueDerefDataflow dataflow = new UnconditionalValueDerefDataflow(cfg, analysis);
dataflow.execute();
if (ClassContext.DUMP_DATAFLOW_ANALYSIS) {
dataflow.dumpDataflow(analysis);
}
if (UnconditionalValueDerefAnalysis.DEBUG) {
ClassContext.dumpDataflowInformation(getMethod(analysisCache, descriptor), cfg, vnd, inv, dataflow, typeDataflow);
}
return dataflow;
}