162 |
copy_file(source_file, destination_file); |
copy_file(source_file, destination_file); |
163 |
break; |
break; |
164 |
case FILE_TYPE_JS: |
case FILE_TYPE_JS: |
|
highlight_file(source_file, destination_file, id); |
|
165 |
{ |
{ |
166 |
FILE * input = xfopen(source_file, "r"); |
FILE * input = xfopen(source_file, "r"); |
167 |
FILE * output = xfopen(destination_file, "w"); |
FILE * output = xfopen(destination_file, "w"); |
168 |
jscoverage_instrument_js(id, input, output); |
const char * suffix = ".jscoverage.js"; |
169 |
|
char temporary_file_name[strlen(destination_file) + strlen(suffix) + 1]; |
170 |
|
strcpy(temporary_file_name, destination_file); |
171 |
|
strcat(temporary_file_name, suffix); |
172 |
|
jscoverage_instrument_js(id, input, output, temporary_file_name); |
173 |
fclose(input); |
fclose(input); |
174 |
fclose(output); |
fclose(output); |
175 |
} |
} |
176 |
|
highlight_file(source_file, destination_file, id); |
177 |
break; |
break; |
178 |
} |
} |
179 |
} |
} |