本文整理汇总了Java中edu.umd.cs.findbugs.ba.ClassContext.getAssertionMethods方法的典型用法代码示例。如果您正苦于以下问题:Java ClassContext.getAssertionMethods方法的具体用法?Java ClassContext.getAssertionMethods怎么用?Java ClassContext.getAssertionMethods使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类edu.umd.cs.findbugs.ba.ClassContext
的用法示例。
在下文中一共展示了ClassContext.getAssertionMethods方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: NullDerefAndRedundantComparisonFinder
import edu.umd.cs.findbugs.ba.ClassContext; //导入方法依赖的package包/类
/**
* Constructor.
*
* @param classContext
* the ClassContext
* @param method
* the method to analyze
* @param collector
* the NullDerefAndRedundantComparisonCollector used to report
* null derefs and redundant null comparisons
*/
public NullDerefAndRedundantComparisonFinder(ClassContext classContext, Method method,
NullDerefAndRedundantComparisonCollector collector) {
this.classContext = classContext;
this.method = method;
this.collector = collector;
this.findGuaranteedDerefs = classContext.getAnalysisContext().getBoolProperty(
AnalysisFeatures.TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS);
this.lineMentionedMultipleTimes = classContext.linesMentionedMultipleTimes(method);
this.redundantBranchList = new LinkedList<RedundantBranch>();
this.definitelySameBranchSet = new BitSet();
this.definitelyDifferentBranchSet = new BitSet();
this.undeterminedBranchSet = new BitSet();
this.assertionMethods = classContext.getAssertionMethods();
}