225 |
current_class = CLASS_NONE; |
current_class = CLASS_NONE; |
226 |
|
|
227 |
/* tokenize the JavaScript */ |
/* tokenize the JavaScript */ |
228 |
JSTokenStream token_stream; |
JSTokenStream token_stream(context); |
229 |
if (! js_InitTokenStream(context, &token_stream, characters, num_characters, NULL, NULL, 1)) { |
if (! token_stream.init(context, characters, num_characters, NULL, NULL, 1)) { |
230 |
fatal("cannot create token stream from JavaScript file %s", id); |
fatal("cannot create token stream from JavaScript file %s", id); |
231 |
} |
} |
232 |
|
|
480 |
output_character('\n', CLASS_NONE); |
output_character('\n', CLASS_NONE); |
481 |
} |
} |
482 |
|
|
483 |
js_CloseTokenStream(context, &token_stream); |
token_stream.close(context); |
484 |
} |
} |