Package org.sosy_lab.common.configuration

Annotation Interface 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.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static enum 
    FileOption.Type
     

  • Required Element Summary

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

  • Element Details