mirror of
https://github.com/bitburner-official/bitburner-src.git
synced 2024-11-30 03:23:48 +01:00
84 lines
2.7 KiB
JavaScript
84 lines
2.7 KiB
JavaScript
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
// Distributed under an MIT license: https://codemirror.net/LICENSE
|
|
|
|
(function(mod) {
|
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
mod(require("codemirror/lib/codemirror"));
|
|
else if (typeof define == "function" && define.amd) // AMD
|
|
define(["codemirror/lib/codemirror"], mod);
|
|
else // Plain browser env
|
|
mod(CodeMirror);
|
|
})(function(CodeMirror) {
|
|
"use strict";
|
|
|
|
// declare global: JSHINT
|
|
|
|
function validator(text, options) {
|
|
if (!window.JSHINT) {
|
|
if (window.console) {
|
|
window.console.error("Error: window.JSHINT not defined, CodeMirror JavaScript linting cannot run.");
|
|
}
|
|
return [];
|
|
}
|
|
|
|
// To ignore the 'async/await' errors, we'll manually edit the code ('text')
|
|
// that gets processed by JSHINT to include the ignore directory
|
|
const splitText = text.split("\n");
|
|
const ignoreDirective = " // jshint ignore:line";
|
|
for (let i = 0; i < splitText.length; ++i) {
|
|
if (splitText[i].match(/.*async function.+{/g)) {
|
|
splitText[i] += ignoreDirective;
|
|
} else if (splitText[i].match(/.*await.+;/g)) {
|
|
splitText[i] += ignoreDirective;
|
|
}
|
|
}
|
|
const sanitizedText = splitText.join("\n");
|
|
|
|
// Configure JSHINT options
|
|
if (!options.indent) // JSHint error.character actually is a column index, this fixes underlining on lines using tabs for indentation
|
|
options.indent = 1; // JSHint default value is 4
|
|
|
|
options.esversion = 9;
|
|
|
|
JSHINT(sanitizedText, options, options.globals);
|
|
var errors = JSHINT.data().errors, result = [];
|
|
if (errors) parseErrors(errors, result);
|
|
return result;
|
|
}
|
|
|
|
CodeMirror.registerHelper("lint", "netscript", validator);
|
|
|
|
function parseErrors(errors, output) {
|
|
for ( var i = 0; i < errors.length; i++) {
|
|
var error = errors[i];
|
|
if (error) {
|
|
if (error.line == 0) { continue; }
|
|
if (error.line < 0) {
|
|
if (window.console) {
|
|
window.console.warn("Cannot display JSHint error (invalid line " + error.line + ")", error);
|
|
}
|
|
continue;
|
|
}
|
|
|
|
var start = error.character - 1, end = start + 1;
|
|
if (error.evidence) {
|
|
var index = error.evidence.substring(start).search(/.\b/);
|
|
if (index > -1) {
|
|
end += index;
|
|
}
|
|
}
|
|
|
|
// Convert to format expected by validation service
|
|
var hint = {
|
|
message: error.reason,
|
|
severity: error.code ? (error.code.startsWith('W') ? "warning" : "error") : "error",
|
|
from: CodeMirror.Pos(error.line - 1, start),
|
|
to: CodeMirror.Pos(error.line - 1, end),
|
|
};
|
|
|
|
output.push(hint);
|
|
}
|
|
}
|
|
}
|
|
});
|