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

Annotation of /trunk/instrument-js.cpp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 356 - (hide annotations)
Fri Oct 24 21:48:02 2008 UTC (10 years, 1 month ago) by siliconforks
Original Path: trunk/instrument-js.c
File MIME type: text/plain
File size: 52188 byte(s)
Fix nested array comprehensions.
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 356 JSParseNode * p = for_node;
791     while (p->pn_type == TOK_FOR) {
792     p = p->pn_right;
793     }
794 siliconforks 346 JSParseNode * if_node = NULL;
795 siliconforks 343 JSParseNode * push_node;
796 siliconforks 356 switch (p->pn_type) {
797 siliconforks 343 case TOK_ARRAYPUSH:
798 siliconforks 356 push_node = p;
799 siliconforks 343 assert(push_node->pn_arity == PN_UNARY);
800     break;
801     case TOK_IF:
802 siliconforks 356 if_node = p;
803 siliconforks 343 assert(if_node->pn_arity == PN_TERNARY);
804     push_node = if_node->pn_kid2;
805 siliconforks 356 assert(push_node->pn_arity == PN_UNARY);
806 siliconforks 343 break;
807     default:
808     abort();
809     break;
810     }
811     Stream_write_char(f, '[');
812     instrument_expression(push_node->pn_kid, f);
813 siliconforks 356 p = for_node;
814     while (p->pn_type == TOK_FOR) {
815     Stream_write_char(f, ' ');
816     output_for_in(p, f);
817     p = p->pn_right;
818     }
819 siliconforks 343 if (if_node) {
820     Stream_write_string(f, " if (");
821     instrument_expression(if_node->pn_kid1, f);
822     Stream_write_char(f, ')');
823     }
824     Stream_write_char(f, ']');
825     }
826     break;
827     case TOK_VAR:
828     assert(node->pn_arity == PN_LIST);
829     Stream_write_string(f, "var ");
830     instrument_declarations(node, f);
831     break;
832     case TOK_LET:
833     assert(node->pn_arity == PN_LIST);
834     Stream_write_string(f, "let ");
835     instrument_declarations(node, f);
836     break;
837 siliconforks 2 default:
838     fatal("unsupported node type in file %s: %d", file_id, node->pn_type);
839     }
840     }
841    
842 siliconforks 240 static void output_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if) {
843 siliconforks 2 switch (node->pn_type) {
844     case TOK_FUNCTION:
845 siliconforks 155 instrument_function(node, f, indent, FUNCTION_NORMAL);
846 siliconforks 2 break;
847     case TOK_LC:
848     assert(node->pn_arity == PN_LIST);
849     /*
850 siliconforks 92 Stream_write_string(f, "{\n");
851 siliconforks 2 */
852     for (struct JSParseNode * p = node->pn_u.list.head; p != NULL; p = p->pn_next) {
853 siliconforks 240 instrument_statement(p, f, indent, false);
854 siliconforks 2 }
855     /*
856 siliconforks 92 Stream_printf(f, "%*s", indent, "");
857     Stream_write_string(f, "}\n");
858 siliconforks 2 */
859     break;
860     case TOK_IF:
861 siliconforks 240 {
862 siliconforks 2 assert(node->pn_arity == PN_TERNARY);
863 siliconforks 240
864     uint16_t line = node->pn_pos.begin.lineno;
865     if (! is_jscoverage_if) {
866     if (line > num_lines) {
867     fatal("%s: script contains more than 65,535 lines", file_id);
868     }
869     if (line >= 2 && exclusive_directives[line - 2]) {
870     is_jscoverage_if = true;
871     }
872     }
873    
874 siliconforks 92 Stream_printf(f, "%*s", indent, "");
875     Stream_write_string(f, "if (");
876 siliconforks 2 instrument_expression(node->pn_kid1, f);
877 siliconforks 92 Stream_write_string(f, ") {\n");
878 siliconforks 240 if (is_jscoverage_if && node->pn_kid3) {
879     uint16_t else_start = node->pn_kid3->pn_pos.begin.lineno;
880     uint16_t else_end = node->pn_kid3->pn_pos.end.lineno + 1;
881     Stream_printf(f, "%*s", indent + 2, "");
882     Stream_printf(f, "_$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, else_start, else_end);
883     }
884     instrument_statement(node->pn_kid2, f, indent + 2, false);
885 siliconforks 92 Stream_printf(f, "%*s", indent, "");
886     Stream_write_string(f, "}\n");
887 siliconforks 240
888     if (node->pn_kid3 || is_jscoverage_if) {
889 siliconforks 92 Stream_printf(f, "%*s", indent, "");
890     Stream_write_string(f, "else {\n");
891 siliconforks 240
892     if (is_jscoverage_if) {
893     uint16_t if_start = node->pn_kid2->pn_pos.begin.lineno + 1;
894     uint16_t if_end = node->pn_kid2->pn_pos.end.lineno + 1;
895     Stream_printf(f, "%*s", indent + 2, "");
896     Stream_printf(f, "_$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, if_start, if_end);
897     }
898    
899     if (node->pn_kid3) {
900     instrument_statement(node->pn_kid3, f, indent + 2, is_jscoverage_if);
901     }
902    
903 siliconforks 92 Stream_printf(f, "%*s", indent, "");
904     Stream_write_string(f, "}\n");
905 siliconforks 2 }
906 siliconforks 240
907 siliconforks 2 break;
908 siliconforks 240 }
909 siliconforks 2 case TOK_SWITCH:
910     assert(node->pn_arity == PN_BINARY);
911 siliconforks 92 Stream_printf(f, "%*s", indent, "");
912     Stream_write_string(f, "switch (");
913 siliconforks 2 instrument_expression(node->pn_left, f);
914 siliconforks 92 Stream_write_string(f, ") {\n");
915 siliconforks 350 {
916     JSParseNode * list = node->pn_right;
917     if (list->pn_type == TOK_LEXICALSCOPE) {
918     list = list->pn_expr;
919 siliconforks 2 }
920 siliconforks 350 for (struct JSParseNode * p = list->pn_head; p != NULL; p = p->pn_next) {
921     Stream_printf(f, "%*s", indent, "");
922     switch (p->pn_type) {
923     case TOK_CASE:
924     Stream_write_string(f, "case ");
925     instrument_expression(p->pn_left, f);
926     Stream_write_string(f, ":\n");
927     break;
928     case TOK_DEFAULT:
929     Stream_write_string(f, "default:\n");
930     break;
931     default:
932     abort();
933     break;
934     }
935     instrument_statement(p->pn_right, f, indent + 2, false);
936     }
937 siliconforks 2 }
938 siliconforks 92 Stream_printf(f, "%*s", indent, "");
939     Stream_write_string(f, "}\n");
940 siliconforks 2 break;
941     case TOK_CASE:
942     case TOK_DEFAULT:
943     abort();
944     break;
945     case TOK_WHILE:
946     assert(node->pn_arity == PN_BINARY);
947 siliconforks 92 Stream_printf(f, "%*s", indent, "");
948     Stream_write_string(f, "while (");
949 siliconforks 2 instrument_expression(node->pn_left, f);
950 siliconforks 92 Stream_write_string(f, ") {\n");
951 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
952 siliconforks 92 Stream_write_string(f, "}\n");
953 siliconforks 2 break;
954     case TOK_DO:
955     assert(node->pn_arity == PN_BINARY);
956 siliconforks 92 Stream_printf(f, "%*s", indent, "");
957     Stream_write_string(f, "do {\n");
958 siliconforks 240 instrument_statement(node->pn_left, f, indent + 2, false);
959 siliconforks 92 Stream_write_string(f, "}\n");
960     Stream_printf(f, "%*s", indent, "");
961     Stream_write_string(f, "while (");
962 siliconforks 2 instrument_expression(node->pn_right, f);
963 siliconforks 92 Stream_write_string(f, ");\n");
964 siliconforks 2 break;
965     case TOK_FOR:
966     assert(node->pn_arity == PN_BINARY);
967 siliconforks 92 Stream_printf(f, "%*s", indent, "");
968 siliconforks 2 switch (node->pn_left->pn_type) {
969     case TOK_IN:
970     /* for/in */
971     assert(node->pn_left->pn_arity == PN_BINARY);
972 siliconforks 343 output_for_in(node, f);
973 siliconforks 2 break;
974     case TOK_RESERVED:
975     /* for (;;) */
976     assert(node->pn_left->pn_arity == PN_TERNARY);
977 siliconforks 343 Stream_write_string(f, "for (");
978 siliconforks 2 if (node->pn_left->pn_kid1) {
979 siliconforks 343 instrument_expression(node->pn_left->pn_kid1, f);
980 siliconforks 2 }
981 siliconforks 92 Stream_write_string(f, ";");
982 siliconforks 2 if (node->pn_left->pn_kid2) {
983 siliconforks 92 Stream_write_char(f, ' ');
984 siliconforks 2 instrument_expression(node->pn_left->pn_kid2, f);
985     }
986 siliconforks 92 Stream_write_string(f, ";");
987 siliconforks 2 if (node->pn_left->pn_kid3) {
988 siliconforks 92 Stream_write_char(f, ' ');
989 siliconforks 2 instrument_expression(node->pn_left->pn_kid3, f);
990     }
991 siliconforks 343 Stream_write_char(f, ')');
992 siliconforks 2 break;
993     default:
994     abort();
995     break;
996     }
997 siliconforks 343 Stream_write_string(f, " {\n");
998 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
999 siliconforks 92 Stream_write_string(f, "}\n");
1000 siliconforks 2 break;
1001     case TOK_THROW:
1002     assert(node->pn_arity == PN_UNARY);
1003 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1004     Stream_write_string(f, "throw ");
1005 siliconforks 2 instrument_expression(node->pn_u.unary.kid, f);
1006 siliconforks 92 Stream_write_string(f, ";\n");
1007 siliconforks 2 break;
1008     case TOK_TRY:
1009 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1010     Stream_write_string(f, "try {\n");
1011 siliconforks 240 instrument_statement(node->pn_kid1, f, indent + 2, false);
1012 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1013     Stream_write_string(f, "}\n");
1014 siliconforks 336 if (node->pn_kid2) {
1015     assert(node->pn_kid2->pn_type == TOK_RESERVED);
1016     for (JSParseNode * scope = node->pn_kid2->pn_head; scope != NULL; scope = scope->pn_next) {
1017     assert(scope->pn_type == TOK_LEXICALSCOPE);
1018     JSParseNode * catch = scope->pn_expr;
1019 siliconforks 2 assert(catch->pn_type == TOK_CATCH);
1020 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1021     Stream_write_string(f, "catch (");
1022 siliconforks 341 /* this may not be a name - destructuring assignment */
1023     /*
1024 siliconforks 2 assert(catch->pn_kid1->pn_arity == PN_NAME);
1025     print_string_atom(catch->pn_kid1->pn_atom, f);
1026 siliconforks 341 */
1027     instrument_expression(catch->pn_kid1, f);
1028 siliconforks 336 if (catch->pn_kid2) {
1029 siliconforks 92 Stream_write_string(f, " if ");
1030 siliconforks 336 instrument_expression(catch->pn_kid2, f);
1031 siliconforks 2 }
1032 siliconforks 92 Stream_write_string(f, ") {\n");
1033 siliconforks 240 instrument_statement(catch->pn_kid3, f, indent + 2, false);
1034 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1035     Stream_write_string(f, "}\n");
1036 siliconforks 2 }
1037     }
1038     if (node->pn_kid3) {
1039 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1040     Stream_write_string(f, "finally {\n");
1041 siliconforks 240 instrument_statement(node->pn_kid3, f, indent + 2, false);
1042 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1043     Stream_write_string(f, "}\n");
1044 siliconforks 2 }
1045     break;
1046     case TOK_CATCH:
1047     abort();
1048     break;
1049     case TOK_BREAK:
1050     case TOK_CONTINUE:
1051     assert(node->pn_arity == PN_NAME || node->pn_arity == PN_NULLARY);
1052 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1053     Stream_write_string(f, node->pn_type == TOK_BREAK? "break": "continue");
1054 siliconforks 2 JSAtom * atom = node->pn_u.name.atom;
1055     if (atom != NULL) {
1056 siliconforks 92 Stream_write_char(f, ' ');
1057 siliconforks 2 print_string_atom(node->pn_atom, f);
1058     }
1059 siliconforks 92 Stream_write_string(f, ";\n");
1060 siliconforks 2 break;
1061     case TOK_WITH:
1062     assert(node->pn_arity == PN_BINARY);
1063 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1064     Stream_write_string(f, "with (");
1065 siliconforks 2 instrument_expression(node->pn_left, f);
1066 siliconforks 92 Stream_write_string(f, ") {\n");
1067 siliconforks 240 instrument_statement(node->pn_right, f, indent + 2, false);
1068 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1069     Stream_write_string(f, "}\n");
1070 siliconforks 2 break;
1071     case TOK_VAR:
1072 siliconforks 343 Stream_printf(f, "%*s", indent, "");
1073     instrument_expression(node, f);
1074 siliconforks 92 Stream_write_string(f, ";\n");
1075 siliconforks 2 break;
1076     case TOK_RETURN:
1077     assert(node->pn_arity == PN_UNARY);
1078 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1079     Stream_write_string(f, "return");
1080 siliconforks 2 if (node->pn_kid != NULL) {
1081 siliconforks 92 Stream_write_char(f, ' ');
1082 siliconforks 2 instrument_expression(node->pn_kid, f);
1083     }
1084 siliconforks 92 Stream_write_string(f, ";\n");
1085 siliconforks 2 break;
1086     case TOK_SEMI:
1087     assert(node->pn_arity == PN_UNARY);
1088 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1089 siliconforks 2 if (node->pn_kid != NULL) {
1090     instrument_expression(node->pn_kid, f);
1091     }
1092 siliconforks 92 Stream_write_string(f, ";\n");
1093 siliconforks 2 break;
1094     case TOK_COLON:
1095     assert(node->pn_arity == PN_NAME);
1096     /*
1097     This one is tricky: can't output instrumentation between the label and the
1098     statement it's supposed to label ...
1099     */
1100 siliconforks 92 Stream_printf(f, "%*s", indent < 2? 0: indent - 2, "");
1101 siliconforks 2 print_string_atom(node->pn_atom, f);
1102 siliconforks 92 Stream_write_string(f, ":\n");
1103 siliconforks 2 /*
1104     ... use output_statement instead of instrument_statement.
1105     */
1106 siliconforks 240 output_statement(node->pn_expr, f, indent, false);
1107 siliconforks 2 break;
1108 siliconforks 340 case TOK_LEXICALSCOPE:
1109     /* let statement */
1110     assert(node->pn_arity == PN_NAME);
1111     switch (node->pn_expr->pn_type) {
1112     case TOK_LET:
1113     /* let statement */
1114     assert(node->pn_expr->pn_arity == PN_BINARY);
1115     instrument_statement(node->pn_expr, f, indent, false);
1116     break;
1117     case TOK_LC:
1118     /* block */
1119     Stream_printf(f, "%*s", indent, "");
1120     Stream_write_string(f, "{\n");
1121     instrument_statement(node->pn_expr, f, indent + 2, false);
1122     Stream_printf(f, "%*s", indent, "");
1123     Stream_write_string(f, "}\n");
1124     break;
1125     case TOK_FOR:
1126     instrument_statement(node->pn_expr, f, indent, false);
1127     break;
1128     default:
1129     abort();
1130     break;
1131     }
1132     break;
1133     case TOK_LET:
1134     switch (node->pn_arity) {
1135     case PN_BINARY:
1136     /* let statement */
1137     Stream_printf(f, "%*s", indent, "");
1138     Stream_write_string(f, "let (");
1139     assert(node->pn_left->pn_type == TOK_LP);
1140     assert(node->pn_left->pn_arity == PN_LIST);
1141     instrument_declarations(node->pn_left, f);
1142     Stream_write_string(f, ") {\n");
1143     instrument_statement(node->pn_right, f, indent + 2, false);
1144     Stream_printf(f, "%*s", indent, "");
1145     Stream_write_string(f, "}\n");
1146     break;
1147     case PN_LIST:
1148     /* let definition */
1149 siliconforks 343 Stream_printf(f, "%*s", indent, "");
1150     instrument_expression(node, f);
1151 siliconforks 340 Stream_write_string(f, ";\n");
1152     break;
1153     default:
1154     abort();
1155     break;
1156     }
1157     break;
1158 siliconforks 348 case TOK_DEBUGGER:
1159     Stream_printf(f, "%*s", indent, "");
1160     Stream_write_string(f, "debugger;\n");
1161     break;
1162 siliconforks 2 default:
1163     fatal("unsupported node type in file %s: %d", file_id, node->pn_type);
1164     }
1165     }
1166    
1167     /*
1168     See <Statements> in jsparse.h.
1169     TOK_FUNCTION is handled as a statement and as an expression.
1170     TOK_EXPORT, TOK_IMPORT are not handled.
1171     */
1172 siliconforks 240 static void instrument_statement(JSParseNode * node, Stream * f, int indent, bool is_jscoverage_if) {
1173 siliconforks 340 if (node->pn_type != TOK_LC && node->pn_type != TOK_LEXICALSCOPE) {
1174 siliconforks 214 uint16_t line = node->pn_pos.begin.lineno;
1175     if (line > num_lines) {
1176     fatal("%s: script contains more than 65,535 lines", file_id);
1177     }
1178    
1179 siliconforks 2 /* the root node has line number 0 */
1180     if (line != 0) {
1181 siliconforks 92 Stream_printf(f, "%*s", indent, "");
1182     Stream_printf(f, "_$jscoverage['%s'][%d]++;\n", file_id, line);
1183 siliconforks 2 lines[line - 1] = 1;
1184     }
1185     }
1186 siliconforks 240 output_statement(node, f, indent, is_jscoverage_if);
1187 siliconforks 2 }
1188    
1189 siliconforks 190 static bool characters_start_with(const jschar * characters, size_t line_start, size_t line_end, const char * prefix) {
1190     const jschar * characters_end = characters + line_end;
1191     const jschar * cp = characters + line_start;
1192     const char * bp = prefix;
1193     for (;;) {
1194     if (*bp == '\0') {
1195     return true;
1196     }
1197     else if (cp == characters_end) {
1198     return false;
1199     }
1200     else if (*cp != *bp) {
1201     return false;
1202     }
1203     bp++;
1204     cp++;
1205     }
1206     }
1207    
1208 siliconforks 240 static bool characters_are_white_space(const jschar * characters, size_t line_start, size_t line_end) {
1209     /* XXX - other Unicode space */
1210     const jschar * end = characters + line_end;
1211     for (const jschar * p = characters + line_start; p < end; p++) {
1212     jschar c = *p;
1213     if (c == 0x9 || c == 0xB || c == 0xC || c == 0x20 || c == 0xA0) {
1214     continue;
1215     }
1216     else {
1217     return false;
1218     }
1219     }
1220     return true;
1221     }
1222    
1223 siliconforks 284 static void error_reporter(JSContext * context, const char * message, JSErrorReport * report) {
1224     fprintf(stderr, "jscoverage: parse error: line %u: %s\n", report->lineno, message);
1225     }
1226    
1227 siliconforks 179 void jscoverage_instrument_js(const char * id, const uint16_t * characters, size_t num_characters, Stream * output) {
1228 siliconforks 2 file_id = id;
1229    
1230 siliconforks 336 /* parse the javascript */
1231     JSParseContext parse_context;
1232     if (! js_InitParseContext(context, &parse_context, NULL, NULL, characters, num_characters, NULL, NULL, 1)) {
1233 siliconforks 2 fatal("cannot create token stream from file: %s", file_id);
1234     }
1235 siliconforks 284 JSErrorReporter old_error_reporter = JS_SetErrorReporter(context, error_reporter);
1236 siliconforks 336 JSParseNode * node = js_ParseScript(context, global, &parse_context);
1237 siliconforks 2 if (node == NULL) {
1238 siliconforks 284 js_ReportUncaughtException(context);
1239 siliconforks 2 fatal("parse error in file: %s", file_id);
1240     }
1241 siliconforks 284 JS_SetErrorReporter(context, old_error_reporter);
1242 siliconforks 214 num_lines = node->pn_pos.end.lineno;
1243 siliconforks 2 lines = xmalloc(num_lines);
1244 siliconforks 240 for (unsigned int i = 0; i < num_lines; i++) {
1245 siliconforks 2 lines[i] = 0;
1246     }
1247    
1248 siliconforks 240 /* search code for conditionals */
1249     exclusive_directives = xnew(bool, num_lines);
1250     for (unsigned int i = 0; i < num_lines; i++) {
1251     exclusive_directives[i] = false;
1252 siliconforks 2 }
1253    
1254 siliconforks 157 bool has_conditionals = false;
1255 siliconforks 240 struct IfDirective * if_directives = NULL;
1256 siliconforks 157 size_t line_number = 0;
1257     size_t i = 0;
1258 siliconforks 176 while (i < num_characters) {
1259 siliconforks 240 if (line_number == UINT16_MAX) {
1260     fatal("%s: script has more than 65,535 lines", file_id);
1261     }
1262 siliconforks 157 line_number++;
1263     size_t line_start = i;
1264 siliconforks 190 jschar c;
1265     bool done = false;
1266     while (! done && i < num_characters) {
1267     c = characters[i];
1268     switch (c) {
1269     case '\r':
1270     case '\n':
1271     case 0x2028:
1272     case 0x2029:
1273     done = true;
1274     break;
1275     default:
1276     i++;
1277     }
1278 siliconforks 157 }
1279     size_t line_end = i;
1280 siliconforks 176 if (i < num_characters) {
1281 siliconforks 190 i++;
1282     if (c == '\r' && i < num_characters && characters[i] == '\n') {
1283 siliconforks 157 i++;
1284     }
1285     }
1286 siliconforks 240
1287 siliconforks 190 if (characters_start_with(characters, line_start, line_end, "//#JSCOVERAGE_IF")) {
1288 siliconforks 240 has_conditionals = true;
1289    
1290     if (characters_are_white_space(characters, line_start + 16, line_end)) {
1291     exclusive_directives[line_number - 1] = true;
1292 siliconforks 157 }
1293 siliconforks 240 else {
1294     struct IfDirective * if_directive = xnew(struct IfDirective, 1);
1295     if_directive->condition_start = characters + line_start + 16;
1296     if_directive->condition_end = characters + line_end;
1297     if_directive->start_line = line_number;
1298     if_directive->end_line = 0;
1299     if_directive->next = if_directives;
1300     if_directives = if_directive;
1301 siliconforks 190 }
1302 siliconforks 157 }
1303 siliconforks 190 else if (characters_start_with(characters, line_start, line_end, "//#JSCOVERAGE_ENDIF")) {
1304 siliconforks 240 for (struct IfDirective * p = if_directives; p != NULL; p = p->next) {
1305     if (p->end_line == 0) {
1306     p->end_line = line_number;
1307     break;
1308     }
1309     }
1310 siliconforks 157 }
1311     }
1312    
1313 siliconforks 240 /*
1314     An instrumented JavaScript file has 4 sections:
1315     1. initialization
1316     2. instrumented source code
1317     3. conditionals
1318     4. original source code
1319     */
1320    
1321     Stream * instrumented = Stream_new(0);
1322     instrument_statement(node, instrumented, 0, false);
1323 siliconforks 336 js_FinishParseContext(context, &parse_context);
1324 siliconforks 240
1325     /* write line number info to the output */
1326     Stream_write_string(output, "/* automatically generated by JSCoverage - do not edit */\n");
1327     Stream_write_string(output, "if (! top._$jscoverage) {\n top._$jscoverage = {};\n}\n");
1328     Stream_write_string(output, "var _$jscoverage = top._$jscoverage;\n");
1329     Stream_printf(output, "if (! _$jscoverage['%s']) {\n", file_id);
1330     Stream_printf(output, " _$jscoverage['%s'] = [];\n", file_id);
1331     for (int i = 0; i < num_lines; i++) {
1332     if (lines[i]) {
1333     Stream_printf(output, " _$jscoverage['%s'][%d] = 0;\n", file_id, i + 1);
1334     }
1335     }
1336     Stream_write_string(output, "}\n");
1337     free(lines);
1338     lines = NULL;
1339     free(exclusive_directives);
1340     exclusive_directives = NULL;
1341    
1342     /* conditionals */
1343     if (has_conditionals) {
1344     Stream_printf(output, "_$jscoverage['%s'].conditionals = [];\n", file_id);
1345     }
1346    
1347     /* copy the instrumented source code to the output */
1348     Stream_write(output, instrumented->data, instrumented->length);
1349    
1350     /* conditionals */
1351     for (struct IfDirective * if_directive = if_directives; if_directive != NULL; if_directive = if_directive->next) {
1352     Stream_write_string(output, "if (!(");
1353 siliconforks 246 print_javascript(if_directive->condition_start, if_directive->condition_end - if_directive->condition_start, output);
1354 siliconforks 240 Stream_write_string(output, ")) {\n");
1355     Stream_printf(output, " _$jscoverage['%s'].conditionals[%d] = %d;\n", file_id, if_directive->start_line, if_directive->end_line);
1356     Stream_write_string(output, "}\n");
1357     }
1358    
1359     /* free */
1360     while (if_directives != NULL) {
1361     struct IfDirective * if_directive = if_directives;
1362     if_directives = if_directives->next;
1363     free(if_directive);
1364     }
1365    
1366 siliconforks 95 /* copy the original source to the output */
1367 siliconforks 179 Stream_printf(output, "_$jscoverage['%s'].source = ", file_id);
1368     jscoverage_write_source(id, characters, num_characters, output);
1369     Stream_printf(output, ";\n");
1370 siliconforks 95
1371 siliconforks 179 Stream_delete(instrumented);
1372    
1373     file_id = NULL;
1374     }
1375    
1376     void jscoverage_write_source(const char * id, const jschar * characters, size_t num_characters, Stream * output) {
1377     Stream_write_string(output, "[");
1378     if (jscoverage_highlight) {
1379     Stream * highlighted_stream = Stream_new(num_characters);
1380     jscoverage_highlight_js(context, id, characters, num_characters, highlighted_stream);
1381     size_t i = 0;
1382     while (i < highlighted_stream->length) {
1383     if (i > 0) {
1384     Stream_write_char(output, ',');
1385     }
1386    
1387     Stream_write_char(output, '"');
1388     bool done = false;
1389     while (! done) {
1390     char c = highlighted_stream->data[i];
1391     switch (c) {
1392     case 0x8:
1393     /* backspace */
1394     Stream_write_string(output, "\\b");
1395     break;
1396     case 0x9:
1397     /* horizontal tab */
1398     Stream_write_string(output, "\\t");
1399     break;
1400     case 0xa:
1401     /* line feed (new line) */
1402     done = true;
1403     break;
1404 siliconforks 317 /* IE doesn't support this */
1405     /*
1406 siliconforks 179 case 0xb:
1407     Stream_write_string(output, "\\v");
1408     break;
1409 siliconforks 317 */
1410 siliconforks 179 case 0xc:
1411     /* form feed */
1412     Stream_write_string(output, "\\f");
1413     break;
1414     case 0xd:
1415     /* carriage return */
1416     done = true;
1417     if (i + 1 < highlighted_stream->length && highlighted_stream->data[i + 1] == '\n') {
1418     i++;
1419     }
1420     break;
1421     case '"':
1422     Stream_write_string(output, "\\\"");
1423     break;
1424     case '\\':
1425     Stream_write_string(output, "\\\\");
1426     break;
1427     default:
1428     Stream_write_char(output, c);
1429     break;
1430     }
1431 siliconforks 95 i++;
1432 siliconforks 179 if (i >= highlighted_stream->length) {
1433     done = true;
1434 siliconforks 95 }
1435     }
1436 siliconforks 179 Stream_write_char(output, '"');
1437     }
1438     Stream_delete(highlighted_stream);
1439     }
1440     else {
1441     size_t i = 0;
1442     while (i < num_characters) {
1443     if (i > 0) {
1444     Stream_write_char(output, ',');
1445     }
1446    
1447     Stream_write_char(output, '"');
1448     bool done = false;
1449     while (! done) {
1450     jschar c = characters[i];
1451     switch (c) {
1452     case 0x8:
1453     /* backspace */
1454     Stream_write_string(output, "\\b");
1455     break;
1456     case 0x9:
1457     /* horizontal tab */
1458     Stream_write_string(output, "\\t");
1459     break;
1460     case 0xa:
1461     /* line feed (new line) */
1462     done = true;
1463     break;
1464 siliconforks 317 /* IE doesn't support this */
1465     /*
1466 siliconforks 179 case 0xb:
1467     Stream_write_string(output, "\\v");
1468     break;
1469 siliconforks 317 */
1470 siliconforks 179 case 0xc:
1471     /* form feed */
1472     Stream_write_string(output, "\\f");
1473     break;
1474     case 0xd:
1475     /* carriage return */
1476     done = true;
1477     if (i + 1 < num_characters && characters[i + 1] == '\n') {
1478     i++;
1479     }
1480     break;
1481     case '"':
1482     Stream_write_string(output, "\\\"");
1483     break;
1484     case '\\':
1485     Stream_write_string(output, "\\\\");
1486     break;
1487     case '&':
1488     Stream_write_string(output, "&amp;");
1489     break;
1490     case '<':
1491     Stream_write_string(output, "&lt;");
1492     break;
1493     case '>':
1494     Stream_write_string(output, "&gt;");
1495     break;
1496     case 0x2028:
1497     case 0x2029:
1498     done = true;
1499     break;
1500     default:
1501     if (32 <= c && c <= 126) {
1502     Stream_write_char(output, c);
1503     }
1504     else {
1505     Stream_printf(output, "&#%d;", c);
1506     }
1507     break;
1508     }
1509 siliconforks 95 i++;
1510 siliconforks 179 if (i >= num_characters) {
1511     done = true;
1512     }
1513 siliconforks 95 }
1514 siliconforks 179 Stream_write_char(output, '"');
1515 siliconforks 95 }
1516     }
1517 siliconforks 179 Stream_write_string(output, "]");
1518 siliconforks 2 }
1519 siliconforks 116
1520     void jscoverage_copy_resources(const char * destination_directory) {
1521     copy_resource("jscoverage.html", destination_directory);
1522     copy_resource("jscoverage.css", destination_directory);
1523     copy_resource("jscoverage.js", destination_directory);
1524 siliconforks 169 copy_resource("jscoverage-ie.css", destination_directory);
1525 siliconforks 116 copy_resource("jscoverage-throbber.gif", destination_directory);
1526 siliconforks 179 copy_resource("jscoverage-highlight.css", destination_directory);
1527 siliconforks 116 }
1528    
1529     /*
1530     coverage reports
1531     */
1532    
1533     struct FileCoverageList {
1534     FileCoverage * file_coverage;
1535     struct FileCoverageList * next;
1536     };
1537    
1538     struct Coverage {
1539     JSHashTable * coverage_table;
1540     struct FileCoverageList * coverage_list;
1541     };
1542    
1543     static int compare_strings(const void * p1, const void * p2) {
1544     return strcmp(p1, p2) == 0;
1545     }
1546    
1547     Coverage * Coverage_new(void) {
1548     Coverage * result = xmalloc(sizeof(Coverage));
1549     result->coverage_table = JS_NewHashTable(1024, JS_HashString, compare_strings, NULL, NULL, NULL);
1550     if (result->coverage_table == NULL) {
1551     fatal("cannot create hash table");
1552     }
1553     result->coverage_list = NULL;
1554     return result;
1555     }
1556    
1557     void Coverage_delete(Coverage * coverage) {
1558     JS_HashTableDestroy(coverage->coverage_table);
1559     struct FileCoverageList * p = coverage->coverage_list;
1560     while (p != NULL) {
1561 siliconforks 179 free(p->file_coverage->coverage_lines);
1562     if (p->file_coverage->source_lines != NULL) {
1563     for (uint32 i = 0; i < p->file_coverage->num_source_lines; i++) {
1564     free(p->file_coverage->source_lines[i]);
1565     }
1566     free(p->file_coverage->source_lines);
1567     }
1568 siliconforks 116 free(p->file_coverage->id);
1569     free(p->file_coverage);
1570     struct FileCoverageList * q = p;
1571     p = p->next;
1572     free(q);
1573     }
1574     free(coverage);
1575     }
1576    
1577     struct EnumeratorArg {
1578     CoverageForeachFunction f;
1579     void * p;
1580     };
1581    
1582     static intN enumerator(JSHashEntry * entry, intN i, void * arg) {
1583     struct EnumeratorArg * enumerator_arg = arg;
1584     enumerator_arg->f(entry->value, i, enumerator_arg->p);
1585     return 0;
1586     }
1587    
1588     void Coverage_foreach_file(Coverage * coverage, CoverageForeachFunction f, void * p) {
1589     struct EnumeratorArg enumerator_arg;
1590     enumerator_arg.f = f;
1591     enumerator_arg.p = p;
1592     JS_HashTableEnumerateEntries(coverage->coverage_table, enumerator, &enumerator_arg);
1593     }
1594    
1595     int jscoverage_parse_json(Coverage * coverage, const uint8_t * json, size_t length) {
1596 siliconforks 336 int result = 0;
1597    
1598 siliconforks 116 jschar * base = js_InflateString(context, (char *) json, &length);
1599     if (base == NULL) {
1600     fatal("out of memory");
1601     }
1602    
1603     jschar * parenthesized_json = xnew(jschar, addst(length, 2));
1604     parenthesized_json[0] = '(';
1605     memcpy(parenthesized_json + 1, base, mulst(length, sizeof(jschar)));
1606     parenthesized_json[length + 1] = ')';
1607    
1608     JS_free(context, base);
1609    
1610 siliconforks 336 JSParseContext parse_context;
1611     if (! js_InitParseContext(context, &parse_context, NULL, NULL, parenthesized_json, length + 2, NULL, NULL, 1)) {
1612     free(parenthesized_json);
1613     return -1;
1614 siliconforks 116 }
1615 siliconforks 336 JSParseNode * root = js_ParseScript(context, global, &parse_context);
1616 siliconforks 116 free(parenthesized_json);
1617     if (root == NULL) {
1618 siliconforks 336 result = -1;
1619     goto done;
1620 siliconforks 116 }
1621    
1622     /* root node must be TOK_LC */
1623     if (root->pn_type != TOK_LC) {
1624 siliconforks 336 result = -1;
1625     goto done;
1626 siliconforks 116 }
1627     JSParseNode * semi = root->pn_u.list.head;
1628    
1629     /* the list must be TOK_SEMI and it must contain only one element */
1630     if (semi->pn_type != TOK_SEMI || semi->pn_next != NULL) {
1631 siliconforks 336 result = -1;
1632     goto done;
1633 siliconforks 116 }
1634     JSParseNode * parenthesized = semi->pn_kid;
1635    
1636     /* this must be a parenthesized expression */
1637     if (parenthesized->pn_type != TOK_RP) {
1638 siliconforks 336 result = -1;
1639     goto done;
1640 siliconforks 116 }
1641     JSParseNode * object = parenthesized->pn_kid;
1642    
1643     /* this must be an object literal */
1644     if (object->pn_type != TOK_RC) {
1645 siliconforks 336 result = -1;
1646     goto done;
1647 siliconforks 116 }
1648    
1649     for (JSParseNode * p = object->pn_head; p != NULL; p = p->pn_next) {
1650     /* every element of this list must be TOK_COLON */
1651     if (p->pn_type != TOK_COLON) {
1652 siliconforks 336 result = -1;
1653     goto done;
1654 siliconforks 116 }
1655    
1656     /* the key must be a string representing the file */
1657     JSParseNode * key = p->pn_left;
1658     if (key->pn_type != TOK_STRING || ! ATOM_IS_STRING(key->pn_atom)) {
1659 siliconforks 336 result = -1;
1660     goto done;
1661 siliconforks 116 }
1662     char * id_bytes = JS_GetStringBytes(ATOM_TO_STRING(key->pn_atom));
1663    
1664     /* the value must be an object literal OR an array */
1665     JSParseNode * value = p->pn_right;
1666     if (! (value->pn_type == TOK_RC || value->pn_type == TOK_RB)) {
1667 siliconforks 336 result = -1;
1668     goto done;
1669 siliconforks 116 }
1670    
1671     JSParseNode * array = NULL;
1672     JSParseNode * source = NULL;
1673     if (value->pn_type == TOK_RB) {
1674     /* an array */
1675     array = value;
1676     }
1677     else if (value->pn_type == TOK_RC) {
1678     /* an object literal */
1679     if (value->pn_count != 2) {
1680 siliconforks 336 result = -1;
1681     goto done;
1682 siliconforks 116 }
1683     for (JSParseNode * element = value->pn_head; element != NULL; element = element->pn_next) {
1684     if (element->pn_type != TOK_COLON) {
1685 siliconforks 336 result = -1;
1686     goto done;
1687 siliconforks 116 }
1688     JSParseNode * left = element->pn_left;
1689     if (left->pn_type != TOK_STRING || ! ATOM_IS_STRING(left->pn_atom)) {
1690 siliconforks 336 result = -1;
1691     goto done;
1692 siliconforks 116 }
1693     const char * s = JS_GetStringBytes(ATOM_TO_STRING(left->pn_atom));
1694     if (strcmp(s, "coverage") == 0) {
1695     array = element->pn_right;
1696     if (array->pn_type != TOK_RB) {
1697 siliconforks 336 result = -1;
1698     goto done;
1699 siliconforks 116 }
1700     }
1701     else if (strcmp(s, "source") == 0) {
1702     source = element->pn_right;
1703 siliconforks 179 if (source->pn_type != TOK_RB) {
1704 siliconforks 336 result = -1;
1705     goto done;
1706 siliconforks 116 }
1707     }
1708     else {
1709 siliconforks 336 result = -1;
1710     goto done;
1711 siliconforks 116 }
1712     }
1713     }
1714     else {
1715 siliconforks 336 result = -1;
1716     goto done;
1717 siliconforks 116 }
1718    
1719     if (array == NULL) {
1720 siliconforks 336 result = -1;
1721     goto done;
1722 siliconforks 116 }
1723    
1724     /* look up the file in the coverage table */
1725     FileCoverage * file_coverage = JS_HashTableLookup(coverage->coverage_table, id_bytes);
1726     if (file_coverage == NULL) {
1727     /* not there: create a new one */
1728     char * id = xstrdup(id_bytes);
1729     file_coverage = xmalloc(sizeof(FileCoverage));
1730     file_coverage->id = id;
1731 siliconforks 179 file_coverage->num_coverage_lines = array->pn_count;
1732     file_coverage->coverage_lines = xnew(int, array->pn_count);
1733 siliconforks 245 file_coverage->source_lines = NULL;
1734 siliconforks 116
1735     /* set coverage for all lines */
1736     uint32 i = 0;
1737     for (JSParseNode * element = array->pn_head; element != NULL; element = element->pn_next, i++) {
1738     if (element->pn_type == TOK_NUMBER) {
1739 siliconforks 179 file_coverage->coverage_lines[i] = (int) element->pn_dval;
1740 siliconforks 116 }
1741     else if (element->pn_type == TOK_PRIMARY && element->pn_op == JSOP_NULL) {
1742 siliconforks 179 file_coverage->coverage_lines[i] = -1;
1743 siliconforks 116 }
1744     else {
1745 siliconforks 336 result = -1;
1746     goto done;
1747 siliconforks 116 }
1748     }
1749     assert(i == array->pn_count);
1750    
1751     /* add to the hash table */
1752     JS_HashTableAdd(coverage->coverage_table, id, file_coverage);
1753     struct FileCoverageList * coverage_list = xmalloc(sizeof(struct FileCoverageList));
1754     coverage_list->file_coverage = file_coverage;
1755     coverage_list->next = coverage->coverage_list;
1756     coverage->coverage_list = coverage_list;
1757     }
1758     else {
1759     /* sanity check */
1760     assert(strcmp(file_coverage->id, id_bytes) == 0);
1761 siliconforks 179 if (file_coverage->num_coverage_lines != array->pn_count) {
1762 siliconforks 336 result = -2;
1763     goto done;
1764 siliconforks 116 }
1765    
1766     /* merge the coverage */
1767     uint32 i = 0;
1768     for (JSParseNode * element = array->pn_head; element != NULL; element = element->pn_next, i++) {
1769     if (element->pn_type == TOK_NUMBER) {
1770 siliconforks 179 if (file_coverage->coverage_lines[i] == -1) {
1771 siliconforks 336 result = -2;
1772     goto done;
1773 siliconforks 116 }
1774 siliconforks 179 file_coverage->coverage_lines[i] += (int) element->pn_dval;
1775 siliconforks 116 }
1776     else if (element->pn_type == TOK_PRIMARY && element->pn_op == JSOP_NULL) {
1777 siliconforks 179 if (file_coverage->coverage_lines[i] != -1) {
1778 siliconforks 336 result = -2;
1779     goto done;
1780 siliconforks 116 }
1781     }
1782     else {
1783 siliconforks 336 result = -1;
1784     goto done;
1785 siliconforks 116 }
1786     }
1787     assert(i == array->pn_count);
1788 siliconforks 245 }
1789 siliconforks 116
1790 siliconforks 245 /* if this JSON file has source, use it */
1791     if (file_coverage->source_lines == NULL && source != NULL) {
1792     file_coverage->num_source_lines = source->pn_count;
1793     file_coverage->source_lines = xnew(char *, source->pn_count);
1794     uint32 i = 0;
1795     for (JSParseNode * element = source->pn_head; element != NULL; element = element->pn_next, i++) {
1796     if (element->pn_type != TOK_STRING) {
1797 siliconforks 336 result = -1;
1798     goto done;
1799 siliconforks 179 }
1800 siliconforks 245 file_coverage->source_lines[i] = xstrdup(JS_GetStringBytes(ATOM_TO_STRING(element->pn_atom)));
1801 siliconforks 116 }
1802 siliconforks 245 assert(i == source->pn_count);
1803 siliconforks 116 }
1804     }
1805    
1806 siliconforks 336 done:
1807     js_FinishParseContext(context, &parse_context);
1808     return result;
1809 siliconforks 116 }

  ViewVC Help
Powered by ViewVC 1.1.24