]> git.lizzy.rs Git - rust.git/blobdiff - util/export.py
Allow empty lines in lint doc examples
[rust.git] / util / export.py
old mode 100644 (file)
new mode 100755 (executable)
index ce5b224..0607c86
 #!/usr/bin/env python
+# Build the gh-pages
 
-import os
 import re
+import sys
 import json
 
-level_re = re.compile(r'''(Forbid|Deny|Warn|Allow)''')
-conf_re = re.compile(r'''define_Conf! {\n([^}]*)\n}''', re.MULTILINE)
-confvar_re = re.compile(r'''/// Lint: (\w+). (.*).*\n *\("([^"]*)", (?:[^,]*), (.*) => (.*)\),''')
-lint_subheadline = re.compile(r'''^\*\*([\w\s]+)[:?.!]\*\*(.*)''')
+from lintlib import parse_all, log
 
-# TODO: actual logging
-def warn(*args): print(args)
-def debug(*args): print(args)
-def info(*args): print(args)
+lint_subheadline = re.compile(r'''^\*\*([\w\s]+?)[:?.!]?\*\*(.*)''')
 
-def parse_path(p="clippy_lints/src"):
-    d = []
-    for f in os.listdir(p):
-        if f.endswith(".rs"):
-            parse_file(d, os.path.join(p, f))
-    return (d, parse_conf(p))
+CONF_TEMPLATE = """\
+This lint has the following configuration variables:
 
+* `%s: %s`: %s (defaults to `%s`)."""
 
-def parse_conf(p):
-    c = {}
-    with open(p + '/utils/conf.rs') as f:
-        f = f.read()
 
-        m = re.search(conf_re, f)
-        m = m.groups()[0]
-
-        m = re.findall(confvar_re, m)
-
-        for (lint, doc, name, default, ty) in m:
-            c[lint.lower()] = (name, ty, doc, default)
-
-    return c
-
-def parseLintDef(level, comment, name):
-    lint = {}
-    lint['id'] = name
-    lint['level'] = level
-    lint['docs'] = {}
+def parse_lint_def(lint):
+    lint_dict = {}
+    lint_dict['id'] = lint.name
+    lint_dict['level'] = lint.level
+    lint_dict['docs'] = {}
 
     last_section = None
 
-    for line in comment:
-        if len(line.strip()) == 0:
+    for line in lint.doc:
+        if len(line.strip()) == 0 and not last_section.startswith("Example"):
             continue
 
         match = re.match(lint_subheadline, line)
         if match:
             last_section = match.groups()[0]
-        text = match and match.groups()[1] or line
-        
+        if match:
+            text = match.groups()[1]
+        else:
+            text = line
+
         if not last_section:
-            warn("Skipping comment line as it was not preceded by a heading")
-            debug("in lint `%s`, line `%s`" % name, line)
-
-        lint['docs'][last_section] = (lint['docs'].get(last_section, "") + "\n" + text).strip() 
-    
-    return lint
-
-def parse_file(d, f):
-    last_comment = []
-    comment = True
-
-    with open(f) as rs:
-        for line in rs:
-            if comment:
-                if line.startswith("///"):
-                    if line.startswith("/// "):
-                        last_comment.append(line[4:])
-                    else:
-                        last_comment.append(line[3:])
-                elif line.startswith("declare_lint!"):
-                    comment = False
-                    deprecated = False
-                    restriction = False
-                elif line.startswith("declare_restriction_lint!"):
-                    comment = False
-                    deprecated = False
-                    restriction = True
-                elif line.startswith("declare_deprecated_lint!"):
-                    comment = False
-                    deprecated = True
-                else:
-                    last_comment = []
-            if not comment:
-                l = line.strip()
-                m = re.search(r"pub\s+([A-Z_][A-Z_0-9]*)", l)
-
-                if m:
-                    name = m.group(1).lower()
-
-                    # Intentionally either a never looping or infinite loop
-                    while not deprecated and not restriction:
-                        m = re.search(level_re, line)
-                        if m:
-                            level = m.group(0)
-                            break
-
-                        line = next(rs)
-
-                    if deprecated:
-                        level = "Deprecated"
-                    elif restriction:
-                        level = "Allow"
-
-                    info("found %s with level %s in %s" % (name, level, f))
-                    d.append(parseLintDef(level, last_comment, name=name))
-                    last_comment = []
-                    comment = True
-                if "}" in l:
-                    warn("Warning: Missing Lint-Name in", f)
-                    comment = True
+            log.warn("Skipping comment line as it was not preceded by a heading")
+            log.debug("in lint `%s`, line `%s`", lint.name, line)
+
+        fragment = lint_dict['docs'].get(last_section, "")
+        if text == "\n":
+            line = fragment + text
+        else:
+            line = (fragment + "\n" + text).strip()
+
+        lint_dict['docs'][last_section] = line
+
+    return lint_dict
+
 
 def main():
-    (lints, config) = parse_path()
-    info("got %s lints" % len(lints))
-    with open("util/gh-pages/lints.json", "w") as file:
-        json.dump(lints, file, indent=2)
-        info("wrote JSON for great justice")
+    lintlist, configs = parse_all()
+    lints = {}
+    for lint in lintlist:
+        lints[lint.name] = parse_lint_def(lint)
+        if lint.name in configs:
+            lints[lint.name]['docs']['Configuration'] = \
+                CONF_TEMPLATE % configs[lint.name]
+
+    outfile = sys.argv[1] if len(sys.argv) > 1 else "util/gh-pages/lints.json"
+    with open(outfile, "w") as fp:
+        json.dump(list(lints.values()), fp, indent=2)
+        log.info("wrote JSON for great justice")
+
 
 if __name__ == "__main__":
-    main()
\ No newline at end of file
+    main()