Quelle  mach_commands.py   Sprache: Python

"

    for lineno, line in enumerate(fh, 1):

        processed = f"{lineno} 

        if line0 <= lineno and lineno <= line1:

            processed += " style='background: yellow'"

        processed += ">" + html.escape(line.rstrip()) + "\n"

        out += processed



    return out





@SubCommand(

    "hazards", "view", description="Display a web page describing any hazards found"

)

@CommandArgument(

    "--project",

    default="browser",

    help="Analyze the output for the given project.",

)

@CommandArgument("--application", dest="project", help="Build the given project.")

@CommandArgument(

    "--haz-objdir", default=None, help="Write object files to this directory."

)

@CommandArgument(

    "--work-dir", default=None, help="Directory for output and working files."

)

@CommandArgument("--port", default=6006, help="Port of the web server")

@CommandArgument(

    "--serve-only",

    default=False,

    action="store_true",

    help="Serve only, do not navigate to page",

)

def view_hazards(command_context, project, haz_objdir, work_dir, port, serve_only):

    work_dir = get_work_dir(command_context, project, work_dir)

    haztop = os.path.basename(work_dir)

    if haz_objdir is None:

        haz_objdir = os.environ.get("HAZ_OBJDIR")

    if haz_objdir is None:

        haz_objdir = os.path.join(command_context.topsrcdir, "obj-analyzed-" + project)



    httpd = None



    def serve_source_file(request, path):

        info = {"req": path}



        def log(fmt, level=logging.INFO):

            return command_context.log(level, "view-hazards", info, fmt)



        if path in ("", f"{haztop}"):

            info["dest"] = f"/{haztop}/hazards.html"

            info["code"] = 301

            log("serve '{req}' -> {code} {dest}")

            return (info["code"], {"Location": info["dest"]}, "")



        # Allow files to be served from the source directory or the objdir.

        roots = (command_context.topsrcdir, haz_objdir)



        try:

            # Validate the path. Some source files have weird characters in their paths (eg "+"), but they

            # all start with an alphanumeric or underscore.

            command_context.log(

                logging.DEBUG, "view-hazards", {"path": path}, "Raw path: {path}"

            )

            path_component = r"\w[\w\-\.\+]*"

            if not re.match(f"({path_component}/)*{path_component}$", path):

                raise ValueError("invalid path")



            # Resolve the path to under one of the roots, and

            # ensure that the actual file really is underneath a root directory.

            for rootdir in roots:

                fullpath = os.path.join(rootdir, path)

                info["path"] = fullpath

                fullpath = os.path.realpath(fullpath)

                if os.path.isfile(fullpath):

                    # symlinks between roots are ok, but not symlinks outside of the roots.

                    tops = [

                        d

                        for d in roots

                        if fullpath.startswith(os.path.realpath(d) + "/")

                    ]

                    if len(tops) > 0:

                        break  # Found a file underneath a root.

            else:

                raise IOError("not found")



            html = annotated_source(fullpath, request.query)

            log("serve '{req}' -> 200 {path}")

            return (

                200,

                {"Content-type": "text/html", "Content-length": len(html)},

                html,

            )

        except (IOError, ValueError):

            log("serve '{req}' -> 404 {path}", logging.ERROR)

            return (

                404,

                {"Content-type": "text/plain"},

                "We don't have that around here. Don't be asking for it.",

            )



    httpd = mozhttpd.MozHttpd(

        port=port,

        docroot=None,

        path_mappings={"/" + haztop: work_dir},

        urlhandlers=[

            # Treat everything not starting with /haz-browser/ (or /haz-js/)

            # as a source file to be processed. Everything else is served

            # as a plain file.

            {

                "method": "GET",

                "path": "/(?!haz-" + project + "/)(.*)",

                "function": serve_source_file,

            },

        ],

        log_requests=True,

    )



    # The mozhttpd request handler class eats log messages.

    httpd.handler_class.log_message = lambda self, format, *args: command_context.log(

        logging.INFO, "view-hazards", {}, format % args

    )



    print("Serving at %s:%s" % (httpd.host, httpd.port))



    httpd.start(block=False)

    url = httpd.get_url(f"/{haztop}/hazards.html")

    display_url = True

    if not serve_only:

        try:

            webbrowser.get().open_new_tab(url)

            display_url = False

        except Exception:

            pass

    if display_url:

        print("Please open %s in a browser." % url)



    print("Hit CTRL+c to stop server.")

    httpd.server.join()

quality94% 


                    
¤ Dauer der Verarbeitung: 0.18 Sekunden 
                        (vorverarbeitet)     
                        ¤
                    
*© Formatika GbR, Deutschland