Class JavaCodeStatistics

All Implemented Interfaces:
Processor, OptionConfiguration

@SupportedSourceVersion(RELEASE_8) public class JavaCodeStatistics extends SourceChecker
An annotation processor for counting a few specific aspects about the size of Java code:
  • The number of type parameter declarations and uses.
  • The number of array accesses and dimensions in array creations.
  • The number of type casts.

To invoke it, use

 javac -proc:only -processor org.checkerframework.common.util.count.JavaCodeStatistics MyFile.java ...
 
See Also:
  • Constructor Details

    • JavaCodeStatistics

      public JavaCodeStatistics()
      Creates a JavaCodeStatistics.
  • Method Details