Annotation Type 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
      java.lang.String reportDir
      Directory where reports should be written
      java.lang.String[] value
      Names of the reports to generate
    • Element Detail

      • value

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

        java.lang.String reportDir
        Directory where reports should be written
        Default:
        ""