kernel/tools/bitfield_gen.py

2658     out_file = sys.stdout
2692             out_file = OutputFile(args[1])
2707             if out_file == sys.stdout:
2710             out_file.filename = os.path.abspath(options.thy_output_path)
2717     options.output = out_file
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)
2816                 out_file = OutputFile(options.multifile_base + "_" +
2821                                                     os.path.dirname(out_file.filename))),
2822                       file=out_file)
2823                 print(file=out_file)
2825                 options.output = 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)
2875                 out_file = OutputFile(options.multifile_base + "_" +
2881                     file=out_file)
2882                 print(file=out_file)
2884                 options.output = out_file
2887                 print("end", file=out_file)
2889         guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
2891               {'guard': guard}, file=out_file)
2893                             INCLUDES[options.environment])), file=out_file)
2896         print("#endif", file=out_file)