@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault
Package org.sosy_lab.common.configuration.converters
This package provides the possibility to convert String values into appropriate objects of
certain types. This is used by the
Configuration class
to convert configuration options into objects before injecting them. The primary interface is
TypeConverter, and some default
implementations for commonly-used classes are also provided.-
Interface Summary Interface Description TypeConverter TypeConverters are used to parse Strings into instances of specific types during configuration option injection as performed byConfiguration.inject(Object). -
Class Summary Class Description ClassTypeConverter FileTypeConverter ATypeConverterfor options of typeFileorPathwhich offers some additional features like a common base directory for all output files.IntegerTypeConverter Type converter for options of types Integer/Long annotated withIntegerOption(not for integer options without this annotation).TimeSpanTypeConverter Type converter for options annotated withTimeSpanOption. -
Enum Summary Enum Description BaseTypeConverter ATypeConverterwhich handles all the trivial cases like ints, Strings, log levels, regexps, etc.