Package org.sosy_lab.common.configuration

Annotation Interface ClassOption

@OptionDetailAnnotation(applicableTo={}) @Documented @Retention(RUNTIME) @Target({FIELD,METHOD}) public @interface ClassOption
This is an optional annotation for all configuration options (i.e., elements that are annotated with Option) whose type is Class.

It serves to specify additional information which is required for class options.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String[]
    packagePrefix
    This field provides optional package prefixes that can be added to the specified class name.

  • Element Details

    • packagePrefix

      String[] packagePrefix
      This field provides optional package prefixes that can be added to the specified class name. First the specified class name is tried without any prefix, and then with each prefix in the given order. The result is the first class that is found.
      Default:
      {""}