public void log(){
  if (status == Status.TIMEDOUT_ANALYSIS) {
    logger.warn("String analysis timed out.");
  }
 else {
    logger.debug("Done with String analysis");
    logger.info("Generating regular expressions with timeout " + timeout);
    generateRegexs();
    if (reGenTimoutCount > 0) {
      logger.warn("Regular expression generatation timed out on " + reGenTimoutCount + " of "+ hotspots.size()+ " hotspots.");
    }
  }
}

public void log ( ) { if ( status == Status . TIMEDOUT_ANALYSIS ) { logger . warn ( "String analysis timed out." ) ; } else { logger . debug ( "Done with String analysis" ) ; logger . info ( "Generating regular expressions with timeout " + timeout ) ; generateRegexs ( ) ; if ( reGenTimoutCount > 0 ) { logger . warn ( "Regular expression generatation timed out on " + reGenTimoutCount + " of " + hotspots . size ( ) + " hotspots." ) ; } } }
dump a summary of analysis .
