Package org.checkerframework.framework.test

Annotation Interface TestRootDirectory

@Target(TYPE) @Retention(RUNTIME) @Inherited public @interface TestRootDirectory
Defines the path to the directory which holds test java files.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
    Path, relative to the current/module directory, within which to search for test sources.

  • Element Details

    • value

      String value
      Path, relative to the current/module directory, within which to search for test sources.
      Returns:
      tests root directory