Package org.sosy_lab.common.configuration

Class OptionCollector

java.lang.Object

org.sosy_lab.common.configuration.OptionCollector

public final class OptionCollector
extends Object

This class collects all Options of a program.

Method Summary

Modifier and Type	Method	Description
static void	collectOptions(boolean verbose, boolean includeLibraryOptions, PrintStream out)	This function collects options from all classes and outputs them.
static void	main(String[] args)	The main-method collects all classes of a program and then it searches for all Options.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

main

public static void main(String[] args)

The main-method collects all classes of a program and then it searches for all Options.

Parameters:

args - use '-v' for verbose output

collectOptions

public static void collectOptions(boolean verbose,
 boolean includeLibraryOptions,
 PrintStream out)

This function collects options from all classes and outputs them. Error message are written to System.err.

Parameters:

verbose - short or long output?

includeLibraryOptions - whether options defined by libraries on the classpath should be included

out - the output target