@informalsystems/quint/dist/src/verbosity.js

Core tool for the Quint specification language

"use strict";
/*
 * The place where the verbosity settings are checked.
 * Instead of checking verbosity levels by hand, use the helper functions
 * of the object 'verbosity'.
 *
 * Igor Konnov, Informal Systems, 2023
 *
 * Copyright 2023 Informal Systems
 * Licensed under the Apache License, Version 2.0.
 * See LICENSE in the project root for license information.
 */
Object.defineProperty(exports, "__esModule", { value: true });
exports.debugLog = exports.verbosity = void 0;
exports.verbosity = {
    /**
     * The default verbosity level.
     */
    defaultLevel: 2,
    /**
     * The maximal verbosity level.
     */
    maxVerbosity: 5,
    /**
     * Shall REPL show the prompts like '>>> ' and '... '?
     */
    hasReplPrompt: (level) => {
        return level > 0;
    },
    /**
     * Shall REPL show the banner?
     */
    hasReplBanners: (level) => {
        return level > 0;
    },
    /**
     * Shall the tool output the execution results.
     */
    hasResults: (level) => {
        return level >= 1;
    },
    /**
     * Shall the tool output details about failing tests.
     */
    hasTestDetails: (level) => {
        return level >= 2;
    },
    /**
     * Shall the tool write hints, e.g., how to change settings.
     */
    hasHints: (level) => {
        return level >= 2;
    },
    /**
     * Shall the tool write info on its progress.
     */
    hasProgress: (level) => {
        return level >= 2;
    },
    /**
     * Shall the tool output states, e.g., in counterexamples.
     */
    hasStateOutput: (level) => {
        return level >= 2;
    },
    /**
     * Shall the tool output witnesses counts.
     */
    hasWitnessesOutput: (level) => {
        return level >= 1;
    },
    /**
     * Shall the tool track and output actions that were executed.
     */
    hasActionTracking: (level) => {
        return level >= 3;
    },
    /**
     * Shall the tool track and output user-defined operators (not only actions).
     */
    hasUserOpTracking: (level) => {
        return level >= 3;
    },
    /**
     * Shall the tool output debug info.
     */
    hasDebugInfo: (level) => {
        return level >= 4;
    },
};
/**
 * Log `msg` to the console if `verbosityLevel` implies debug output.
 *
 * @param verbosityLevel  the current verbosity level (set with --verbosity)
 * @param msg             the message to log
 */
function debugLog(verbosityLevel, msg) {
    if (exports.verbosity.hasDebugInfo(verbosityLevel)) {
        console.log(msg);
    }
}
exports.debugLog = debugLog;
//# sourceMappingURL=verbosity.js.map