blob: bdcef53aac123c286499ecf2219163c95c439b83 [file] [log] [blame]
package org.checkerframework.framework.testchecker.util;
import java.lang.annotation.ElementType;
import java.lang.annotation.Target;
import org.checkerframework.framework.qual.QualifierForLiterals;
import org.checkerframework.framework.qual.SubtypeOf;
@SubtypeOf(PatternUnknown.class)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
@QualifierForLiterals(stringPatterns = "^[AC]$")
public @interface PatternAC {}