/** * Log the end of a particular operation the beginning of which has been * logged using logOperationStart(), using the given logging priority. * * @param operationName * @param logger * @param priority */ public static void logOperationFinish(String operationName, Logger logger, Priority priority) { if (logger.isEnabledFor(priority)) { ElkTimer timer = ElkTimer.getNamedTimer(operationName, ElkTimer.RECORD_WALLTIME); timer.stop(); logger.log(priority, operationName + " took " + timer.getTotalWallTime() / 1000000 + " ms"); } }
/** * Log the end of a particular operation the beginning of which has been * logged using logOperationStart(), using the given logging priority. * * @param operationName * @param logger * @param priority */ public static void logOperationFinish(String operationName, Logger logger, LogLevel priority) { if (LoggerWrap.isEnabledFor(logger, priority)) { ElkTimer timer = ElkTimer.getNamedTimer(operationName, ElkTimer.RECORD_WALLTIME); timer.stop(); LoggerWrap.log(logger, priority, operationName + " took " + timer.getTotalWallTime() / 1000000 + " ms"); } }
/** * Log the end of a particular operation the beginning of which has been * logged using logOperationStart(), using the given logging priority. * * @param operationName * @param logger * @param priority */ public static void logOperationFinish(String operationName, Logger logger, LogLevel priority) { if (LoggerWrap.isEnabledFor(logger, priority)) { ElkTimer timer = ElkTimer.getNamedTimer(operationName, ElkTimer.RECORD_WALLTIME); timer.stop(); LoggerWrap.log(logger, priority, operationName + " took " + timer.getTotalWallTime() / 1000000 + " ms"); } }
/** * Log the end of a particular operation the beginning of which has been * logged using logOperationStart(), using the given logging priority. * * @param operationName * @param logger * @param priority */ public static void logOperationFinish(String operationName, Logger logger, LogLevel priority) { if (LoggerWrap.isEnabledFor(logger, priority)) { ElkTimer timer = ElkTimer.getNamedTimer(operationName, ElkTimer.RECORD_WALLTIME); timer.stop(); LoggerWrap.log(logger, priority, operationName + " took " + timer.getTotalWallTime() / 1000000 + " ms"); } }