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.
      • getRealBugReporter

        BugReporter getRealBugReporter()
        Get the real bug reporter at the end of a chain of delegating bug reporters. All non-delegating bug reporters should simply "return this".
        Returns:
        the real bug reporter at the end of the chain, or this object if there is no delegation