6 # dot2k: transform dot files into a monitor for the Linux kernel.
13     from rvgen.generator import Monitor
19     parser = argparse.ArgumentParser(description='Generate kernel rv monitor')
27     monitor_parser = subparsers.add_parser("monitor")
30                                 required=False, help="Create a monitor nested to parent")
32                                 help="Monitor class, either \"da\" or \"ltl\"")
33     monitor_parser.add_argument('-s', "--spec", dest="spec", help="Monitor specification file")
35 …                              help=f"Available options: {', '.join(Monitor.monitor_types.keys())}")
43         if params.subcmd == "monitor":
46                 monitor = dot2k(params.spec, params.monitor_type, vars(params))  variable
48                 monitor = ltl2k(params.spec, params.monitor_type, vars(params))  variable
50                 print("Unknown monitor class:", params.monitor_class)
53             monitor = Container(vars(params))  variable
59     print("Writing the monitor into the directory %s" % monitor.name)
60     monitor.print_files()
62     if params.subcmd == "monitor":
63         print("  - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
64         print(monitor.fill_tracepoint_tooltip())
65     print(monitor.fill_makefile_tooltip())
66     print(monitor.fill_kconfig_tooltip())
67     print(monitor.fill_monitor_tooltip())