(start, end)
| 7971 | var TAB_REPLACEMENT = " "; |
| 7972 | function sourceFragment(error2, extraLines) { |
| 7973 | function processLines(start, end) { |
| 7974 | return lines.slice(start, end).map(function(line2, idx) { |
| 7975 | var num = String(start + idx + 1); |
| 7976 | while (num.length < maxNumLength) { |
| 7977 | num = " " + num; |
| 7978 | } |
| 7979 | return num + " |" + line2; |
| 7980 | }).join("\n"); |
| 7981 | } |
| 7982 | var lines = error2.source.split(/\r\n?|\n|\f/); |
| 7983 | var line = error2.line; |
| 7984 | var column = error2.column; |
no test coverage detected