Method runAndCount

src/main/java/pascal/taie/util/Timer.java:84–93

Runs a task, log the elapsed time, and return the result. @param task task to be executed @param taskName name of the task

(Supplier<T> task, String taskName, Level level)

     * @param taskName name of the task
     */
    public static <T> T runAndCount(Supplier<T> task, String taskName, Level level) {
        logger.info("{} starts ...", taskName);
        Timer timer = new Timer(taskName);
        timer.start();
        T result = task.get();
        timer.stop();
        logger.log(level, "{} finishes, elapsed time: {}", taskName,
                String.format("%.2fs", timer.inSecond()));
        return result;
    }

    /**
     * Runs a task and log the elapsed time.