Package org.checkerframework.framework.testchecker.reflection.qual

package org.checkerframework.framework.testchecker.reflection.qual

Related Packages

Package	Description
org.checkerframework.framework.testchecker.reflection

Annotation Interfaces

Class	Description
PolyTestReflect	Toy type system for testing reflection resolution.
TestReflectBottom	Toy type system for testing reflection resolution.
TestReflectSibling1	Toy type system for testing reflection resolution.
TestReflectSibling2	Toy type system for testing reflection resolution.
TestReflectTop	Toy type system for testing reflection resolution.