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

package org.checkerframework.checker.testchecker.ainfer.qual

Related Packages

Package	Description
org.checkerframework.checker.testchecker.ainfer

Annotation Interfaces

Class	Description
AinferBottom	Toy type system for testing field inference.
AinferDefaultType	AinferDefaultType is used to test the relaxInference option.
AinferImplicitAnno	Toy type system for testing field inference.
AinferParent	Toy type system for testing field inference.
AinferSibling1	Toy type system for testing field inference.
AinferSibling2	Toy type system for testing field inference.
AinferSiblingWithFields	Toy type system for testing field inference.
AinferToIgnore	Toy type system for testing field inference.
AinferTop	Toy type system for testing field inference.
AinferTreatAsSibling1	A declaration annotation used to test that the API for inferring declaration annotations on parameters works properly.