findbugssummarystats.java

来自「一个查找java程序里bug的程序的源代码,该程序本身也是java写的,对提高j」· Java 代码 · 共 61 行

JAVA
61
字号
/* * FindBugs - Find bugs in Java programs * Copyright (C) 2003, Mike Fagan <mfagan@tde.com> *  * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. *  * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU * Lesser General Public License for more details. *  * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */package edu.umd.cs.findbugs.detect;import edu.umd.cs.findbugs.*;import edu.umd.cs.findbugs.ba.AnalysisContext;import edu.umd.cs.findbugs.ba.ClassContext;import edu.umd.cs.findbugs.visitclass.PreorderVisitor;import org.apache.bcel.classfile.JavaClass;public class FindBugsSummaryStats extends PreorderVisitor        implements Detector, BugReporterObserver {	private BugReporter bugReporter;	private ProjectStats stats;	//private AnalysisContext analysisContext;	public FindBugsSummaryStats(BugReporter bugReporter) {		this.bugReporter = bugReporter;		this.stats = bugReporter.getProjectStats();		bugReporter.addObserver(this);	}	public void setAnalysisContext(AnalysisContext analysisContext) {		//this.analysisContext = analysisContext;	}	public void visitClassContext(ClassContext classContext) {		classContext.getJavaClass().accept(this);	}	public void report() {	}	public void visit(JavaClass obj) {		super.visit(obj);		stats.addClass(getDottedClassName(), obj.isInterface());	}	public void reportBug(BugInstance bug) {		stats.addBug(bug);	}}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?