2 <script src="jslint-core.js" language="javascript"></script>
3 <script language="javascript">
4 /*global JSLINT load readline WScript */
6 var readSTDIN = function() {
12 var stdIn = WScript.stdIn,
13 stdOut = WScript.stdOut;
15 while (!stdIn.atEndofStream) {
16 line = stdIn.readLine();
20 return input.join("\n");
23 var body = readSTDIN() || arguments[0],
34 errorCount = JSLINT.errors.length;
35 for (i = 0; i < errorCount; i += 1) {
36 error = JSLINT.errors[i];
38 if (error && error.reason && error.reason.match(/^Stopping/) === null) {
39 // If jslint stops next, this was an actual error
40 if (nextError && nextError.reason && nextError.reason.match(/^Stopping/) !== null) {
43 WScript.echo([error.line, error.character, errorType, error.reason].join(":"));