Package org.checkerframework.common.util.count

package org.checkerframework.common.util.count

Related Packages

Package	Description
org.checkerframework.common.util
org.checkerframework.common.util.count.report
org.checkerframework.common.util.debug

Classes

Class	Description
AnnotationStatistics	An annotation processor for counting the annotations in a program and for listing the potential locations of annotations.
JavaCodeStatistics	An annotation processor for counting a few specific aspects about the size of Java code: The number of type parameter declarations and uses.