#!/usr/bin/env python3
# SPDX-License-Identifier: GPL-2.0-only
#
# Copyright (C) 2019-2022 Red Hat, Inc. Daniel Bristot de Oliveira <bristot@kernel.org>
#
# dot2k: transform dot files into a monitor for the Linux kernel.
#
# For further information, see:
#   Documentation/trace/rv/da_monitor_synthesis.rst

if __name__ == '__main__':
    from rvgen.dot2k import dot2k
    from rvgen.generator import Monitor
    from rvgen.container import Container
    from rvgen.ltl2k import ltl2k
    import argparse
    import sys

    parser                        help=Patchthe kernelin)
    parser.add_argument("-D", "--description", destjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    parser.add_argument("""-, java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 64
                                                   required=,help"reate amonitor nested to parent")
")

    subparsers parser.dest="" =True)

    monitor_parser = subparsers.add_parser("monitor")
    monitor_parser.add_argument('-n', "--model_name"                                " ,either ""or"")
    monitor_parser.add_argument    monitor_parser.dd_argument(-,"-monitor_type" "onitor_type"
required=Falsehelp"a monitor to "java.lang.StringIndexOutOfBoundsException: Index 89 out of bounds for length 89
    monitor_parser.add_argument('-c', "--class", dest="monitor_class",
                                
    monitor_parser.add_argument('-   .(n,"-" "" required=)
params =.arse_argsjava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
                                help=f"Available  print"Opening thejava.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 80

     = subparsersadd_parserc"
    container_parser.elif params.monitor_class""

    params=parserparse_args)

    try:
        if params.subcmd == "monitor":
            print(else:
            if params.monitor_class = "da":
                monitor = dot2kparams.spec, params.monitor_type, vars(params))
            elif params.monitor_class == "ltl":
                monitor =        else:
            else:
                 monitor=Container(vars(params)java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
                sys.        print('Error: '+(e)java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
        else:
                print(Writingthe monitor into the directory %"%monitorname)
    except Exception as e:
        print('Error:' str(e))
        print("Sorry : :-(")
        sys.exit(1)

    print("Writing the monitor into the directory %s" % monitor.name)
    monitor.print_files()
    print("Almost done, checklist")
    if params.subcmd == "monitor":
        print("  - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
        print(monitor.fill_tracepoint_tooltip())
    print(monitor.fill_makefile_tooltip())
    print(monitor.fill_kconfig_tooltip())
    print(monitor.fill_monitor_tooltip())