1391 |
js_FinishParseContext(context, &parse_context); |
js_FinishParseContext(context, &parse_context); |
1392 |
|
|
1393 |
/* write line number info to the output */ |
/* write line number info to the output */ |
1394 |
Stream_write_string(output, "/* automatically generated by JSCoverage - do not edit */\n"); |
Stream_write_string(output, JSCOVERAGE_INSTRUMENTED_HEADER); |
1395 |
switch (jscoverage_mode) { |
switch (jscoverage_mode) { |
1396 |
case JSCOVERAGE_MOZILLA: |
case JSCOVERAGE_MOZILLA: |
1397 |
Stream_write_string(output, "try {\n"); |
Stream_write_string(output, "try {\n"); |