Implement XML-based reports

Author: o11c

.gitignore

@@ -6,3 +6,4 @@ __pycache__
 /build
 /env
 docs/build/
+/out/

lxml/__init__.pyi

@@ -0,0 +1,91 @@
+# Hand-written stub for lxml.etree as used by mypy.report.
+# This is *far* from complete, and the stubgen-generated ones crash mypy.
+# Any use of `Any` below means I couldn't figure out the type.
+
+import typing
+from typing import Any, Dict, List, Tuple, Union
+
+
+class _Element:
+    def addprevious(self, element: '_Element') -> None:
+        pass
+
+class _ElementTree:
+    def write(self,
+              file: Union[str, typing.IO],
+              encoding: str = None,
+              method: str = "xml",
+              pretty_print: bool = False,
+              xml_declaration: Any = None,
+              with_tail: Any = True,
+              standalone: bool = None,
+              compression: int = 0,
+              exclusive: bool = False,
+              with_comments: bool = True,
+              inclusive_ns_prefixes: List[str] = None) -> None:
+        pass
+
+class _XSLTResultTree:
+    pass
+
+class _XSLTQuotedStringParam:
+    pass
+
+class XMLParser:
+    pass
+
+class XMLSchema:
+    def __init__(self,
+                 etree: Union[_Element, _ElementTree] = None,
+                 file: Union[str, typing.IO] = None) -> None:
+        pass
+
+    def assertValid(self,
+                    etree: Union[_Element, _ElementTree]) -> None:
+        pass
+
+class XSLTAccessControl:
+    pass
+
+class XSLT:
+    def __init__(self,
+                 xslt_input: Union[_Element, _ElementTree],
+                 extensions: Dict[Tuple[str, str], Any] = None,
+                 regexp: bool = True,
+                 access_control: XSLTAccessControl = None) -> None:
+        pass
+
+    def __call__(self,
+                 _input: Union[_Element, _ElementTree],
+                 profile_run: bool = False,
+                 **kwargs: Union[str, _XSLTQuotedStringParam]) -> _XSLTResultTree:
+        pass
+
+    @staticmethod
+    def strparam(s: str) -> _XSLTQuotedStringParam:
+        pass
+
+def Element(_tag: str,
+            attrib: Dict[str, str] = None,
+            nsmap: Dict[str, str] = None,
+            **extra: str) -> _Element:
+    pass
+
+def SubElement(_parent: _Element, _tag: str,
+               attrib: Dict[str, str] = None,
+               nsmap: Dict[str, str] = None,
+               **extra: str) -> _Element:
+    pass
+
+def ElementTree(element: _Element = None,
+                file: Union[str, typing.IO] = None,
+                parser: XMLParser = None) -> _ElementTree:
+    pass
+
+def ProcessingInstruction(target: str, text: str = None) -> _Element:
+    pass
+
+def parse(source: Union[str, typing.IO],
+          parser: XMLParser = None,
+          base_url: str = None) -> _ElementTree:
+    pass

lxml/etree.pyi

