org.checkerframework.framework.test

Annotation Type PerFileSuite.Name

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