Class ReportStats


  • public final class ReportStats
    extends Object
    Summarized info about a report.
    Author:
    Clément Fournier
    • Method Detail

      • getNumErrors

        public int getNumErrors()
      • getNumViolations

        public int getNumViolations()