31 |
FILE_TYPE_OTHER |
FILE_TYPE_OTHER |
32 |
}; |
}; |
33 |
|
|
34 |
|
extern bool jscoverage_mozilla; |
35 |
|
|
36 |
|
void jscoverage_set_js_version(const char * version); |
37 |
|
|
38 |
void jscoverage_init(void); |
void jscoverage_init(void); |
39 |
|
|
40 |
void jscoverage_cleanup(void); |
void jscoverage_cleanup(void); |
68 |
|
|
69 |
void jscoverage_write_source(const char * id, const uint16_t * characters, size_t num_characters, Stream * output); |
void jscoverage_write_source(const char * id, const uint16_t * characters, size_t num_characters, Stream * output); |
70 |
|
|
71 |
#endif |
#endif /* INSTRUMENT_JS_H_ */ |