Package org.checkerframework.framework.testchecker.reflection

package org.checkerframework.framework.testchecker.reflection

Related Packages

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

Classes

Class	Description
ReflectionTestAnnotatedTypeFactory	AnnotatedTypeFactory with reflection resolution enabled.
ReflectionTestChecker	Checker for a simple type system to test reflection resolution.
ReflectionTestVisitor	Visitor for a simple type system to test reflection resolution.