Package org.checkerframework.common.util.count.report
package org.checkerframework.common.util.count.report
-
ClassesClassDescriptionThe Report Checker performs semantic searches over a program, for example, to find all methods that override a specific method, all classes that inherit from a specific class, or all uses of
do-whileloops (and not alsowhileloops!).