plainprintbugdescriptions.java
来自「一个查找java程序里bug的程序的源代码,该程序本身也是java写的,对提高j」· Java 代码 · 共 81 行
JAVA
81 行
/* * Generate HTML file containing bug descriptions * Copyright (C) 2004, University of Maryland * * 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.tools.html;import edu.umd.cs.findbugs.BugPattern;import java.io.IOException;import java.io.OutputStream;import java.io.PrintStream;public class PlainPrintBugDescriptions extends PrintBugDescriptions { private String docTitle; private PrintStream out; public PlainPrintBugDescriptions(String docTitle, OutputStream out) { this.docTitle = docTitle; this.out = new PrintStream(out); } protected String getDocTitle() { return docTitle; } protected PrintStream getPrintStream() { return out; } protected void prologue() throws IOException { out.println("<html><head><title>" + docTitle + "</title>"); header(); out.println("</head><body>"); beginBody(); out.println("<h1>" + docTitle + "</h1>"); } protected void emit(BugPattern bugPattern) throws IOException { out.println("<h2>" + bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription() + "</h2>"); out.println(bugPattern.getDetailText()); } protected void epilogue() throws IOException { endBody(); out.println("</body></html>"); } /** Extra stuff that can be printed in the <head> element. */ protected void header() throws IOException { } /** Extra stuff printed at the beginning of the <body> element. */ protected void beginBody() throws IOException { } /** Extra stuff printed at the end of the <body> element. */ protected void endBody() throws IOException { } public static void main(String[] args) throws Exception { String docTitle = "FindBugs Bug Descriptions"; if (args.length > 0) docTitle = args[0]; new PlainPrintBugDescriptions(docTitle, System.out).print(); }}// vim:ts=3⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?