/*
 * 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
/** * 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"); } }