/[jscoverage]/trunk/instrument-js.cpp
ViewVC logotype

Annotation of /trunk/instrument-js.cpp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 355 - (hide annotations)
Fri Oct 24 16:19:11 2008 UTC (10 years, 5 months ago) by siliconforks
Original Path: trunk/instrument-js.c
File MIME type: text/plain
File size: 51997 byte(s)
Handle `yield' without value.
1 siliconforks 2 /*
2     instrument-js.c - JavaScript instrumentation routines
3 siliconforks 87 Copyright (C) 2007, 2008 siliconforks.com
4 siliconforks 2
5     This program is free software; you can redistribute it and/or modify
6     it under the terms of the GNU General Public License as published by
7     the Free Software Foundation; either version 2 of the License, or
8     (at your option) any later version.
9    
10     This program is distributed in the hope that it will be useful,
11     but WITHOUT ANY WARRANTY; without even the implied warranty of
12     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13     GNU General Public License for more details.
14    
15     You should have received a copy of the GNU General Public License along
16     with this program; if not, write to the Free Software Foundation, Inc.,
17     51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
18     */
19    
20 siliconforks 116 #include <config.h>
21    
22 siliconforks 2 #include "instrument-js.h"
23    
24     #include <assert.h>
25     #include <stdlib.h>
26     #include <string.h>
27    
28     #include <jsapi.h>
29 siliconforks 336 #include <jsarena.h>
30 siliconforks 2 #include <jsatom.h>
31 siliconforks 351 #include <jsemit.h>
32 siliconforks 284 #include <jsexn.h>
33 siliconforks 2 #include <jsfun.h>
34     #include <jsinterp.h>
35 siliconforks 339 #include <jsiter.h>
36 siliconforks 2 #include <jsparse.h>
37     #include <jsregexp.h>
38     #include <jsscope.h>
39     #include <jsstr.h>
40    
41 siliconforks 174 #include "encoding.h"
42 siliconforks 179 #include "global.h"
43     #include "highlight.h"
44 siliconforks 116 #include "resource-manager.h"
45 siliconforks 2 #include "util.h"
46    
47 siliconforks 240 struct IfDirective {
48     const jschar * condition_start;
49     const jschar * condition_end;
50     uint16_t start_line;
51     uint16_t end_line;
52     struct IfDirective * next;
53     };
54    
55     static bool * exclusive_directives = NULL;
56    
57 siliconforks 2 static JSRuntime * runtime = NULL;
58     static JSContext * context = NULL;
59     static JSObject * global = NULL;
60 siliconforks 339 static JSVersion js_version = JSVERSION_ECMA_3;
61 siliconforks 2
62     /*
63     JSParseNode objects store line numbers starting from 1.
64     The lines array stores line numbers starting from 0.
65     */
66     static const char * file_id = NULL;
67     static char * lines = NULL;
68 siliconforks 214 static uint16_t num_lines = 0;
69 siliconforks 2
70 siliconforks 339 void jscoverage_set_js_version(const char * version) {
71     js_version = atoi(version);
72     }
73    
74 siliconforks 2 void jscoverage_init(void) {
75     runtime = JS_NewRuntime(8L * 1024L * 1024L);
76     if (runtime == NULL) {
77     fatal("cannot create runtime");
78     }
79    
80     context = JS_NewContext(runtime, 8192);
81     if (context == NULL) {
82     fatal("cannot create context");
83     }
84    
85 siliconforks 339 JS_SetVersion(context, js_version);
86    
87 siliconforks 2 global = JS_NewObject(context, NULL, NULL, NULL);
88     if (global == NULL) {
89     fatal("cannot create global object");
90     }
91    
92     if (! JS_InitStandardClasses(context, global)) {
93     fatal("cannot initialize standard classes");
94     }
95     }
96    
97     void jscoverage_cleanup(void) {
98     JS_DestroyContext(context);
99     JS_DestroyRuntime(runtime);
100     }
101    
102 siliconforks 246 static void print_javascript(const jschar * characters, size_t num_characters, Stream * f) {
103     for (size_t i = 0; i < num_characters; i++) {
104     jschar c = characters[i];
105     /*
106     XXX does not handle no-break space, other unicode "space separator"
107     */
108     switch (c) {
109     case 0x9:
110     case 0xB:
111     case 0xC:
112     Stream_write_char(f, c);
113     break;
114     default:
115     if (32 <= c && c <= 126) {
116     Stream_write_char(f, c);
117     }
118     else {
119     Stream_printf(f, "\\u%04x", c);
120     }
121     break;
122     }
123     }
124     }
125    
126 siliconforks 92 static void print_string(JSString * s, Stream * f) {
127 siliconforks 174 size_t length = JSSTRING_LENGTH(s);
128     jschar * characters = JSSTRING_CHARS(s);
129     for (size_t i = 0; i < length; i++) {
130     jschar c = characters[i];
131     if (32 <= c && c <= 126) {
132     switch (c) {
133     case '"':
134     Stream_write_string(f, "\\\"");
135     break;
136     /*
137     case '\'':
138     Stream_write_string(f, "\\'");
139     break;
140     */
141     case '\\':
142     Stream_write_string(f, "\\\\");
143     break;
144     default:
145     Stream_write_char(f, c);
146     break;
147     }
148     }
149     else {
150     switch (c) {
151     case 0x8:
152     Stream_write_string(f, "\\b");
153     break;
154     case 0x9:
155     Stream_write_string(f, "\\t");
156     break;
157     case 0xa:
158     Stream_write_string(f, "\\n");
159     break;
160 siliconforks 317 /* IE doesn't support this */
161     /*
162 siliconforks 174 case 0xb:
163     Stream_write_string(f, "\\v");
164     break;
165 siliconforks 317 */
166 siliconforks 174 case 0xc:
167     Stream_write_string(f, "\\f");
168     break;
169     case 0xd:
170     Stream_write_string(f, "\\r");
171     break;
172     default:
173     Stream_printf(f, "\\u%04x", c);
174     break;
175     }
176     }
177 siliconforks 2 }
178     }
179    
180 siliconforks 92 static void print_string_atom(JSAtom * atom, Stream * f) {
181 siliconforks 2 assert(ATOM_IS_STRING(atom));
182     JSString * s = ATOM_TO_STRING(atom);
183     print_string(s, f);
184     }
185    
186 siliconforks 174 static void print_regex(jsval value, Stream * f) {
187 siliconforks 2 assert(JSVAL_IS_STRING(value));
188     JSString * s = JSVAL_TO_STRING(value);
189 siliconforks 174 size_t length = JSSTRING_LENGTH(s);
190     jschar * characters = JSSTRING_CHARS(s);
191     for (size_t i = 0; i < length; i++) {
192     jschar c = characters[i];
193     if (32 <= c && c <= 126) {
194     Stream_write_char(f, c);
195     }
196     else {
197     Stream_printf(f, "\\u%04x", c);
198     }
199     }
200 siliconforks 2 }
201    
202 siliconforks 92 static void print_quoted_string_atom(JSAtom * atom, Stream * f) {
203 siliconforks 2 assert(ATOM_IS_STRING(atom));
204     JSString * s = ATOM_TO_STRING(atom);
205 siliconforks 174 Stream_write_char(f, '"');
206     print_string(s, f);
207     Stream_write_char(f, '"');
208 siliconforks 2 }
209    
210     static const char * get_op(uint8 op) {
211     switch(op) {
212 siliconforks 336 case JSOP_OR:
213     return "||";
214     case JSOP_AND:
215     return "&&";
216 siliconforks 2 case JSOP_BITOR:
217     return "|";
218     case JSOP_BITXOR:
219     return "^";
220     case JSOP_BITAND:
221     return "&";
222     case JSOP_EQ:
223     return "==";
224     case JSOP_NE:
225     return "!=";
226 siliconforks 336 case JSOP_STRICTEQ:
227 siliconforks 2 return "===";
228 siliconforks 336 case JSOP_STRICTNE:
229 siliconforks 2 return "!==";
230     case JSOP_LT:
231     return "<";
232     case JSOP_LE:
233     return "<=";
234     case JSOP_GT:
235     return ">";
236     case JSOP_GE:
237     return ">=";
238     case JSOP_LSH:
239     return "<<";
240     case JSOP_RSH:
241     return ">>";
242     case JSOP_URSH:
243     return ">>>";
244     case JSOP_ADD:
245     return "+";
246     case JSOP_SUB:
247     return "-";
248     case JSOP_MUL:
249     return "*";
250     case JSOP_DIV:
251     return "/";
252     case JSOP_MOD:
253     return "%";
254     default:
255     abort();
256     }
257     }
258    
259 siliconforks 92 static void instrument_expression(JSParseNode * node, Stream * f);
260 siliconforks 240 static void instrument_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if);
261 siliconforks 345 static void output_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if);
262 siliconforks 2
263 siliconforks 155 enum FunctionType {
264     FUNCTION_NORMAL,
265     FUNCTION_GETTER_OR_SETTER
266     };
267    
268 siliconforks 346 static void output_for_in(JSParseNode * node, Stream * f) {
269     assert(node->pn_type == TOK_FOR);
270     assert(node->pn_arity == PN_BINARY);
271     Stream_write_string(f, "for ");
272     if (node->pn_iflags & JSITER_FOREACH) {
273     Stream_write_string(f, "each ");
274     }
275     Stream_write_char(f, '(');
276     instrument_expression(node->pn_left, f);
277     Stream_write_char(f, ')');
278     }
279    
280 siliconforks 155 static void instrument_function(JSParseNode * node, Stream * f, int indent, enum FunctionType type) {
281 siliconforks 336 assert(node->pn_type == TOK_FUNCTION);
282 siliconforks 156 assert(node->pn_arity == PN_FUNC);
283 siliconforks 336 JSObject * object = node->pn_funpob->object;
284 siliconforks 156 assert(JS_ObjectIsFunction(context, object));
285     JSFunction * function = (JSFunction *) JS_GetPrivate(context, object);
286     assert(function);
287 siliconforks 336 assert(object == &function->object);
288 siliconforks 156 Stream_printf(f, "%*s", indent, "");
289     if (type == FUNCTION_NORMAL) {
290     Stream_write_string(f, "function");
291     }
292 siliconforks 2
293 siliconforks 156 /* function name */
294     if (function->atom) {
295     Stream_write_char(f, ' ');
296     print_string_atom(function->atom, f);
297     }
298 siliconforks 2
299 siliconforks 336 /*
300     function parameters - see JS_DecompileFunction in jsapi.cpp, which calls
301     js_DecompileFunction in jsopcode.cpp
302     */
303 siliconforks 156 Stream_write_string(f, "(");
304 siliconforks 336 JSArenaPool pool;
305     JS_INIT_ARENA_POOL(&pool, "instrument_function", 256, 1, &context->scriptStackQuota);
306     jsuword * local_names = NULL;
307     if (JS_GET_LOCAL_NAME_COUNT(function)) {
308     local_names = js_GetLocalNameArray(context, function, &pool);
309     if (local_names == NULL) {
310     fatal("out of memory");
311 siliconforks 2 }
312 siliconforks 156 }
313     for (int i = 0; i < function->nargs; i++) {
314     if (i > 0) {
315     Stream_write_string(f, ", ");
316 siliconforks 2 }
317 siliconforks 336 JSAtom * param = JS_LOCAL_NAME_TO_ATOM(local_names[i]);
318 siliconforks 352 if (param == NULL) {
319     fatal("unsupported parameter type for function: %s", file_id);
320     }
321 siliconforks 336 print_string_atom(param, f);
322 siliconforks 156 }
323 siliconforks 336 JS_FinishArenaPool(&pool);
324 siliconforks 156 Stream_write_string(f, ") {\n");
325 siliconforks 2
326 siliconforks 156 /* function body */
327 siliconforks 345 if (function->flags & JSFUN_EXPR_CLOSURE) {
328     /* expression closure */
329     output_statement(node->pn_body, f, indent + 2, false);
330     }
331     else {
332     instrument_statement(node->pn_body, f, indent + 2, false);
333     }
334 siliconforks 2
335 siliconforks 156 Stream_write_string(f, "}\n");
336 siliconforks 2 }
337    
338 siliconforks 92 static void instrument_function_call(JSParseNode * node, Stream * f) {
339 siliconforks 351 JSParseNode * function_node = node->pn_head;
340     if (function_node->pn_type == TOK_FUNCTION) {
341     JSObject * object = function_node->pn_funpob->object;
342     assert(JS_ObjectIsFunction(context, object));
343     JSFunction * function = (JSFunction *) JS_GetPrivate(context, object);
344     assert(function);
345     assert(object == &function->object);
346    
347     if (function_node->pn_flags & TCF_GENEXP_LAMBDA) {
348     /* it's a generator expression */
349     JSParseNode * lexical_scope_node = function_node->pn_body;
350     assert(lexical_scope_node->pn_type == TOK_LEXICALSCOPE);
351     assert(lexical_scope_node->pn_arity == PN_NAME);
352     JSParseNode * for_node = lexical_scope_node->pn_body;
353     assert(for_node->pn_type == TOK_FOR);
354     assert(for_node->pn_arity == PN_BINARY);
355     JSParseNode * if_node = NULL;
356     JSParseNode * semi_node;
357     switch (for_node->pn_right->pn_type) {
358     case TOK_SEMI:
359     semi_node = for_node->pn_right;
360     break;
361     case TOK_IF:
362     if_node = for_node->pn_right;
363     assert(if_node->pn_arity == PN_TERNARY);
364     semi_node = if_node->pn_kid2;
365     assert(semi_node->pn_type == TOK_SEMI);
366     break;
367     default:
368     abort();
369     break;
370     }
371     assert(semi_node->pn_arity == PN_UNARY);
372     JSParseNode * yield_node = semi_node->pn_kid;
373     assert(yield_node->pn_type == TOK_YIELD);
374     Stream_write_char(f, '(');
375     instrument_expression(yield_node->pn_kid, f);
376     Stream_write_char(f, ' ');
377     output_for_in(for_node, f);
378     if (if_node) {
379     Stream_write_string(f, " if (");
380     instrument_expression(if_node->pn_kid1, f);
381     Stream_write_char(f, ')');
382     }
383     Stream_write_char(f, ')');
384     return;
385 siliconforks 2 }
386 siliconforks 351 else {
387     Stream_write_char(f, '(');
388     instrument_expression(function_node, f);
389 siliconforks 346 Stream_write_char(f, ')');
390     }
391 siliconforks 2 }
392 siliconforks 346 else {
393 siliconforks 351 instrument_expression(function_node, f);
394     }
395     Stream_write_char(f, '(');
396     for (struct JSParseNode * p = function_node->pn_next; p != NULL; p = p->pn_next) {
397     if (p != node->pn_head->pn_next) {
398     Stream_write_string(f, ", ");
399 siliconforks 346 }
400 siliconforks 351 instrument_expression(p, f);
401 siliconforks 346 }
402 siliconforks 351 Stream_write_char(f, ')');
403 siliconforks 2 }
404    
405 siliconforks 340 static void instrument_declarations(JSParseNode * list, Stream * f) {
406     assert(list->pn_arity == PN_LIST);
407     for (JSParseNode * p = list->pn_head; p != NULL; p = p->pn_next) {
408 siliconforks 341 switch (p->pn_type) {
409     case TOK_NAME:
410     assert(p->pn_arity == PN_NAME);
411     if (p != list->pn_head) {
412     Stream_write_string(f, ", ");
413     }
414     print_string_atom(p->pn_atom, f);
415     if (p->pn_expr != NULL) {
416     Stream_write_string(f, " = ");
417     instrument_expression(p->pn_expr, f);
418     }
419     break;
420     case TOK_ASSIGN:
421     case TOK_RB:
422     case TOK_RC:
423     /* destructuring */
424     instrument_expression(p, f);
425     break;
426     default:
427     abort();
428     break;
429 siliconforks 340 }
430     }
431     }
432    
433 siliconforks 2 /*
434     See <Expressions> in jsparse.h.
435     TOK_FUNCTION is handled as a statement and as an expression.
436     TOK_DBLDOT is not handled (XML op).
437     TOK_DEFSHARP and TOK_USESHARP are not handled.
438     TOK_ANYNAME is not handled (XML op).
439     TOK_AT is not handled (XML op).
440     TOK_DBLCOLON is not handled.
441     TOK_XML* are not handled.
442     There seem to be some undocumented expressions:
443     TOK_INSTANCEOF binary
444     TOK_IN binary
445     */
446 siliconforks 92 static void instrument_expression(JSParseNode * node, Stream * f) {
447 siliconforks 2 switch (node->pn_type) {
448     case TOK_FUNCTION:
449 siliconforks 155 instrument_function(node, f, 0, FUNCTION_NORMAL);
450 siliconforks 2 break;
451     case TOK_COMMA:
452     for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {
453     if (p != node->pn_head) {
454 siliconforks 92 Stream_write_string(f, ", ");
455 siliconforks 2 }
456     instrument_expression(p, f);
457     }
458     break;
459     case TOK_ASSIGN:
460     instrument_expression(node->pn_left, f);
461 siliconforks 92 Stream_write_char(f, ' ');
462 siliconforks 2 switch (node->pn_op) {
463     case JSOP_ADD:
464     case JSOP_SUB:
465     case JSOP_MUL:
466     case JSOP_MOD:
467     case JSOP_LSH:
468     case JSOP_RSH:
469     case JSOP_URSH:
470     case JSOP_BITAND:
471     case JSOP_BITOR:
472     case JSOP_BITXOR:
473     case JSOP_DIV:
474 siliconforks 92 Stream_printf(f, "%s", get_op(node->pn_op));
475 siliconforks 2 break;
476     default:
477     /* do nothing - it must be a simple assignment */
478     break;
479     }
480 siliconforks 92 Stream_write_string(f, "= ");
481 siliconforks 2 instrument_expression(node->pn_right, f);
482     break;
483     case TOK_HOOK:
484     instrument_expression(node->pn_kid1, f);
485 siliconforks 92 Stream_write_string(f, "? ");
486 siliconforks 2 instrument_expression(node->pn_kid2, f);
487 siliconforks 92 Stream_write_string(f, ": ");
488 siliconforks 2 instrument_expression(node->pn_kid3, f);
489     break;
490     case TOK_OR:
491     case TOK_AND:
492     case TOK_BITOR:
493     case TOK_BITXOR:
494     case TOK_BITAND:
495     case TOK_EQOP:
496     case TOK_RELOP:
497     case TOK_SHOP:
498     case TOK_PLUS:
499     case TOK_MINUS:
500     case TOK_STAR:
501     case TOK_DIVOP:
502     switch (node->pn_arity) {
503     case PN_BINARY:
504     instrument_expression(node->pn_left, f);
505 siliconforks 92 Stream_printf(f, " %s ", get_op(node->pn_op));
506 siliconforks 2 instrument_expression(node->pn_right, f);
507     break;
508     case PN_LIST:
509     for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {
510     if (p != node->pn_head) {
511 siliconforks 92 Stream_printf(f, " %s ", get_op(node->pn_op));
512 siliconforks 2 }
513     instrument_expression(p, f);
514     }
515     break;
516     default:
517     abort();
518     }
519     break;
520     case TOK_UNARYOP:
521     switch (node->pn_op) {
522     case JSOP_NEG:
523 siliconforks 92 Stream_write_char(f, '-');
524 siliconforks 2 instrument_expression(node->pn_kid, f);
525     break;
526     case JSOP_POS:
527 siliconforks 92 Stream_write_char(f, '+');
528 siliconforks 2 instrument_expression(node->pn_kid, f);
529     break;
530     case JSOP_NOT:
531 siliconforks 92 Stream_write_char(f, '!');
532 siliconforks 2 instrument_expression(node->pn_kid, f);
533     break;
534     case JSOP_BITNOT:
535 siliconforks 92 Stream_write_char(f, '~');
536 siliconforks 2 instrument_expression(node->pn_kid, f);
537     break;
538     case JSOP_TYPEOF:
539 siliconforks 92 Stream_write_string(f, "typeof ");
540 siliconforks 2 instrument_expression(node->pn_kid, f);
541     break;
542     case JSOP_VOID:
543 siliconforks 92 Stream_write_string(f, "void ");
544 siliconforks 2 instrument_expression(node->pn_kid, f);
545     break;
546     default:
547 siliconforks 354 fatal("%s: unknown operator (%d) in file", file_id, node->pn_op);
548 siliconforks 2 break;
549     }
550     break;
551     case TOK_INC:
552     case TOK_DEC:
553     /*
554     This is not documented, but node->pn_op tells whether it is pre- or post-increment.
555     */
556     switch (node->pn_op) {
557     case JSOP_INCNAME:
558     case JSOP_INCPROP:
559     case JSOP_INCELEM:
560 siliconforks 92 Stream_write_string(f, "++");
561 siliconforks 2 instrument_expression(node->pn_kid, f);
562     break;
563     case JSOP_DECNAME:
564     case JSOP_DECPROP:
565     case JSOP_DECELEM:
566 siliconforks 92 Stream_write_string(f, "--");
567 siliconforks 2 instrument_expression(node->pn_kid, f);
568     break;
569     case JSOP_NAMEINC:
570     case JSOP_PROPINC:
571     case JSOP_ELEMINC:
572     instrument_expression(node->pn_kid, f);
573 siliconforks 92 Stream_write_string(f, "++");
574 siliconforks 2 break;
575     case JSOP_NAMEDEC:
576     case JSOP_PROPDEC:
577     case JSOP_ELEMDEC:
578     instrument_expression(node->pn_kid, f);
579 siliconforks 92 Stream_write_string(f, "--");
580 siliconforks 2 break;
581     default:
582     abort();
583     break;
584     }
585     break;
586     case TOK_NEW:
587 siliconforks 92 Stream_write_string(f, "new ");
588 siliconforks 2 instrument_function_call(node, f);
589     break;
590     case TOK_DELETE:
591 siliconforks 92 Stream_write_string(f, "delete ");
592 siliconforks 2 instrument_expression(node->pn_kid, f);
593     break;
594     case TOK_DOT:
595     /*
596     This may have originally been x['foo-bar']. Because the string 'foo-bar'
597     contains illegal characters, we have to use the subscript syntax instead of
598     the dot syntax.
599     */
600     instrument_expression(node->pn_expr, f);
601 siliconforks 84 assert(ATOM_IS_STRING(node->pn_atom));
602     {
603     JSString * s = ATOM_TO_STRING(node->pn_atom);
604 siliconforks 349 bool must_quote;
605     if (JSSTRING_LENGTH(s) == 0) {
606     must_quote = true;
607 siliconforks 84 }
608 siliconforks 349 else if (js_CheckKeyword(JSSTRING_CHARS(s), JSSTRING_LENGTH(s)) != TOK_EOF) {
609     must_quote = true;
610     }
611     else if (! js_IsIdentifier(s)) {
612     must_quote = true;
613     }
614 siliconforks 84 else {
615 siliconforks 349 must_quote = false;
616     }
617     if (must_quote) {
618 siliconforks 92 Stream_write_char(f, '[');
619 siliconforks 84 print_quoted_string_atom(node->pn_atom, f);
620 siliconforks 92 Stream_write_char(f, ']');
621 siliconforks 84 }
622 siliconforks 349 else {
623     Stream_write_char(f, '.');
624     print_string_atom(node->pn_atom, f);
625     }
626 siliconforks 84 }
627 siliconforks 2 break;
628     case TOK_LB:
629     instrument_expression(node->pn_left, f);
630 siliconforks 92 Stream_write_char(f, '[');
631 siliconforks 2 instrument_expression(node->pn_right, f);
632 siliconforks 92 Stream_write_char(f, ']');
633 siliconforks 2 break;
634     case TOK_LP:
635     instrument_function_call(node, f);
636     break;
637     case TOK_RB:
638 siliconforks 92 Stream_write_char(f, '[');
639 siliconforks 2 for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {
640     if (p != node->pn_head) {
641 siliconforks 92 Stream_write_string(f, ", ");
642 siliconforks 2 }
643     /* TOK_COMMA is a special case: a hole in the array */
644     if (p->pn_type != TOK_COMMA) {
645     instrument_expression(p, f);
646     }
647     }
648     if (node->pn_extra == PNX_ENDCOMMA) {
649 siliconforks 92 Stream_write_char(f, ',');
650 siliconforks 2 }
651 siliconforks 92 Stream_write_char(f, ']');
652 siliconforks 2 break;
653     case TOK_RC:
654 siliconforks 92 Stream_write_char(f, '{');
655 siliconforks 2 for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {
656 siliconforks 353 if (p->pn_type != TOK_COLON) {
657     fatal("unsupported node type in file %s: %d", file_id, p->pn_type);
658     }
659 siliconforks 2 if (p != node->pn_head) {
660 siliconforks 92 Stream_write_string(f, ", ");
661 siliconforks 2 }
662 siliconforks 155
663     /* check whether this is a getter or setter */
664     switch (p->pn_op) {
665     case JSOP_GETTER:
666     case JSOP_SETTER:
667 siliconforks 293 if (p->pn_op == JSOP_GETTER) {
668     Stream_write_string(f, "get ");
669     }
670     else {
671     Stream_write_string(f, "set ");
672     }
673 siliconforks 155 instrument_expression(p->pn_left, f);
674 siliconforks 293 if (p->pn_right->pn_type != TOK_FUNCTION) {
675     fatal("parse error: expected function");
676     }
677 siliconforks 155 instrument_function(p->pn_right, f, 0, FUNCTION_GETTER_OR_SETTER);
678     break;
679     default:
680     instrument_expression(p->pn_left, f);
681     Stream_write_string(f, ": ");
682     instrument_expression(p->pn_right, f);
683     break;
684     }
685 siliconforks 2 }
686 siliconforks 92 Stream_write_char(f, '}');
687 siliconforks 2 break;
688     case TOK_RP:
689 siliconforks 92 Stream_write_char(f, '(');
690 siliconforks 2 instrument_expression(node->pn_kid, f);
691 siliconforks 92 Stream_write_char(f, ')');
692 siliconforks 2 break;
693     case TOK_NAME:
694     print_string_atom(node->pn_atom, f);
695     break;
696     case TOK_STRING:
697     print_quoted_string_atom(node->pn_atom, f);
698     break;
699 siliconforks 336 case TOK_REGEXP:
700     assert(node->pn_op == JSOP_REGEXP);
701     {
702     JSObject * object = node->pn_pob->object;
703     jsval result;
704     js_regexp_toString(context, object, &result);
705     print_regex(result, f);
706 siliconforks 2 }
707     break;
708     case TOK_NUMBER:
709     /*
710     A 64-bit IEEE 754 floating point number has a 52-bit fraction.
711     2^(-52) = 2.22 x 10^(-16)
712     Thus there are 16 significant digits.
713     To keep the output simple, special-case zero.
714     */
715     if (node->pn_dval == 0.0) {
716 siliconforks 92 Stream_write_string(f, "0");
717 siliconforks 2 }
718     else {
719 siliconforks 92 Stream_printf(f, "%.15g", node->pn_dval);
720 siliconforks 2 }
721     break;
722     case TOK_PRIMARY:
723     switch (node->pn_op) {
724     case JSOP_TRUE:
725 siliconforks 92 Stream_write_string(f, "true");
726 siliconforks 2 break;
727     case JSOP_FALSE:
728 siliconforks 92 Stream_write_string(f, "false");
729 siliconforks 2 break;
730     case JSOP_NULL:
731 siliconforks 92 Stream_write_string(f, "null");
732 siliconforks 2 break;
733     case JSOP_THIS:
734 siliconforks 92 Stream_write_string(f, "this");
735 siliconforks 2 break;
736     /* jsscan.h mentions `super' ??? */
737     default:
738     abort();
739     }
740     break;
741     case TOK_INSTANCEOF:
742     instrument_expression(node->pn_left, f);
743 siliconforks 92 Stream_write_string(f, " instanceof ");
744 siliconforks 2 instrument_expression(node->pn_right, f);
745     break;
746     case TOK_IN:
747     instrument_expression(node->pn_left, f);
748 siliconforks 92 Stream_write_string(f, " in ");
749 siliconforks 2 instrument_expression(node->pn_right, f);
750     break;
751 siliconforks 340 case TOK_LEXICALSCOPE:
752     assert(node->pn_arity == PN_NAME);
753     assert(node->pn_expr->pn_type == TOK_LET);
754     assert(node->pn_expr->pn_arity == PN_BINARY);
755     Stream_write_string(f, "let(");
756     assert(node->pn_expr->pn_left->pn_type == TOK_LP);
757     assert(node->pn_expr->pn_left->pn_arity == PN_LIST);
758     instrument_declarations(node->pn_expr->pn_left, f);
759     Stream_write_string(f, ") ");
760     instrument_expression(node->pn_expr->pn_right, f);
761     break;
762 siliconforks 342 case TOK_YIELD:
763     assert(node->pn_arity == PN_UNARY);
764 siliconforks 355 Stream_write_string(f, "yield");
765     if (node->pn_kid != NULL) {
766     Stream_write_char(f, ' ');
767     instrument_expression(node->pn_kid, f);
768     }
769 siliconforks 342 break;
770 siliconforks 343 case TOK_ARRAYCOMP:
771     assert(node->pn_arity == PN_LIST);
772     {
773     JSParseNode * block_node;
774     switch (node->pn_count) {
775     case 1:
776     block_node = node->pn_head;
777     break;
778     case 2:
779     block_node = node->pn_head->pn_next;
780     break;
781     default:
782     abort();
783     break;
784     }
785     assert(block_node->pn_type == TOK_LEXICALSCOPE);
786     assert(block_node->pn_arity == PN_NAME);
787     JSParseNode * for_node = block_node->pn_expr;
788     assert(for_node->pn_type == TOK_FOR);
789     assert(for_node->pn_arity == PN_BINARY);
790 siliconforks 346 JSParseNode * if_node = NULL;
791 siliconforks 343 JSParseNode * push_node;
792     switch (for_node->pn_right->pn_type) {
793     case TOK_ARRAYPUSH:
794     push_node = for_node->pn_right;
795     assert(push_node->pn_arity == PN_UNARY);
796     break;
797     case TOK_IF:
798     if_node = for_node->pn_right;
799     assert(if_node->pn_arity == PN_TERNARY);
800     push_node = if_node->pn_kid2;
801     break;
802     default:
803     abort();
804     break;
805     }
806     Stream_write_char(f, '[');
807     instrument_expression(push_node->pn_kid, f);
808     Stream_write_char(f, ' ');
809     output_for_in(for_node, f);
810     if (if_node) {
811     Stream_write_string(f, " if (");
812     instrument_expression(if_node->pn_kid1, f);
813     Stream_write_char(f, ')');
814     }
815     Stream_write_char(f, ']');
816     }
817     break;
818     case TOK_VAR:
819     assert(node->pn_arity == PN_LIST);
820     Stream_write_string(f, "var ");
821     instrument_declarations(node, f);
822     break;
823     case TOK_LET:
824     assert(node->pn_arity == PN_LIST);
825     Stream_write_string(f, "let ");
826     instrument_declarations(node, f);
827     break;
828 siliconforks 2 default:
829     fatal("unsupported node type in file %s: %d", file_id, node->pn_type);
830     }
831     }
832    
833 siliconforks 240 static void output_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if) {
834 siliconforks 2 switch (node->pn_type) {
835     case TOK_FUNCTION:
836 siliconforks 155 instrument_function(node, f, indent, FUNCTION_NORMAL);
837 siliconforks 2 break;
838     case TOK_LC:
839     assert(node->pn_arity == PN_LIST);
840     /*
841 siliconforks 92 Stream_write_string(f, "{\n");
842 siliconforks 2 */
843     for (struct JSParseNode * p = node->pn_u.list.head; p != NULL; p = p->pn_next) {
844 siliconforks 240 instrument_statement(p, f, indent, false);
845 siliconforks 2 }
846     /*
847 siliconforks 92 Stream_printf(f, "%*s", indent, "");
848     Stream_write_string(f, "}\n");
849 siliconforks 2 */
850     break;
851     case TOK_IF:
852 siliconforks 240 {
853 siliconforks 2 assert(node->pn_arity == PN_TERNARY);
854 siliconforks 240
855     uint16_t line = node->pn_pos.begin.lineno;
856     if (! is_jscoverage_if) {
857     if (line > num_lines) {
858     fatal("%s: script contains more than 65,535 lines", file_id);
859     }
860     if (line >= 2 && exclusive_directives[line - 2]) {
861     is_jscoverage_if = true;
862     }
863     }
864    
865 siliconforks 92 Stream_printf(f, "%*s", indent, "");
866     Stream_write_string(f, "if (");
867 siliconforks 2 instrument_expression(node->pn_kid1, f);
868 siliconforks 92 Stream_write_string(f, ") {\n");
869 siliconforks 240 if (is_jscoverage_if && node->pn_kid3) {
870     uint16_t else_start = node->pn_kid3->pn_pos.begin.lineno;
871     uint16_t else_end = node->pn_kid3->pn_pos.end.lineno + 1;
872     Stream_printf(f, "%*s", indent + 2, "");
873     Stream_printf(f, "_$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, else_start, else_end);
874     }
875     instrument_statement(node->pn_kid2, f, indent + 2, false);
876 siliconforks 92 Stream_printf(f, "%*s", indent, "");
877     Stream_write_string(f, "}\n");
878 siliconforks 240
879     if (node->pn_kid3 || is_jscoverage_if) {
880 siliconforks 92 Stream_printf(f, "%*s", indent, "");
881     Stream_write_string(f, "else {\n");
882 siliconforks 240
883     if (is_jscoverage_if) {
884     uint16_t if_start = node->pn_kid2->pn_pos.begin.lineno + 1;
885     uint16_t if_end = node->pn_kid2->pn_pos.end.lineno + 1;
886     Stream_printf(f, "%*s", indent + 2, "");
887     Stream_printf(f, "_$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, if_start, if_end);
888     }
889    
890     if (node->pn_kid3) {
891     instrument_statement(node->pn_kid3, f, indent + 2, is_jscoverage_if);
892     }
893    
894 siliconforks 92 Stream_printf(f, "%*s", indent, "");
895     Stream_write_string(f, "}\n");
896 siliconforks 2 }
897 siliconforks 240
898 siliconforks 2 break;
899 siliconforks 240 }
900 siliconforks 2 case TOK_SWITCH:
901     assert(node->pn_arity == PN_BINARY);
902 siliconforks 92 Stream_printf(f, "%*s", indent, "");
903     Stream_write_string(f, "switch (");
904 siliconforks 2 instrument_expression(node->pn_left, f);
905 siliconforks 92 Stream_write_string(f, ") {\n");
906 siliconforks 350 {
907     JSParseNode * list = node->pn_right;
908     if (list->pn_type == TOK_LEXICALSCOPE) {
909     list = list->pn_expr;
910 siliconforks 2 }
911 siliconforks 350 for (struct JSParseNode * p = list->pn_head; p != NULL; p = p->pn_next) {
912     Stream_printf(f, "%*s", indent, "");
913     switch (p->pn_type) {
914     case TOK_CASE:
915     Stream_write_string(f, "case ");
916     instrument_expression(p->pn_left, f);
917     Stream_write_string(f, ":\n");
918     break;
919     case TOK_DEFAULT:
920     Stream_write_string(f, "default:\n");
921     break;
922     default:
923     abort();
924     break;
925     }
926     instrument_statement(p->pn_right, f, indent + 2, false);
927     }
928 siliconforks 2 }
929 siliconforks 92 Stream_printf(f, "%*s", indent, "");
930     Stream_write_string(f, "}\n");
931 siliconforks 2 break;
932     case TOK_CASE:
933     case TOK_DEFAULT:
934     abort();
935     break;
936     case TOK_WHILE:
937     assert(node->pn_arity == PN_BINARY);
938 siliconforks 92 Stream_printf(f, "%*s", indent, "");
939     Stream_write_string(f, "while (");
940 siliconforks 2 instrument_expression(node->pn_left, f);
941 siliconforks 92 Stream_write_string(f, ") {\n");
942 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
943 siliconforks 92 Stream_write_string(f, "}\n");
944 siliconforks 2 break;
945     case TOK_DO:
946     assert(node->pn_arity == PN_BINARY);
947 siliconforks 92 Stream_printf(f, "%*s", indent, "");
948     Stream_write_string(f, "do {\n");
949 siliconforks 240 instrument_statement(node->pn_left, f, indent + 2, false);
950 siliconforks 92 Stream_write_string(f, "}\n");
951     Stream_printf(f, "%*s", indent, "");
952     Stream_write_string(f, "while (");
953 siliconforks 2 instrument_expression(node->pn_right, f);
954 siliconforks 92 Stream_write_string(f, ");\n");
955 siliconforks 2 break;
956     case TOK_FOR:
957     assert(node->pn_arity == PN_BINARY);
958 siliconforks 92 Stream_printf(f, "%*s", indent, "");
959 siliconforks 2 switch (node->pn_left->pn_type) {
960     case TOK_IN:
961     /* for/in */
962     assert(node->pn_left->pn_arity == PN_BINARY);
963 siliconforks 343 output_for_in(node, f);
964 siliconforks 2 break;
965     case TOK_RESERVED:
966     /* for (;;) */
967     assert(node->pn_left->pn_arity == PN_TERNARY);
968 siliconforks 343 Stream_write_string(f, "for (");
969 siliconforks 2 if (node->pn_left->pn_kid1) {
970 siliconforks 343 instrument_expression(node->pn_left->pn_kid1, f);
971 siliconforks 2 }
972 siliconforks 92 Stream_write_string(f, ";");
973 siliconforks 2 if (node->pn_left->pn_kid2) {
974 siliconforks 92 Stream_write_char(f, ' ');
975 siliconforks 2 instrument_expression(node->pn_left->pn_kid2, f);
976     }
977 siliconforks 92 Stream_write_string(f, ";");
978 siliconforks 2 if (node->pn_left->pn_kid3) {
979 siliconforks 92 Stream_write_char(f, ' ');
980 siliconforks 2 instrument_expression(node->pn_left->pn_kid3, f);
981     }
982 siliconforks 343 Stream_write_char(f, ')');
983 siliconforks 2 break;
984     default:
985     abort();
986     break;
987     }
988 siliconforks 343 Stream_write_string(f, " {\n");
989 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
990 siliconforks 92 Stream_write_string(f, "}\n");
991 siliconforks 2 break;
992     case TOK_THROW:
993     assert(node->pn_arity == PN_UNARY);
994 siliconforks 92 Stream_printf(f, "%*s", indent, "");
995     Stream_write_string(f, "throw ");
996 siliconforks 2 instrument_expression(node->pn_u.unary.kid, f);
997 siliconforks 92 Stream_write_string(f, ";\n");
998 siliconforks 2 break;
999     case TOK_TRY:
1000 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1001     Stream_write_string(f, "try {\n");
1002 siliconforks 240 instrument_statement(node->pn_kid1, f, indent + 2, false);
1003 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1004     Stream_write_string(f, "}\n");
1005 siliconforks 336 if (node->pn_kid2) {
1006     assert(node->pn_kid2->pn_type == TOK_RESERVED);
1007     for (JSParseNode * scope = node->pn_kid2->pn_head; scope != NULL; scope = scope->pn_next) {
1008     assert(scope->pn_type == TOK_LEXICALSCOPE);
1009     JSParseNode * catch = scope->pn_expr;
1010 siliconforks 2 assert(catch->pn_type == TOK_CATCH);
1011 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1012     Stream_write_string(f, "catch (");
1013 siliconforks 341 /* this may not be a name - destructuring assignment */
1014     /*
1015 siliconforks 2 assert(catch->pn_kid1->pn_arity == PN_NAME);
1016     print_string_atom(catch->pn_kid1->pn_atom, f);
1017 siliconforks 341 */
1018     instrument_expression(catch->pn_kid1, f);
1019 siliconforks 336 if (catch->pn_kid2) {
1020 siliconforks 92 Stream_write_string(f, " if ");
1021 siliconforks 336 instrument_expression(catch->pn_kid2, f);
1022 siliconforks 2 }
1023 siliconforks 92 Stream_write_string(f, ") {\n");
1024 siliconforks 240 instrument_statement(catch->pn_kid3, f, indent + 2, false);
1025 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1026     Stream_write_string(f, "}\n");
1027 siliconforks 2 }
1028     }
1029     if (node->pn_kid3) {
1030 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1031     Stream_write_string(f, "finally {\n");
1032 siliconforks 240 instrument_statement(node->pn_kid3, f, indent + 2, false);
1033 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1034     Stream_write_string(f, "}\n");
1035 siliconforks 2 }
1036     break;
1037     case TOK_CATCH:
1038     abort();
1039     break;
1040     case TOK_BREAK:
1041     case TOK_CONTINUE:
1042     assert(node->pn_arity == PN_NAME || node->pn_arity == PN_NULLARY);
1043 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1044     Stream_write_string(f, node->pn_type == TOK_BREAK? "break": "continue");
1045 siliconforks 2 JSAtom * atom = node->pn_u.name.atom;
1046     if (atom != NULL) {
1047 siliconforks 92 Stream_write_char(f, ' ');
1048 siliconforks 2 print_string_atom(node->pn_atom, f);
1049     }
1050 siliconforks 92 Stream_write_string(f, ";\n");
1051 siliconforks 2 break;
1052     case TOK_WITH:
1053     assert(node->pn_arity == PN_BINARY);
1054 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1055     Stream_write_string(f, "with (");
1056 siliconforks 2 instrument_expression(node->pn_left, f);
1057 siliconforks 92 Stream_write_string(f, ") {\n");
1058 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
1059 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1060     Stream_write_string(f, "}\n");
1061 siliconforks 2 break;
1062     case TOK_VAR:
1063 siliconforks 343 Stream_printf(f, "%*s", indent, "");
1064     instrument_expression(node, f);
1065 siliconforks 92 Stream_write_string(f, ";\n");
1066 siliconforks 2 break;
1067     case TOK_RETURN:
1068     assert(node->pn_arity == PN_UNARY);
1069 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1070     Stream_write_string(f, "return");
1071 siliconforks 2 if (node->pn_kid != NULL) {
1072 siliconforks 92 Stream_write_char(f, ' ');
1073 siliconforks 2 instrument_expression(node->pn_kid, f);
1074     }
1075 siliconforks 92 Stream_write_string(f, ";\n");
1076 siliconforks 2 break;
1077     case TOK_SEMI:
1078     assert(node->pn_arity == PN_UNARY);
1079 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1080 siliconforks 2 if (node->pn_kid != NULL) {
1081     instrument_expression(node->pn_kid, f);
1082     }
1083 siliconforks 92 Stream_write_string(f, ";\n");
1084 siliconforks 2 break;
1085     case TOK_COLON:
1086     assert(node->pn_arity == PN_NAME);
1087     /*
1088     This one is tricky: can't output instrumentation between the label and the
1089     statement it's supposed to label ...
1090     */
1091 siliconforks 92 Stream_printf(f, "%*s", indent < 2? 0: indent - 2, "");
1092 siliconforks 2 print_string_atom(node->pn_atom, f);
1093 siliconforks 92 Stream_write_string(f, ":\n");
1094 siliconforks 2 /*
1095     ... use output_statement instead of instrument_statement.
1096     */
1097 siliconforks 240 output_statement(node->pn_expr, f, indent, false);
1098 siliconforks 2 break;
1099 siliconforks 340 case TOK_LEXICALSCOPE:
1100     /* let statement */
1101     assert(node->pn_arity == PN_NAME);
1102     switch (node->pn_expr->pn_type) {
1103     case TOK_LET:
1104     /* let statement */
1105     assert(node->pn_expr->pn_arity == PN_BINARY);
1106     instrument_statement(node->pn_expr, f, indent, false);
1107     break;
1108     case TOK_LC:
1109     /* block */
1110     Stream_printf(f, "%*s", indent, "");
1111     Stream_write_string(f, "{\n");
1112     instrument_statement(node->pn_expr, f, indent + 2, false);
1113     Stream_printf(f, "%*s", indent, "");
1114     Stream_write_string(f, "}\n");
1115     break;
1116     case TOK_FOR:
1117     instrument_statement(node->pn_expr, f, indent, false);
1118     break;
1119     default:
1120     abort();
1121     break;
1122     }
1123     break;
1124     case TOK_LET:
1125     switch (node->pn_arity) {
1126     case PN_BINARY:
1127     /* let statement */
1128     Stream_printf(f, "%*s", indent, "");
1129     Stream_write_string(f, "let (");
1130     assert(node->pn_left->pn_type == TOK_LP);
1131     assert(node->pn_left->pn_arity == PN_LIST);
1132     instrument_declarations(node->pn_left, f);
1133     Stream_write_string(f, ") {\n");
1134     instrument_statement(node->pn_right, f, indent + 2, false);
1135     Stream_printf(f, "%*s", indent, "");
1136     Stream_write_string(f, "}\n");
1137     break;
1138     case PN_LIST:
1139     /* let definition */
1140 siliconforks 343 Stream_printf(f, "%*s", indent, "");
1141     instrument_expression(node, f);
1142 siliconforks 340 Stream_write_string(f, ";\n");
1143     break;
1144     default:
1145     abort();
1146     break;
1147     }
1148     break;
1149 siliconforks 348 case TOK_DEBUGGER:
1150     Stream_printf(f, "%*s", indent, "");
1151     Stream_write_string(f, "debugger;\n");
1152     break;
1153 siliconforks 2 default:
1154     fatal("unsupported node type in file %s: %d", file_id, node->pn_type);
1155     }
1156     }
1157    
1158     /*
1159     See <Statements> in jsparse.h.
1160     TOK_FUNCTION is handled as a statement and as an expression.
1161     TOK_EXPORT, TOK_IMPORT are not handled.
1162     */
1163 siliconforks 240 static void instrument_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if) {
1164 siliconforks 340 if (node->pn_type != TOK_LC && node->pn_type != TOK_LEXICALSCOPE) {
1165 siliconforks 214 uint16_t line = node->pn_pos.begin.lineno;
1166     if (line > num_lines) {
1167     fatal("%s: script contains more than 65,535 lines", file_id);
1168     }
1169    
1170 siliconforks 2 /* the root node has line number 0 */
1171     if (line != 0) {
1172 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1173     Stream_printf(f, "_$jscoverage['%s'][%d]++;\n", file_id, line);
1174 siliconforks 2 lines[line - 1] = 1;
1175     }
1176     }
1177 siliconforks 240 output_statement(node, f, indent, is_jscoverage_if);
1178 siliconforks 2 }
1179    
1180 siliconforks 190 static bool characters_start_with(const jschar * characters, size_t line_start, size_t line_end, const char * prefix) {
1181     const jschar * characters_end = characters + line_end;
1182     const jschar * cp = characters + line_start;
1183     const char * bp = prefix;
1184     for (;;) {
1185     if (*bp == '\0') {
1186     return true;
1187     }
1188     else if (cp == characters_end) {
1189     return false;
1190     }
1191     else if (*cp != *bp) {
1192     return false;
1193     }
1194     bp++;
1195     cp++;
1196     }
1197     }
1198    
1199 siliconforks 240 static bool characters_are_white_space(const jschar * characters, size_t line_start, size_t line_end) {
1200     /* XXX - other Unicode space */
1201     const jschar * end = characters + line_end;
1202     for (const jschar * p = characters + line_start; p < end; p++) {
1203     jschar c = *p;
1204     if (c == 0x9 || c == 0xB || c == 0xC || c == 0x20 || c == 0xA0) {
1205     continue;
1206     }
1207     else {
1208     return false;
1209     }
1210     }
1211     return true;
1212     }
1213    
1214 siliconforks 284 static void error_reporter(JSContext * context, const char * message, JSErrorReport * report) {
1215     fprintf(stderr, "jscoverage: parse error: line %u: %s\n", report->lineno, message);
1216     }
1217    
1218 siliconforks 179 void jscoverage_instrument_js(const char * id, const uint16_t * characters, size_t num_characters, Stream * output) {
1219 siliconforks 2 file_id = id;
1220    
1221 siliconforks 336 /* parse the javascript */
1222     JSParseContext parse_context;
1223     if (! js_InitParseContext(context, &parse_context, NULL, NULL, characters, num_characters, NULL, NULL, 1)) {
1224 siliconforks 2 fatal("cannot create token stream from file: %s", file_id);
1225     }
1226 siliconforks 284 JSErrorReporter old_error_reporter = JS_SetErrorReporter(context, error_reporter);
1227 siliconforks 336 JSParseNode * node = js_ParseScript(context, global, &parse_context);
1228 siliconforks 2 if (node == NULL) {
1229 siliconforks 284 js_ReportUncaughtException(context);
1230 siliconforks 2 fatal("parse error in file: %s", file_id);
1231     }
1232 siliconforks 284 JS_SetErrorReporter(context, old_error_reporter);
1233 siliconforks 214 num_lines = node->pn_pos.end.lineno;
1234 siliconforks 2 lines = xmalloc(num_lines);
1235 siliconforks 240 for (unsigned int i = 0; i < num_lines; i++) {
1236 siliconforks 2 lines[i] = 0;
1237     }
1238    
1239 siliconforks 240 /* search code for conditionals */
1240     exclusive_directives = xnew(bool, num_lines);
1241     for (unsigned int i = 0; i < num_lines; i++) {
1242     exclusive_directives[i] = false;
1243 siliconforks 2 }
1244    
1245 siliconforks 157 bool has_conditionals = false;
1246 siliconforks 240 struct IfDirective * if_directives = NULL;
1247 siliconforks 157 size_t line_number = 0;
1248     size_t i = 0;
1249 siliconforks 176 while (i < num_characters) {
1250 siliconforks 240 if (line_number == UINT16_MAX) {
1251     fatal("%s: script has more than 65,535 lines", file_id);
1252     }
1253 siliconforks 157 line_number++;
1254     size_t line_start = i;
1255 siliconforks 190 jschar c;
1256     bool done = false;
1257     while (! done && i < num_characters) {
1258     c = characters[i];
1259     switch (c) {
1260     case '\r':
1261     case '\n':
1262     case 0x2028:
1263     case 0x2029:
1264     done = true;
1265     break;
1266     default:
1267     i++;
1268     }
1269 siliconforks 157 }
1270     size_t line_end = i;
1271 siliconforks 176 if (i < num_characters) {
1272 siliconforks 190 i++;
1273     if (c == '\r' && i < num_characters && characters[i] == '\n') {
1274 siliconforks 157 i++;
1275     }
1276     }
1277 siliconforks 240
1278 siliconforks 190 if (characters_start_with(characters, line_start, line_end, "//#JSCOVERAGE_IF")) {
1279 siliconforks 240 has_conditionals = true;
1280    
1281     if (characters_are_white_space(characters, line_start + 16, line_end)) {
1282     exclusive_directives[line_number - 1] = true;
1283 siliconforks 157 }
1284 siliconforks 240 else {
1285     struct IfDirective * if_directive = xnew(struct IfDirective, 1);
1286     if_directive->condition_start = characters + line_start + 16;
1287     if_directive->condition_end = characters + line_end;
1288     if_directive->start_line = line_number;
1289     if_directive->end_line = 0;
1290     if_directive->next = if_directives;
1291     if_directives = if_directive;
1292 siliconforks 190 }
1293 siliconforks 157 }
1294 siliconforks 190 else if (characters_start_with(characters, line_start, line_end, "//#JSCOVERAGE_ENDIF")) {
1295 siliconforks 240 for (struct IfDirective * p = if_directives; p != NULL; p = p->next) {
1296     if (p->end_line == 0) {
1297     p->end_line = line_number;
1298     break;
1299     }
1300     }
1301 siliconforks 157 }
1302     }
1303    
1304 siliconforks 240 /*
1305     An instrumented JavaScript file has 4 sections:
1306     1. initialization
1307     2. instrumented source code
1308     3. conditionals
1309     4. original source code
1310     */
1311    
1312     Stream * instrumented = Stream_new(0);
1313     instrument_statement(node, instrumented, 0, false);
1314 siliconforks 336 js_FinishParseContext(context, &parse_context);
1315 siliconforks 240
1316     /* write line number info to the output */
1317     Stream_write_string(output, "/* automatically generated by JSCoverage - do not edit */\n");
1318     Stream_write_string(output, "if (! top._$jscoverage) {\n top._$jscoverage = {};\n}\n");
1319     Stream_write_string(output, "var _$jscoverage = top._$jscoverage;\n");
1320     Stream_printf(output, "if (! _$jscoverage['%s']) {\n", file_id);
1321     Stream_printf(output, " _$jscoverage['%s'] = [];\n", file_id);
1322     for (int i = 0; i < num_lines; i++) {
1323     if (lines[i]) {
1324     Stream_printf(output, " _$jscoverage['%s'][%d] = 0;\n", file_id, i + 1);
1325     }
1326     }
1327     Stream_write_string(output, "}\n");
1328     free(lines);
1329     lines = NULL;
1330     free(exclusive_directives);
1331     exclusive_directives = NULL;
1332    
1333     /* conditionals */
1334     if (has_conditionals) {
1335     Stream_printf(output, "_$jscoverage['%s'].conditionals = [];\n", file_id);
1336     }
1337    
1338     /* copy the instrumented source code to the output */
1339     Stream_write(output, instrumented->data, instrumented->length);
1340    
1341     /* conditionals */
1342     for (struct IfDirective * if_directive = if_directives; if_directive != NULL; if_directive = if_directive->next) {
1343     Stream_write_string(output, "if (!(");
1344 siliconforks 246 print_javascript(if_directive->condition_start, if_directive->condition_end - if_directive->condition_start, output);
1345 siliconforks 240 Stream_write_string(output, ")) {\n");
1346     Stream_printf(output, " _$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, if_directive->start_line, if_directive->end_line);
1347     Stream_write_string(output, "}\n");
1348     }
1349    
1350     /* free */
1351     while (if_directives != NULL) {
1352     struct IfDirective * if_directive = if_directives;
1353     if_directives = if_directives->next;
1354     free(if_directive);
1355     }
1356    
1357 siliconforks 95 /* copy the original source to the output */
1358 siliconforks 179 Stream_printf(output, "_$jscoverage['%s'].source = ", file_id);
1359     jscoverage_write_source(id, characters, num_characters, output);
1360     Stream_printf(output, ";\n");
1361 siliconforks 95
1362 siliconforks 179 Stream_delete(instrumented);
1363    
1364     file_id = NULL;
1365     }
1366    
1367     void jscoverage_write_source(const char * id, const jschar * characters, size_t num_characters, Stream * output) {
1368     Stream_write_string(output, "[");
1369     if (jscoverage_highlight) {
1370     Stream * highlighted_stream = Stream_new(num_characters);
1371     jscoverage_highlight_js(context, id, characters, num_characters, highlighted_stream);
1372     size_t i = 0;
1373     while (i < highlighted_stream->length) {
1374     if (i > 0) {
1375     Stream_write_char(output, ',');
1376     }
1377    
1378     Stream_write_char(output, '"');
1379     bool done = false;
1380     while (! done) {
1381     char c = highlighted_stream->data[i];
1382     switch (c) {
1383     case 0x8:
1384     /* backspace */
1385     Stream_write_string(output, "\\b");
1386     break;
1387     case 0x9:
1388     /* horizontal tab */
1389     Stream_write_string(output, "\\t");
1390     break;
1391     case 0xa:
1392     /* line feed (new line) */
1393     done = true;
1394     break;
1395 siliconforks 317 /* IE doesn't support this */
1396     /*
1397 siliconforks 179 case 0xb:
1398     Stream_write_string(output, "\\v");
1399     break;
1400 siliconforks 317 */
1401 siliconforks 179 case 0xc:
1402     /* form feed */
1403     Stream_write_string(output, "\\f");
1404     break;
1405     case 0xd:
1406     /* carriage return */
1407     done = true;
1408     if (i + 1 < highlighted_stream->length && highlighted_stream->data[i + 1] == '\n') {
1409     i++;
1410     }
1411     break;
1412     case '"':
1413     Stream_write_string(output, "\\\"");
1414     break;
1415     case '\\':
1416     Stream_write_string(output, "\\\\");
1417     break;
1418     default:
1419     Stream_write_char(output, c);
1420     break;
1421     }
1422 siliconforks 95 i++;
1423 siliconforks 179 if (i >= highlighted_stream->length) {
1424     done = true;
1425 siliconforks 95 }
1426     }
1427 siliconforks 179 Stream_write_char(output, '"');
1428     }
1429     Stream_delete(highlighted_stream);
1430     }
1431     else {
1432     size_t i = 0;
1433     while (i < num_characters) {
1434     if (i > 0) {
1435     Stream_write_char(output, ',');
1436     }
1437    
1438     Stream_write_char(output, '"');
1439     bool done = false;
1440     while (! done) {
1441     jschar c = characters[i];
1442     switch (c) {
1443     case 0x8:
1444     /* backspace */
1445     Stream_write_string(output, "\\b");
1446     break;
1447     case 0x9:
1448     /* horizontal tab */
1449     Stream_write_string(output, "\\t");
1450     break;
1451     case 0xa:
1452     /* line feed (new line) */
1453     done = true;
1454     break;
1455 siliconforks 317 /* IE doesn't support this */
1456     /*
1457 siliconforks 179 case 0xb:
1458     Stream_write_string(output, "\\v");
1459     break;
1460 siliconforks 317 */
1461 siliconforks 179 case 0xc:
1462     /* form feed */
1463     Stream_write_string(output, "\\f");
1464     break;
1465     case 0xd:
1466     /* carriage return */
1467     done = true;
1468     if (i + 1 < num_characters && characters[i + 1] == '\n') {
1469     i++;
1470     }
1471     break;
1472     case '"':
1473     Stream_write_string(output, "\\\"");
1474     break;
1475     case '\\':
1476     Stream_write_string(output, "\\\\");
1477     break;
1478     case '&':
1479     Stream_write_string(output, "&amp;");
1480     break;
1481     case '<':
1482     Stream_write_string(output, "&lt;");
1483     break;
1484     case '>':
1485     Stream_write_string(output, "&gt;");
1486     break;
1487     case 0x2028:
1488     case 0x2029:
1489     done = true;
1490     break;
1491     default:
1492     if (32 <= c && c <= 126) {
1493     Stream_write_char(output, c);
1494     }
1495     else {
1496     Stream_printf(output, "&#%d;", c);
1497     }
1498     break;
1499     }
1500 siliconforks 95 i++;
1501 siliconforks 179 if (i >= num_characters) {
1502     done = true;
1503     }
1504 siliconforks 95 }
1505 siliconforks 179 Stream_write_char(output, '"');
1506 siliconforks 95 }
1507     }
1508 siliconforks 179 Stream_write_string(output, "]");
1509 siliconforks 2 }
1510 siliconforks 116
1511     void jscoverage_copy_resources(const char * destination_directory) {
1512     copy_resource("jscoverage.html", destination_directory);
1513     copy_resource("jscoverage.css", destination_directory);
1514     copy_resource("jscoverage.js", destination_directory);
1515 siliconforks 169 copy_resource("jscoverage-ie.css", destination_directory);
1516 siliconforks 116 copy_resource("jscoverage-throbber.gif", destination_directory);
1517 siliconforks 179 copy_resource("jscoverage-highlight.css", destination_directory);
1518 siliconforks 116 }
1519    
1520     /*
1521     coverage reports
1522     */
1523    
1524     struct FileCoverageList {
1525     FileCoverage * file_coverage;
1526     struct FileCoverageList * next;
1527     };
1528    
1529     struct Coverage {
1530     JSHashTable * coverage_table;
1531     struct FileCoverageList * coverage_list;
1532     };
1533    
1534     static int compare_strings(const void * p1, const void * p2) {
1535     return strcmp(p1, p2) == 0;
1536     }
1537    
1538     Coverage * Coverage_new(void) {
1539     Coverage * result = xmalloc(sizeof(Coverage));
1540     result->coverage_table = JS_NewHashTable(1024, JS_HashString, compare_strings, NULL, NULL, NULL);
1541     if (result->coverage_table == NULL) {
1542     fatal("cannot create hash table");
1543     }
1544     result->coverage_list = NULL;
1545     return result;
1546     }
1547    
1548     void Coverage_delete(Coverage * coverage) {
1549     JS_HashTableDestroy(coverage->coverage_table);
1550     struct FileCoverageList * p = coverage->coverage_list;
1551     while (p != NULL) {
1552 siliconforks 179 free(p->file_coverage->coverage_lines);
1553     if (p->file_coverage->source_lines != NULL) {
1554     for (uint32 i = 0; i < p->file_coverage->num_source_lines; i++) {
1555     free(p->file_coverage->source_lines[i]);
1556     }
1557     free(p->file_coverage->source_lines);
1558     }
1559 siliconforks 116 free(p->file_coverage->id);
1560     free(p->file_coverage);
1561     struct FileCoverageList * q = p;
1562     p = p->next;
1563     free(q);
1564     }
1565     free(coverage);
1566     }
1567    
1568     struct EnumeratorArg {
1569     CoverageForeachFunction f;
1570     void * p;
1571     };
1572    
1573     static intN enumerator(JSHashEntry * entry, intN i, void * arg) {
1574     struct EnumeratorArg * enumerator_arg = arg;
1575     enumerator_arg->f(entry->value, i, enumerator_arg->p);
1576     return 0;
1577     }
1578    
1579     void Coverage_foreach_file(Coverage * coverage, CoverageForeachFunction f, void * p) {
1580     struct EnumeratorArg enumerator_arg;
1581     enumerator_arg.f = f;
1582     enumerator_arg.p = p;
1583     JS_HashTableEnumerateEntries(coverage->coverage_table, enumerator, &enumerator_arg);
1584     }
1585    
1586     int jscoverage_parse_json(Coverage * coverage, const uint8_t * json, size_t length) {
1587 siliconforks 336 int result = 0;
1588    
1589 siliconforks 116 jschar * base = js_InflateString(context, (char *) json, &length);
1590     if (base == NULL) {
1591     fatal("out of memory");
1592     }
1593    
1594     jschar * parenthesized_json = xnew(jschar, addst(length, 2));
1595     parenthesized_json[0] = '(';
1596     memcpy(parenthesized_json + 1, base, mulst(length, sizeof(jschar)));
1597     parenthesized_json[length + 1] = ')';
1598    
1599     JS_free(context, base);
1600    
1601 siliconforks 336 JSParseContext parse_context;
1602     if (! js_InitParseContext(context, &parse_context, NULL, NULL, parenthesized_json, length + 2, NULL, NULL, 1)) {
1603     free(parenthesized_json);
1604     return -1;
1605 siliconforks 116 }
1606 siliconforks 336 JSParseNode * root = js_ParseScript(context, global, &parse_context);
1607 siliconforks 116 free(parenthesized_json);
1608     if (root == NULL) {
1609 siliconforks 336 result = -1;
1610     goto done;
1611 siliconforks 116 }
1612    
1613     /* root node must be TOK_LC */
1614     if (root->pn_type != TOK_LC) {
1615 siliconforks 336 result = -1;
1616     goto done;
1617 siliconforks 116 }
1618     JSParseNode * semi = root->pn_u.list.head;
1619    
1620     /* the list must be TOK_SEMI and it must contain only one element */
1621     if (semi->pn_type != TOK_SEMI || semi->pn_next != NULL) {
1622 siliconforks 336 result = -1;
1623     goto done;
1624 siliconforks 116 }
1625     JSParseNode * parenthesized = semi->pn_kid;
1626    
1627     /* this must be a parenthesized expression */
1628     if (parenthesized->pn_type != TOK_RP) {
1629 siliconforks 336 result = -1;
1630     goto done;
1631 siliconforks 116 }
1632     JSParseNode * object = parenthesized->pn_kid;
1633    
1634     /* this must be an object literal */
1635     if (object->pn_type != TOK_RC) {
1636 siliconforks 336 result = -1;
1637     goto done;
1638 siliconforks 116 }
1639    
1640     for (JSParseNode * p = object->pn_head; p != NULL; p = p->pn_next) {
1641     /* every element of this list must be TOK_COLON */
1642     if (p->pn_type != TOK_COLON) {
1643 siliconforks 336 result = -1;
1644     goto done;
1645 siliconforks 116 }
1646    
1647     /* the key must be a string representing the file */
1648     JSParseNode * key = p->pn_left;
1649     if (key->pn_type != TOK_STRING || ! ATOM_IS_STRING(key->pn_atom)) {
1650 siliconforks 336 result = -1;
1651     goto done;
1652 siliconforks 116 }
1653     char * id_bytes = JS_GetStringBytes(ATOM_TO_STRING(key->pn_atom));
1654    
1655     /* the value must be an object literal OR an array */
1656     JSParseNode * value = p->pn_right;
1657     if (! (value->pn_type == TOK_RC || value->pn_type == TOK_RB)) {
1658 siliconforks 336 result = -1;
1659     goto done;
1660 siliconforks 116 }
1661    
1662     JSParseNode * array = NULL;
1663     JSParseNode * source = NULL;
1664     if (value->pn_type == TOK_RB) {
1665     /* an array */
1666     array = value;
1667     }
1668     else if (value->pn_type == TOK_RC) {
1669     /* an object literal */
1670     if (value->pn_count != 2) {
1671 siliconforks 336 result = -1;
1672     goto done;
1673 siliconforks 116 }
1674     for (JSParseNode * element = value->pn_head; element != NULL; element = element->pn_next) {
1675     if (element->pn_type != TOK_COLON) {
1676 siliconforks 336 result = -1;
1677     goto done;
1678 siliconforks 116 }
1679     JSParseNode * left = element->pn_left;
1680     if (left->pn_type != TOK_STRING || ! ATOM_IS_STRING(left->pn_atom)) {
1681 siliconforks 336 result = -1;
1682     goto done;
1683 siliconforks 116 }
1684     const char * s = JS_GetStringBytes(ATOM_TO_STRING(left->pn_atom));
1685     if (strcmp(s, "coverage") == 0) {
1686     array = element->pn_right;
1687     if (array->pn_type != TOK_RB) {
1688 siliconforks 336 result = -1;
1689     goto done;
1690 siliconforks 116 }
1691     }
1692     else if (strcmp(s, "source") == 0) {
1693     source = element->pn_right;
1694 siliconforks 179 if (source->pn_type != TOK_RB) {
1695 siliconforks 336 result = -1;
1696     goto done;
1697 siliconforks 116 }
1698     }
1699     else {
1700 siliconforks 336 result = -1;
1701     goto done;
1702 siliconforks 116 }
1703     }
1704     }
1705     else {
1706 siliconforks 336 result = -1;
1707     goto done;
1708 siliconforks 116 }
1709    
1710     if (array == NULL) {
1711 siliconforks 336 result = -1;
1712     goto done;
1713 siliconforks 116 }
1714    
1715     /* look up the file in the coverage table */
1716     FileCoverage * file_coverage = JS_HashTableLookup(coverage->coverage_table, id_bytes);
1717     if (file_coverage == NULL) {
1718     /* not there: create a new one */
1719     char * id = xstrdup(id_bytes);
1720     file_coverage = xmalloc(sizeof(FileCoverage));
1721     file_coverage->id = id;
1722 siliconforks 179 file_coverage->num_coverage_lines = array->pn_count;
1723     file_coverage->coverage_lines = xnew(int, array->pn_count);
1724 siliconforks 245 file_coverage->source_lines = NULL;
1725 siliconforks 116
1726     /* set coverage for all lines */
1727     uint32 i = 0;
1728     for (JSParseNode * element = array->pn_head; element != NULL; element = element->pn_next, i++) {
1729     if (element->pn_type == TOK_NUMBER) {
1730 siliconforks 179 file_coverage->coverage_lines[i] = (int) element->pn_dval;
1731 siliconforks 116 }
1732     else if (element->pn_type == TOK_PRIMARY && element->pn_op == JSOP_NULL) {
1733 siliconforks 179 file_coverage->coverage_lines[i] = -1;
1734 siliconforks 116 }
1735     else {
1736 siliconforks 336 result = -1;
1737     goto done;
1738 siliconforks 116 }
1739     }
1740     assert(i == array->pn_count);
1741    
1742     /* add to the hash table */
1743     JS_HashTableAdd(coverage->coverage_table, id, file_coverage);
1744     struct FileCoverageList * coverage_list = xmalloc(sizeof(struct FileCoverageList));
1745     coverage_list->file_coverage = file_coverage;
1746     coverage_list->next = coverage->coverage_list;
1747     coverage->coverage_list = coverage_list;
1748     }
1749     else {
1750     /* sanity check */
1751     assert(strcmp(file_coverage->id, id_bytes) == 0);
1752 siliconforks 179 if (file_coverage->num_coverage_lines != array->pn_count) {
1753 siliconforks 336 result = -2;
1754     goto done;
1755 siliconforks 116 }
1756    
1757     /* merge the coverage */
1758     uint32 i = 0;
1759     for (JSParseNode * element = array->pn_head; element != NULL; element = element->pn_next, i++) {
1760     if (element->pn_type == TOK_NUMBER) {
1761 siliconforks 179 if (file_coverage->coverage_lines[i] == -1) {
1762 siliconforks 336 result = -2;
1763     goto done;
1764 siliconforks 116 }
1765 siliconforks 179 file_coverage->coverage_lines[i] += (int) element->pn_dval;
1766 siliconforks 116 }
1767     else if (element->pn_type == TOK_PRIMARY && element->pn_op == JSOP_NULL) {
1768 siliconforks 179 if (file_coverage->coverage_lines[i] != -1) {
1769 siliconforks 336 result = -2;
1770     goto done;
1771 siliconforks 116 }
1772     }
1773     else {
1774 siliconforks 336 result = -1;
1775     goto done;
1776 siliconforks 116 }
1777     }
1778     assert(i == array->pn_count);
1779 siliconforks 245 }
1780 siliconforks 116
1781 siliconforks 245 /* if this JSON file has source, use it */
1782     if (file_coverage->source_lines == NULL && source != NULL) {
1783     file_coverage->num_source_lines = source->pn_count;
1784     file_coverage->source_lines = xnew(char *, source->pn_count);
1785     uint32 i = 0;
1786     for (JSParseNode * element = source->pn_head; element != NULL; element = element->pn_next, i++) {
1787     if (element->pn_type != TOK_STRING) {
1788 siliconforks 336 result = -1;
1789     goto done;
1790 siliconforks 179 }
1791 siliconforks 245 file_coverage->source_lines[i] = xstrdup(JS_GetStringBytes(ATOM_TO_STRING(element->pn_atom)));
1792 siliconforks 116 }
1793 siliconforks 245 assert(i == source->pn_count);
1794 siliconforks 116 }
1795     }
1796    
1797 siliconforks 336 done:
1798     js_FinishParseContext(context, &parse_context);
1799     return result;
1800 siliconforks 116 }

  ViewVC Help
Powered by ViewVC 1.1.24