/*
* FindBugs - Find bugs in Java programs
* Copyright (C) 2005,2008 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;
import java.util.TreeSet;
/**
* Show command line help.
*
* @author David Hovemeyer
*/
public class ShowHelp {
public static void main(String[] args) {
System.out.println("FindBugs version " + Version.RELEASE + ", " + Version.WEBSITE);
DetectorFactoryCollection.instance();
System.out.println("Command line options");
TreeSet<FindBugsMain> cmds = new TreeSet<FindBugsMain>();
for(Plugin p : Plugin.getAllPlugins())
for(FindBugsMain m : p.getAllFindBugsMain())
cmds.add(m);
for(FindBugsMain m : cmds)
System.out.printf("fb %-12s %-12s %s%n", m.cmd, m.kind, m.description);
// System.out.println();
// System.out.println("GUI Options:");
// FindBugsCommandLine guiCmd = new FindBugsCommandLine(true) {
// };
// guiCmd.printUsage(System.out);
// System.out.println();
// System.out.println("TextUI Options:");
// FindBugs.showCommandLineOptions();
System.out.println();
showGeneralOptions();
}
public static void showSynopsis() {
System.out.println("Usage: findbugs [general options] [gui options]");
}
public static void showGeneralOptions() {
System.out.println("General options:");
System.out.println(" -jvmArgs args Pass args to JVM");
System.out.println(" -maxHeap size Maximum Java heap size in megabytes (default=768)");
System.out.println(" -javahome <dir> Specify location of JRE");
}
}