Class ModuleResult

mypy/build.py:5243–5261

A simple class representing the result of type-checking phase for a single module. Non-None interface hash signifies this is a result of checking the interface of the module, otherwise this is a result of checking the implementation (which includes errors encountered during both phases)

class ModuleResult:
    """A simple class representing the result of type-checking phase for a single module.

    Non-None interface hash signifies this is a result of checking the interface
    of the module, otherwise this is a result of checking the implementation (which
    includes errors encountered during both phases).
    """

    def __init__(self, interface_hash: str | None, error_lines: list[str]) -> None:
        self.interface_hash = interface_hash
        self.error_lines = error_lines

    @classmethod
    def read(cls, buf: ReadBuffer) -> ModuleResult:
        return ModuleResult(read_str_opt(buf), read_str_list(buf))

    def write(self, buf: WriteBuffer) -> None:
        write_str_opt(buf, self.interface_hash)
        write_str_list(buf, self.error_lines)


class SccResponseMessage(IPCMessage):