Annotation Interface VerificationReports


@Retention(RUNTIME) @Target(TYPE) @Inherited public @interface VerificationReports
Annotation to control the generation of verification reports
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    Directory where reports should be written
    Names of the reports to generate
  • Element Details

    • value

      String[] value
      Names of the reports to generate
      Default:
      {"console"}
    • reportDir

      String reportDir
      Directory where reports should be written
      Default:
      ""