Java UnconditionalValueDerefDataflow類代碼示例

本文整理匯總了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;
}

開發者ID:ytus，項目名稱:findbugs-all-the-bugs，代碼行數:36，代碼來源:UnconditionalValueDerefDataflowFactory.java

示例2: UnconditionalValueDerefDataflowFactory

import edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow; //導入依賴的package包/類
/**
 * Constructor.
 */
public UnconditionalValueDerefDataflowFactory() {
    super("unconditional value dereference analysis", UnconditionalValueDerefDataflow.class);
}

開發者ID:ytus，項目名稱:findbugs-all-the-bugs，代碼行數:7，代碼來源:UnconditionalValueDerefDataflowFactory.java

示例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);
}

開發者ID:ytus，項目名稱:findbugs-all-the-bugs，代碼行數:14，代碼來源:ClassContext.java

示例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);
}

開發者ID:OpenNTF，項目名稱:FindBug-for-Domino-Designer，代碼行數:14，代碼來源:ClassContext.java

注：本文中的edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefDataflow類示例由純淨天空整理自Github/MSDocs等開源代碼及文檔管理平台，相關代碼片段篩選自各路編程大神貢獻的開源項目，源碼版權歸原作者所有，傳播和使用請參考對應項目的License；未經允許，請勿轉載。