Package org.checkerframework.common.util.report

Class Summary

Class	Description
DoNothingChecker	This is an annotation processor that does nothing.
ReportChecker	The Report Checker for semantic searches.
ReportVisitor