tools/libsel4_tools/bitfield_gen.py

1749               {"type": TYPES[options.environment][self.base],
1769             'inline': INLINE[options.environment],
1771             'type':  TYPES[options.environment][self.union_base],
1826             param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843                     f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1872                         % (ASSERTS[options.environment], f_value, mask, suf, self.base_sign_extend,
1889                 "inline":     INLINE[options.environment],
1935                     "inline": INLINE[options.environment],
1938                     "type": TYPES[options.environment][ref.base],
1939                     "assert": ASSERTS[options.environment],
2442               {"type": TYPES[options.environment][self.base],
2449         param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
2488                     % (ASSERTS[options.environment], field, mask, suf, self.base_sign_extend,
2505             "inline": INLINE[options.environment],
2544                 "inline": INLINE[options.environment],
2547                 "type": TYPES[options.environment][self.base],
2548                 "assert": ASSERTS[options.environment],
2684     options, args = parser.parse_args()
2685     DEBUG = options.debug
2698     if options.hol_defs or options.hol_proofs:
2700         if options.cspec_dir is None:
2705             if options.thy_output_path is None:
2710             out_file.filename = os.path.abspath(options.thy_output_path)
2712     if options.hol_proofs and not options.umm_types_file:
2717     options.output = out_file
2751             u.resolve(options, symtab)
2766     if len(options.prune_files) > 0:
2770         for filename in options.prune_files:
2779     options.names = pruned_names
2782     if options.hol_defs:
2784         if options.multifile_base is None:
2787                 os.path.relpath(options.cspec_dir,
2796                 e.generate_hol_defs(options)
2803                 os.path.relpath(options.cspec_dir,
2813                     os.path.basename(options.multifile_base).split('.')[0]
2816                 out_file = OutputFile(options.multifile_base + "_" +
2820                     submodule_name, os.path.relpath(options.cspec_dir,
2825                 options.output = out_file
2826                 e.generate_hol_defs(options)
2829     elif options.hol_proofs:
2834         tps = umm.build_types(options.umm_types_file)
2838         for toptp in options.toplevel_types:
2849         if options.multifile_base is None:
2857                 e.generate_hol_proofs(options, type_map)
2872                     os.path.basename(options.multifile_base).split('.')[0]
2875                 out_file = OutputFile(options.multifile_base + "_" +
2884                 options.output = out_file
2885                 e.generate_hol_proofs(options, type_map)
2893                             INCLUDES[options.environment])), file=out_file)
2895             e.generate(options)