当前位置: 首页>>代码示例>>Java>>正文


Java TypeAnalysis类代码示例

本文整理汇总了Java中edu.umd.cs.findbugs.ba.type.TypeAnalysis的典型用法代码示例。如果您正苦于以下问题:Java TypeAnalysis类的具体用法?Java TypeAnalysis怎么用?Java TypeAnalysis使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。


TypeAnalysis类属于edu.umd.cs.findbugs.ba.type包,在下文中一共展示了TypeAnalysis类的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。

示例1: analyze

import edu.umd.cs.findbugs.ba.type.TypeAnalysis; //导入依赖的package包/类
public TypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
    MethodGen methodGen = getMethodGen(analysisCache, descriptor);
    if (methodGen == null) {
        throw new MethodUnprofitableException(descriptor);
    }
    CFG cfg = getCFG(analysisCache, descriptor);
    DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
    ExceptionSetFactory exceptionSetFactory = getExceptionSetFactory(analysisCache, descriptor);
    Method method = getMethod(analysisCache, descriptor);

    TypeAnalysis typeAnalysis = new TypeAnalysis(method, methodGen, cfg, dfs, AnalysisContext.currentAnalysisContext()
            .getLookupFailureCallback(), exceptionSetFactory);

    if (AnalysisContext.currentAnalysisContext().getBoolProperty(AnalysisFeatures.MODEL_INSTANCEOF)) {
        typeAnalysis.setValueNumberDataflow(getValueNumberDataflow(analysisCache, descriptor));
    }

    // Field store type database.
    // If present, this can give us more accurate type information
    // for values loaded from fields.
    typeAnalysis.setFieldStoreTypeDatabase(AnalysisContext.currentAnalysisContext().getFieldStoreTypeDatabase());

    TypeDataflow typeDataflow = new TypeDataflow(cfg, typeAnalysis);
    try {
        typeDataflow.execute();
    } catch (CheckedAnalysisException e) {
        AnalysisContext.logError("Error performing type dataflow analysis of " + descriptor, e);
        throw e;
    }
    if (TypeAnalysis.DEBUG || ClassContext.DUMP_DATAFLOW_ANALYSIS) {
        ClassContext.dumpTypeDataflow(method, cfg, typeDataflow);
    }

    return typeDataflow;
}
 
开发者ID:ytus,项目名称:findbugs-all-the-bugs,代码行数:36,代码来源:TypeDataflowFactory.java


注:本文中的edu.umd.cs.findbugs.ba.type.TypeAnalysis类示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。