Class TestDataflowAnalysis<Fact,​AnalysisType extends DataflowAnalysis<Fact>>

    • Field Detail

      • dataflowClassName

        private final java.lang.String dataflowClassName
      • methodName

        private final java.lang.String methodName
      • initialized

        private boolean initialized
    • Constructor Detail

      • TestDataflowAnalysis

        public TestDataflowAnalysis​(BugReporter bugReporter)
    • Method Detail

      • finishPass

        public void finishPass()
        Description copied from interface: Detector2
        This method is called at the end of the analysis pass.
        Specified by:
        finishPass in interface Detector2
      • getDetectorClassName

        public java.lang.String getDetectorClassName()
        Description copied from interface: Detector2
        Get the name of the detector class.
        Specified by:
        getDetectorClassName in interface Detector2
        Returns:
        the name of the detector class.
      • initialize

        private void initialize()
      • asDataflowClass

        private java.lang.Class<? extends Dataflow<Fact,​AnalysisType>> asDataflowClass​(java.lang.Class<?> c)