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

Annotation of /trunk/instrument-js.cpp

Parent Directory Parent Directory | Revision Log Revision Log


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

  ViewVC Help
Powered by ViewVC 1.1.24