Package org.sosy_lab.common.configuration

Annotation Type FileOption

@OptionDetailAnnotation(applicableTo={java.io.File.class,java.nio.file.Path.class,PathTemplate.class,PathCounterTemplate.class})
@Documented
@Retention(RUNTIME)
@Target({FIELD,METHOD})
public @interface FileOption

This is an annotation providing more features for options of types File and Path. In order to use it, you need to register an instance of FileTypeConverter as a converter for FileOption.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
FileOption.Type	value	More details for file options.

Element Detail

value

FileOption.Type value

More details for file options.