Class BugCounts

    • Field Detail

      • nBugs

        protected int[] nBugs
    • Constructor Detail

      • BugCounts

        BugCounts()
    • Method Detail

      • addError

        @OverridingMethodsMustInvokeSuper
        public void addError​(BugInstance bug)
      • ensureNonnullBugCounts

        protected void ensureNonnullBugCounts()
      • getTotalBugs

        public final int getTotalBugs()
      • getBugsAtPriority

        public final int getBugsAtPriority​(int p)
      • clearBugCounts

        public void clearBugCounts()
      • writeBugPriorities

        public void writeBugPriorities​(XMLOutput xmlOutput)
                                throws java.io.IOException
        Add priority attributes to a started tag. Each priority at offset n, where n > 0, is output using attribute priority_n if the value at offset n is greater than zero.
        Parameters:
        xmlOutput - an output stream for which startTag has been called but stopTag has not.
        Throws:
        java.io.IOException
      • writeBugPriorities

        public static void writeBugPriorities​(XMLOutput xmlOutput,
                                              @Nonnull
                                              int[] nBugs)
                                       throws java.io.IOException
        Throws:
        java.io.IOException