public static final class JCPreprocessor.PreprocessingStatistics
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
numberOfCopied |
private int |
numberOfPreprocessed |
Constructor and Description |
---|
PreprocessingStatistics(int numberOfPreprocessed,
int numberOfCopied) |
Modifier and Type | Method and Description |
---|---|
int |
getNumberOfCopied() |
int |
getNumberOfPreprocessed() |