本文整理汇总了Java中edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow类的典型用法代码示例。如果您正苦于以下问题：Java UnconditionalValueDerefDataflow类的具体用法？Java UnconditionalValueDerefDataflow怎么用？Java UnconditionalValueDerefDataflow使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
UnconditionalValueDerefDataflow类属于edu.umd.cs.findbugs.ba.deref包，在下文中一共展示了UnconditionalValueDerefDataflow类的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的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;
}
示例2: UnconditionalValueDerefDataflowFactory
import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow; //导入依赖的package包/类
/**
* Constructor.
*/
public UnconditionalValueDerefDataflowFactory() {
super("unconditional value dereference analysis", UnconditionalValueDerefDataflow.class);
}
示例3: getUnconditionalValueDerefDataflow
import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow; //导入依赖的package包/类
/**
* Get the UnconditionalValueDerefDataflow for a method.
*
* @param method
* the method
* @return the UnconditionalValueDerefDataflow
* @throws CFGBuilderException
* @throws DataflowAnalysisException
*/
public UnconditionalValueDerefDataflow getUnconditionalValueDerefDataflow(Method method) throws CFGBuilderException,
DataflowAnalysisException {
return getMethodAnalysis(UnconditionalValueDerefDataflow.class, method);
}
示例4: getUnconditionalValueDerefDataflow
import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow; //导入依赖的package包/类
/**
* Get the UnconditionalValueDerefDataflow for a method.
*
* @param method
* the method
* @return the UnconditionalValueDerefDataflow
* @throws CFGBuilderException
* @throws DataflowAnalysisException
*/
public UnconditionalValueDerefDataflow getUnconditionalValueDerefDataflow(Method method) throws CFGBuilderException,
DataflowAnalysisException {
return getMethodAnalysis(UnconditionalValueDerefDataflow.class, method);
}