libsel4/tools/bitfield_gen.py

130           file=sys.stderr)
132         print('Token: %s' % str(t), file=sys.stderr)
256     print("Syntax error at token '%s'" % t.value, file=sys.stderr)
1203         print(string, file=params.output)
1204         print(file=params.output)
1345               {"name": self.name}, file=output)
1346         print(file=output)
1354                          substs, params.sorry), file=output)
1355         print(file=output)
1358                          substs, params.sorry), file=output)
1359         print(file=output)
1362                          substs, params.sorry), file=output)
1363         print(file=output)
1367               file=output)
1368         print(file=output)
1593               file=output)
1612         print(fs, file=output)
1613         print(file=output)
1630         print(fs, file=output)
1631         print(file=output)
1651                 print(fs, file=output)
1652                 print(file=output)
1713               file=output)
1714         print(file=output)
1716         print(collapse_proofs, file=output)
1730                 print(t % substs, file=output)
1731                 print(file=output)
1733             print(block_lift_def_template % substs, file=output)
1734             print(file=output)
1736             print(block_lift_lemma_template % substs, file=output)
1737             print(file=output)
1741         print(block_lift_lemmas, file=output)
1742         print(file=output)
1751                "multiple": self.multiple}, file=output)
1752         print(file=output)
1755         print("enum %s_tag {" % self.name, file=output)
1759                       file=output)
1762                   file=output)
1763         print("};", file=output)
1765               (self.name, self.name), file=output)
1766         print(file=output)
2164             print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr)
2167                       file=sys.stderr)
2252             print(out, file=output)
2292                   file=output)
2293             print(file=output)
2306               {"name": self.name}, file=output)
2307         print(file=output)
2315                          substs, params.sorry), file=output)
2316         print(file=output)
2319                          substs, params.sorry), file=output)
2320         print(file=output)
2323                          substs, params.sorry), file=output)
2324         print(file=output)
2328               file=output)
2329         print(file=output)
2444                "multiple": self.multiple}, file=output)
2445         print(file=output)
2626         """Open an output file for writing, recording its filename.
2627            If atomic is True, use a temporary file for writing.
2632             self.file = tempfile.NamedTemporaryFile(
2635                 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys.stderr)
2639             self.file = open(filename, mode)
2642         self.file.write(*args, **kwargs)
2648         os.rename(f.file.name, f.filename)
2703         # Ensure that if an output file was not specified, an output path was.
2709                     'Output file name must be given when generating HOL definitions or proofs')
2785             print("theory %s_defs" % module_name, file=out_file)
2788                                 os.path.dirname(out_file.filename))), file=out_file)
2789             print("begin", file=out_file)
2790             print(file=out_file)
2792             print(defs_global_lemmas, file=out_file)
2793             print(file=out_file)
2798             print("end", file=out_file)
2800             print("theory %s_defs" % module_name, file=out_file)
2801             print("imports", file=out_file)
2804                                 os.path.dirname(out_file.filename))), file=out_file)
2807                       file=out_file)
2808             print("begin", file=out_file)
2809             print("end", file=out_file)
2822                       file=out_file)
2823                 print(file=out_file)
2828                 print("end", file=out_file)
2850             print("theory %s_proofs" % module_name, file=out_file)
2851             print("imports %s_defs" % module_name, file=out_file)
2852             print("begin", file=out_file)
2853             print(file=out_file)
2854             print(file=out_file)
2859             print("end", file=out_file)
2862             print("theory %s_proofs" % module_name, file=out_file)
2863             print("imports", file=out_file)
2866                       file=out_file)
2867             print("begin", file=out_file)
2868             print("end", file=out_file)
2881                     file=out_file)
2882                 print(file=out_file)
2887                 print("end", file=out_file)
2891               {'guard': guard}, file=out_file)
2893                             INCLUDES[options.environment])), file=out_file)
2896         print("#endif", file=out_file)