@@ -145,7 +145,11 @@ def build(program_path: str,
     if alt_lib_path:
         lib_path.insert(0, alt_lib_path)
 
-    reports = Reports(data_dir, report_dirs)
+    program_path = program_path or lookup_program(module, lib_path)
+    if program_text is None:
+        program_text = read_program(program_path)
+
+    reports = Reports(program_path, data_dir, report_dirs)
 
     # Construct a build manager object that performs all the stages of the
     # build in the correct order.
@@ -157,10 +161,6 @@ def build(program_path: str,
                            custom_typing_module=custom_typing_module,
                            reports=reports)
 
-    program_path = program_path or lookup_program(module, lib_path)
-    if program_text is None:
-        program_text = read_program(program_path)
-
     # Construct information that describes the initial file. __main__ is the
     # implicit module id and the import context is empty initially ([]).
     info = StateInfo(program_path, module, [], manager)

mypy/build.py

@@ -1,8 +1,11 @@
 """Classes for producing HTML reports about imprecision."""
 
 from abc import ABCMeta, abstractmethod
+import cgi
+import os
+import shutil
 
-from typing import Callable, Dict, List
+from typing import Callable, Dict, List, cast
 
 from mypy.types import Type
 from mypy.nodes import MypyFile, Node
@@ -13,17 +16,25 @@
 
 
 class Reports:
-    def __init__(self, data_dir: str, report_dirs: Dict[str, str]) -> None:
+    def __init__(self, main_file: str, data_dir: str, report_dirs: Dict[str, str]) -> None:
+        self.main_file = main_file
         self.data_dir = data_dir
         self.reporters = [] # type: List[AbstractReporter]
+        self.named_reporters = {} # type: Dict[str, AbstractReporter]
 
         for report_type, report_dir in sorted(report_dirs.items()):
             self.add_report(report_type, report_dir)
 
     def add_report(self, report_type: str, report_dir: str) -> 'AbstractReporter':
+        try:
+            return self.named_reporters[report_type]
+        except KeyError:
+            pass
         reporter_cls = reporter_classes[report_type]
         reporter = reporter_cls(self, report_dir)
         self.reporters.append(reporter)
+        self.named_reporters[report_type] = reporter
+        return reporter
 
     def file(self, tree: MypyFile, type_map: Dict[Node, Type]) -> None:
         for reporter in self.reporters:
@@ -60,4 +71,177 @@ def on_finish(self) -> None:
         stats.generate_html_index(self.output_dir)
 reporter_classes['old-html'] = OldHtmlReporter
 
-reporter_classes['html'] = reporter_classes['old-html']
+class FileInfo:
+    def __init__(self, name: str, module: str) -> None:
+        self.name = name
+        self.module = module
+        self.counts = [0] * len(stats.precision_names)
+
+    def total(self) -> int:
+        return sum(self.counts)
+
+    def attrib(self) -> Dict[str, str]:
+        return {name: str(val) for name, val in zip(stats.precision_names, self.counts)}
+
+class MemoryXmlReporter(AbstractReporter):
+    """Internal reporter that generates XML in memory.
+
+    This is used by all other XML-based reporters to avoid duplication.
+    """
+
+    def __init__(self, reports: Reports, output_dir: str) -> None:
+        import lxml.etree as etree
+
+        super().__init__(reports, output_dir)
+
+        self.main_file = reports.main_file
+        self.xslt_html_path = os.path.join(reports.data_dir, 'xml', 'mypy-html.xslt')
+        self.css_html_path = os.path.join(reports.data_dir, 'xml', 'mypy-html.css')
+        xsd_path = os.path.join(reports.data_dir, 'xml', 'mypy.xsd')
+        self.schema = etree.XMLSchema(etree.parse(xsd_path))
+        self.last_xml = None # type: etree._ElementTree
+        self.files = [] # type: List[FileInfo]
+
+    def on_file(self, tree: MypyFile, type_map: Dict[Node, Type]) -> None:
+        import lxml.etree as etree
+
+        self.last_xml = None
+        path = os.path.relpath(tree.path)
+        if stats.is_special_module(path):
+            return
+        if path.startswith('..'):
+            return
+        if 'stubs' in path.split('/'):
+            return
+
+        visitor = stats.StatisticsVisitor(inferred=True, typemap=type_map, all_nodes=True)
+        tree.accept(visitor)
+
+        root = etree.Element('mypy-report-file', name=path, module=tree._fullname)
+        doc = etree.ElementTree(root)
+        file_info = FileInfo(path, tree._fullname)
+
+        with open(path) as input_file:
+            for lineno, line_text in enumerate(input_file, 1):
+                status = visitor.line_map.get(lineno, stats.TYPE_EMPTY)
+                file_info.counts[status] += 1
+                etree.SubElement(root, 'line',
+                                 number=str(lineno),
+                                 precision=stats.precision_names[status],
+                                 content=line_text[:-1])
+        # Assumes a layout similar to what XmlReporter uses.
+        xslt_path = os.path.relpath('mypy-html.xslt', path)
+        xml_pi = etree.ProcessingInstruction('xml', 'version="1.0" encoding="utf-8"')
+        transform_pi = etree.ProcessingInstruction('xml-stylesheet', 'type="text/xsl" href="%s"' % cgi.escape(xslt_path, True))
+        root.addprevious(xml_pi)
+        root.addprevious(transform_pi)
+        self.schema.assertValid(doc)
+
+        self.last_xml = doc
+        self.files.append(file_info)
+
+    def on_finish(self) -> None:
+        import lxml.etree as etree
+
+        self.last_xml = None
+        index_path = os.path.join(self.output_dir, 'index.xml')
+        output_files = sorted(self.files, key=lambda x: x.module)
+
+        root = etree.Element('mypy-report-index', name=self.main_file)
+        doc = etree.ElementTree(root)
+
+        for file_info in output_files:
+            etree.SubElement(root, 'file',
+                             file_info.attrib(),
+                             total=str(file_info.total()),
+                             name=file_info.name,
+                             module=file_info.module)
+        xslt_path = os.path.relpath('mypy-html.xslt', '.')
+        xml_pi = etree.ProcessingInstruction('xml', 'version="1.0" encoding="utf-8"')
+        transform_pi = etree.ProcessingInstruction('xml-stylesheet', 'type="text/xsl" href="%s"' % cgi.escape(xslt_path, True))
+        root.addprevious(xml_pi)
+        root.addprevious(transform_pi)
+        self.schema.assertValid(doc)
+
+        self.last_xml = doc
+
+reporter_classes['memory-xml'] = MemoryXmlReporter
+
+class AbstractXmlReporter(AbstractReporter):
+    """Internal abstract class for reporters that work via XML."""
+
+    def __init__(self, reports: Reports, output_dir: str) -> None:
+        super().__init__(reports, output_dir)
+
+        memory_reporter = reports.add_report('memory-xml', '<memory>')
+        # The dependency will be called first.
+        self.memory_xml = cast(MemoryXmlReporter, memory_reporter)
+
+class XmlReporter(AbstractXmlReporter):
+    """Public reporter that exports XML.
+
+    The produced XML files contain a reference to the absolute path
+    of the html transform, so they will be locally viewable in a browser.
+
+    However, there is a bug in Chrome and all other WebKit-based browsers
+    that makes it fail from file:// URLs but work on http:// URLs.
+    """
+
+    def on_file(self, tree: MypyFile, type_map: Dict[Node, Type]) -> None:
+        last_xml = self.memory_xml.last_xml
+        if last_xml is None:
+            return
+        out_path = os.path.join(self.output_dir, 'xml', tree.path + '.xml')
+        stats.ensure_dir_exists(os.path.dirname(out_path))
+        last_xml.write(out_path, encoding='utf-8')
+
+    def on_finish(self) -> None:
+        last_xml = self.memory_xml.last_xml
+        out_path = os.path.join(self.output_dir, 'index.xml')
+        out_xslt = os.path.join(self.output_dir, 'mypy-html.xslt')
+        out_css = os.path.join(self.output_dir, 'mypy-html.css')
+        last_xml.write(out_path, encoding='utf-8')
+        shutil.copyfile(self.memory_xml.xslt_html_path, out_xslt)
+        shutil.copyfile(self.memory_xml.css_html_path, out_css)
+        print('Generated XML report:', os.path.abspath(out_path))
+
+reporter_classes['xml'] = XmlReporter
+
+class XsltHtmlReporter(AbstractXmlReporter):
+    """Public reporter that exports HTML via XSLT.
+
+    This is slightly different than running `xsltproc` on the .xml files,
+    because it passes a parameter to rewrite the links.
+    """
+
+    def __init__(self, reports: Reports, output_dir: str) -> None:
+        import lxml.etree as etree
+
+        super().__init__(reports, output_dir)
+
+        self.xslt_html = etree.XSLT(etree.parse(self.memory_xml.xslt_html_path))
+        self.param_html = etree.XSLT.strparam('html')
+
+    def on_file(self, tree: MypyFile, type_map: Dict[Node, Type]) -> None:
+        last_xml = self.memory_xml.last_xml
+        if last_xml is None:
+            return
+        out_path = os.path.join(self.output_dir, 'html', tree.path + '.html')
+        stats.ensure_dir_exists(os.path.dirname(out_path))
+        transformed_html = str(self.xslt_html(last_xml, ext=self.param_html))
+        with open(out_path, 'wt', encoding='utf-8') as out_file:
+            out_file.write(transformed_html)
+
+    def on_finish(self) -> None:
+        last_xml = self.memory_xml.last_xml
+        out_path = os.path.join(self.output_dir, 'index.html')
+        out_css = os.path.join(self.output_dir, 'mypy-html.css')
+        transformed_html = str(self.xslt_html(last_xml, ext=self.param_html))
+        with open(out_path, 'wt', encoding='utf-8') as out_file:
+            out_file.write(transformed_html)
+        shutil.copyfile(self.memory_xml.css_html_path, out_css)
+        print('Generated HTML report (via XSLT):', os.path.abspath(out_path))
+
+reporter_classes['xslt-html'] = XsltHtmlReporter
+
+reporter_classes['html'] = reporter_classes['xslt-html']

mypy/report.py

@@ -18,9 +18,17 @@
 )
 
 
