Package org.checkerframework.checker.testchecker.ainfer.qual

Annotation Interface AinferTreatAsSibling1

@Retention(RUNTIME)
@Target({PARAMETER,FIELD})
public @interface AinferTreatAsSibling1

A declaration annotation used to test that the API for inferring declaration annotations on parameters works properly. The presence of this annotation indicates that the checker should treat the annotated element as if it were annotated as AinferSibling1.