@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
47 lines • 2.37 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.LintingPrettyPrintContext = exports.LintingRuleCertainty = exports.LintingResultCertainty = void 0;
exports.isLintingResultsError = isLintingResultsError;
exports.isLintingResultsSuccess = isLintingResultsSuccess;
function isLintingResultsError(o) {
return 'error' in o;
}
function isLintingResultsSuccess(o) {
return 'results' in o;
}
var LintingResultCertainty;
(function (LintingResultCertainty) {
/**
* The linting rule cannot say for sure whether the result is correct or not.
* This linting certainty should be used for linting results whose calculations are based on estimations involving unknown side-effects, reflection, etc.
*/
LintingResultCertainty["Uncertain"] = "uncertain";
/**
* The linting rule is certain that the reported lint is real.
* This linting certainty should be used for linting results whose calculations do not involve estimates or other unknown factors.
*/
LintingResultCertainty["Certain"] = "certain";
})(LintingResultCertainty || (exports.LintingResultCertainty = LintingResultCertainty = {}));
var LintingRuleCertainty;
(function (LintingRuleCertainty) {
/**
* Linting rules that are expected to have both high precision and high recall.
*/
LintingRuleCertainty["Exact"] = "exact";
/**
* Linting rules that are expected to have high precision, but not necessarily high recall.
* Rules with this certainty generally ensure that the results they return are correct, but may not return all results.
*/
LintingRuleCertainty["BestEffort"] = "best-effort";
/**
* Linting rules that are expected to have high recall, but not necessarily high precision.
* Rules with this certainty generally return all relevant results, but may also include some incorrect matches.
*/
LintingRuleCertainty["OverApproximative"] = "over-approximative";
})(LintingRuleCertainty || (exports.LintingRuleCertainty = LintingRuleCertainty = {}));
var LintingPrettyPrintContext;
(function (LintingPrettyPrintContext) {
LintingPrettyPrintContext["Query"] = "query";
LintingPrettyPrintContext["Full"] = "full";
})(LintingPrettyPrintContext || (exports.LintingPrettyPrintContext = LintingPrettyPrintContext = {}));
//# sourceMappingURL=linter-format.js.map