Interface ConfigurableBugReporter

    • Method Detail

      • setRankThreshold

        void setRankThreshold​(int threshold)
      • setUseLongBugCodes

        void setUseLongBugCodes​(boolean useLongBugCodes)
      • setOutputStream

        void setOutputStream​(java.io.PrintStream outputStream)