Class FindUnsatisfiedObligation

    • Field Detail

      • DEBUG

        private static final boolean DEBUG
      • DEBUG_METHOD

        private static final java.lang.String DEBUG_METHOD
      • DEBUG_FP

        private static final boolean DEBUG_FP
      • COMPUTE_TRANSFERS

        private static final boolean COMPUTE_TRANSFERS
        Compute possible obligation transfers as a way of suppressing false positives due to "wrapper" objects. Not quite ready for prime time.
      • REPORT_PATH

        private static final boolean REPORT_PATH
        Report path information from point of resource creation to CFG exit. This makes the reported warning a lot easier to understand.
      • REPORT_PATH_DEBUG

        private static final boolean REPORT_PATH_DEBUG
      • REPORT_OBLIGATION_SET

        private static final boolean REPORT_OBLIGATION_SET
        Report the final obligation set as part of the BugInstance.
    • Constructor Detail

      • FindUnsatisfiedObligation

        public FindUnsatisfiedObligation​(BugReporter bugReporter)