package org.checkerframework.framework.testchecker.h1h2checker.quals; | |
import java.lang.annotation.Documented; | |
import java.lang.annotation.ElementType; | |
import java.lang.annotation.Retention; | |
import java.lang.annotation.RetentionPolicy; | |
import java.lang.annotation.Target; | |
import org.checkerframework.framework.qual.SubtypeOf; | |
@Documented | |
@Retention(RetentionPolicy.RUNTIME) | |
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) | |
@SubtypeOf({H1Top.class}) | |
public @interface H1S2 {} |