diff options
Diffstat (limited to 'src/parseTools.js')
| -rw-r--r-- | src/parseTools.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index fed1ee7c..81831d75 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -537,3 +537,13 @@ function indentify(text, indent) { return text.split('\n').map(function(line) { return indent + line }).join('\n'); } +// Correction tools + +function correctSigns() { + return CORRECT_SIGNS === 1 || (CORRECT_SIGNS === 2 && Debugging.getIdentifier(Framework.currItem.lineNum) in CORRECT_SIGNS_LINES); +} + +function correctOverflows() { + return CORRECT_OVERFLOWS === 1 || (CORRECT_OVERFLOWS === 2 && Debugging.getIdentifier(Framework.currItem.lineNum) in CORRECT_OVERFLOWS_LINES); +} + |