Class JCPreprocessor.PreprocessingStatistics

  • Enclosing class:
    JCPreprocessor

    public static final class JCPreprocessor.PreprocessingStatistics
    extends java.lang.Object
    • Field Detail

      • numberOfPreprocessed

        private final int numberOfPreprocessed
      • numberOfCopied

        private final int numberOfCopied
    • Constructor Detail

      • PreprocessingStatistics

        public PreprocessingStatistics​(int numberOfPreprocessed,
                                       int numberOfCopied)
    • Method Detail

      • getNumberOfCopied

        public int getNumberOfCopied()
      • getNumberOfPreprocessed

        public int getNumberOfPreprocessed()