Searched refs:gen_file (Results 1 – 2 of 2) sorted by relevance
| /third_party/jerryscript/tools/ |
| D | gen-magic-strings.py | 200 def generate_header(gen_file): argument
220 print(header, file=gen_file)
223 def generate_magic_string_defs(gen_file, defs): argument
228 print('#endif', file=gen_file)
230 print('#if {guards}'.format(guards=guards_to_str(guards)), file=gen_file)
233 .format(str_ref=str_ref, str_value=json.dumps(str_value)), file=gen_file)
238 print('#endif', file=gen_file)
241 def generate_first_magic_strings(gen_file, defs): argument
242 print(file=gen_file) # empty line separator
250 print('#if {guards}'.format(guards=guards_to_str(guards)), file=gen_file)
[all …]
|
| D | js2c.py | 121 with open(os.path.join(script_args.output_path, 'jerry-targetjs.h'), 'w') as gen_file:
122 gen_file.write("\n".join(gen_output))
|