/**
* The general shutdown procedure without running plugins or using browsers.
*/
private void shutdown(long timeCrawlCalc) {
StateFlowGraph stateFlowGraph = this.getSession().getStateFlowGraph();
for (Eventable c : stateFlowGraph.getAllEdges()) {
LOGGER.info("Interaction Element= " + c.toString());
}
LOGGER.info("Total Crawling time(" + timeCrawlCalc + "ms) ~= "
+ formatRunningTime(timeCrawlCalc));
LOGGER.info("EXAMINED ELEMENTS: " + elementChecker.numberOfExaminedElements());
LOGGER.info("CLICKABLES: " + stateFlowGraph.getAllEdges().size());
LOGGER.info("STATES: " + stateFlowGraph.getAllStates().size());
LOGGER.info("Dom average size (byte): " + stateFlowGraph.getMeanStateStringSize());
LOGGER.info("DONE!!!");
}