OptionCollector (Sosy-Lab Common Library)

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

All Methods Static Methods Concrete Methods
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 `Option`s.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - 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