Package org.checkerframework.framework.test

Annotation Interface PerFileSuite.Name

Enclosing class:

PerFileSuite

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

Name