Package org.checkerframework.framework.test

Annotation Interface PerDirectorySuite.Name

Enclosing class:

PerDirectorySuite

@Retention(RUNTIME)
@Target(METHOD)
public static @interface PerDirectorySuite.Name

Name