Class DumbMethods.RandomOnceSubDetector

java.lang.Object
edu.umd.cs.findbugs.detect.DumbMethods.SubDetector
edu.umd.cs.findbugs.detect.DumbMethods.RandomOnceSubDetector
Enclosing class:
DumbMethods

private final class DumbMethods.RandomOnceSubDetector extends DumbMethods.SubDetector
  • Field Details

    • freshRandomOnTos

      private boolean freshRandomOnTos
      True if a freshly created Random instance exists on ToS (Top op Stack)
    • freshRandomOneBelowTos

      private boolean freshRandomOneBelowTos
    • randomInitPC

      private int randomInitPC
    • pcToBugInstanceMap

      private final Map<Integer, BugInstance> pcToBugInstanceMap
  • Constructor Details

    • RandomOnceSubDetector

      private RandomOnceSubDetector()
  • Method Details