-TYPE_PRECISE = 0
-TYPE_IMPRECISE = 1
-TYPE_ANY = 2
+TYPE_EMPTY = 0
+TYPE_PRECISE = 1
+TYPE_IMPRECISE = 2
+TYPE_ANY = 3
+
+precision_names = [
+        'empty',
+        'precise',
+        'imprecise',
+        'any',
+]
 
 
 class StatisticsVisitor(TraverserVisitor):
@@ -353,7 +361,7 @@ def generate_html_index(output_dir: str) -> None:
     append('</body></html>')
     with open(path, 'w') as file:
         file.writelines(output)
-    print('Generated HTML report: %s' % os.path.abspath(path))
+    print('Generated HTML report (old): %s' % os.path.abspath(path))
 
 
 def ensure_dir_exists(dir: str) -> None:

mypy/stats.py

@@ -113,7 +113,7 @@ def process_options(args: List[str]) -> Tuple[str, str, Options]:
         elif args[0] == '--custom-typing' and args[1:]:
             options.custom_typing_module = args[1]
             args = args[2:]
-        elif args[0] in ('--html-report', '--old-html-report') and args[1:]:
+        elif args[0] in ('--html-report', '--old-html-report', '--xslt-html-report', '--xml-report') and args[1:]:
             report_type = args[0][2:-7]
             report_dir = args[1]
             options.report_dirs[report_type] = report_dir
@@ -160,7 +160,7 @@ Try 'mypy -h' for more information.
 Optional arguments:
   -h, --help         print this help message and exit
   --<fmt>-report dir generate a <fmt> report of type precision under dir/
-                     <fmt> may be one of: html, old-html.
+                     <fmt> may be one of: html, old-html, xslt-html, xml.
   -m mod             type check module
   --verbose          more verbose messages
   --use-python-path  search for modules in sys.path of running Python

scripts/mypy

@@ -56,6 +56,8 @@ def find_data_files(base, globs):
     base = os.path.join('stubs', py_version)
     data_files += find_data_files(base, ['*.py', '*.pyi'])
 
+data_files += find_data_files('xml', ['*.xsd', '*.xslt', '*.css'])
+
 classifiers = [
     'Development Status :: 2 - Pre-Alpha',
     'Environment :: Console',

setup.py

@@ -1 +1 @@
-def escape(s: str) -> str: pass
+def escape(s: str, quote : bool = False) -> str: pass