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-while-loops (and not also while loops!).