Package org.sosy_lab.common.configuration

Annotation Interface OptionDetailAnnotation

@Documented @Target(ANNOTATION_TYPE) @Retention(RUNTIME) public @interface OptionDetailAnnotation
This is a meta annotation that marks other annotation which may be used in conjunction with Option to provide more information for a specific option type.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Class<?>[]
    applicableTo
    The annotation is applicable to configuration of these types.

  • Element Details

    • applicableTo

      Class<?>[] applicableTo
      The annotation is applicable to configuration of these types. If a wrapper class of a primitive type is added here, the annotation automatically is also applicable to the corresponding primitive type. Otherwise types have to match exactly, i.e., no sub-types and super types.