Interface BugReporter

    • Method Detail

      • setErrorVerbosity

        void setErrorVerbosity​(int level)
        Set the error-reporting verbosity level.
        Parameters:
        level - the verbosity level
      • setPriorityThreshold

        void setPriorityThreshold​(int threshold)
        Set the priority threshold.
        Parameters:
        threshold - bug instances must be at least as important as this priority to be reported
      • reportBug

        void reportBug​(@Nonnull
                       BugInstance bugInstance)
        Report a bug. The implementation may report the bug immediately, or queue it for later.
        Parameters:
        bugInstance - object describing the bug instance
      • finish

        void finish()
        Finish reporting bugs. If any bug reports have been queued, calling this method will flush them.
      • reportQueuedErrors

        void reportQueuedErrors()
        Report any accumulated error messages.
      • addObserver

        void addObserver​(BugReporterObserver observer)
        Add an observer.
        Parameters:
        observer - the observer
      • getProjectStats

        ProjectStats getProjectStats()
        Get ProjectStats object used to store statistics about the overall project being analyzed.
      • getBugCollection

        @CheckForNull
        BugCollection getBugCollection()
        Get the bug collection (if any) associated with this bug reporter