Function parse_args

mypy/test/testcmdline.py:124–138

Parse the first line of the program for the command line. This should have the form # cmd: mypy For example: # cmd: mypy pkg/

(line: str)

def parse_args(line: str) -> list[str]:
    """Parse the first line of the program for the command line.

    This should have the form

      # cmd: mypy <options>

    For example:

      # cmd: mypy pkg/
    """
    m = re.match("# cmd: mypy (.*)$", line)
    if not m:
        return []  # No args; mypy will spit out an error.
    return m.group(1).split()


def parse_cwd(line: str) -> str | None: