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

Annotation Interface AinferImplicitAnno

@SubtypeOf({AinferSibling1.class,AinferSibling2.class,AinferSiblingWithFields.class})
@Target({TYPE_USE,TYPE_PARAMETER})
@IgnoreInWholeProgramInference
@DefaultFor(types=java.lang.StringBuffer.class)
public @interface AinferImplicitAnno

Toy type system for testing field inference.

See Also:

• AinferSibling1
• AinferSibling2
• AinferParent