clang/www/make_cxx_dr_status

   1 #! /usr/bin/env python3
   2 import sys, os, re
   3
   4 index = 'cwg_index.html'
   5 output = 'cxx_dr_status.html'
   6 dr_test_dir = '../test/CXX/drs'
   7
   8 if len(sys.argv) == 1:
   9   pass
  10 elif len(sys.argv) == 2:
  11   index = sys.argv[1]
  12 else:
  13   print('Usage: make_drs [<path to cwg_index.html>]', file=sys.stderr)
  14   sys.exit(1)
  15
  16 class DR:
  17   def __init__(self, section, issue, url, status, title):
  18     self.section, self.issue, self.url, self.status, self.title = \
  19         section, issue, url, status, title
  20   def __repr__(self):
  21     return '%s (%s): %s' % (self.issue, self.status, self.title)
  22
  23 def parse(dr):
  24   section, issue_link, status, liaison, title = [
  25       col.split('>', 1)[1].split('</TD>')[0]
  26       for col in dr.split('</TR>', 1)[0].split('<TD')[1:]
  27   ]
  28   _, url, issue = issue_link.split('"', 2)
  29   url = url.strip()
  30   issue = int(issue.split('>', 1)[1].split('<', 1)[0])
  31   title = title.replace('<issue_title>', '').replace('</issue_title>', '').replace('\r\n', '\n').strip()
  32   return DR(section, issue, url, status, title)
  33
  34 status_re = re.compile(r'\bdr([0-9]+): (.*)')
  35 status_map = {}
  36 for test_cpp in os.listdir(dr_test_dir):
  37   if not test_cpp.endswith('.cpp'):
  38     continue
  39   test_cpp = os.path.join(dr_test_dir, test_cpp)
  40   found_any = False;
  41   for match in re.finditer(status_re, open(test_cpp, 'r').read()):
  42     status_map[int(match.group(1))] = match.group(2)
  43     found_any = True
  44   if not found_any:
  45     print("warning:%s: no '// dr123: foo' comments in this file" % test_cpp, file=sys.stderr)
  46
  47 drs = sorted((parse(dr) for dr in open(index, 'r').read().split('<TR>')[2:]),
  48              key = lambda dr: dr.issue)
  49 out_file = open(output, 'w')
  50 out_file.write('''\
  51 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
  52           "http://www.w3.org/TR/html4/strict.dtd">
  53 <!-- This file is auto-generated by make_cxx_dr_status. Do not modify. -->
  54 <html>
  55 <head>
  56   <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
  57   <title>Clang - C++ Defect Report Status</title>
  58   <link type="text/css" rel="stylesheet" href="menu.css">
  59   <link type="text/css" rel="stylesheet" href="content.css">
  60   <style type="text/css">
  61     .none { background-color: #FFCCCC }
  62     .partial { background-color: #FFE0B0 }
  63     .unreleased { background-color: #FFFF99 }
  64     .full { background-color: #CCFF99 }
  65     .na { background-color: #DDDDDD }
  66     .open * { color: #AAAAAA }
  67     //.open { filter: opacity(0.2) }
  68     tr:target { background-color: #FFFFBB }
  69     th { background-color: #FFDDAA }
  70   </style>
  71 </head>
  72 <body>
  73
  74 <!--#include virtual="menu.html.incl"-->
  75
  76 <div id="content">
  77
  78 <!--*************************************************************************-->
  79 <h1>C++ Defect Report Support in Clang</h1>
  80 <!--*************************************************************************-->
  81
  82 <h2 id="cxxdr">C++ defect report implementation status</h2>
  83
  84 <p>This page tracks which C++ defect reports are implemented within Clang.</p>
  85
  86 <table width="689" border="1" cellspacing="0">
  87   <tr>
  88     <th>Number</th>
  89     <th>Status</th>
  90     <th>Issue title</th>
  91     <th>Available in Clang?</th>
  92   </tr>''')
  93
  94 latest_release = 13
  95
  96 def availability(issue):
  97   status = status_map.get(issue, 'unknown')
  98   avail_suffix = ''
  99   if status.endswith(' c++11'):
 100     status = status[:-6]
 101     avail_suffix = ' (C++11 onwards)'
 102   elif status.endswith(' c++14'):
 103     status = status[:-6]
 104     avail_suffix = ' (C++14 onwards)'
 105   elif status.endswith(' c++17'):
 106     status = status[:-6]
 107     avail_suffix = ' (C++17 onwards)'
 108   if status == 'unknown':
 109     avail = 'Unknown'
 110     avail_style = ' class="none"'
 111   elif re.match('^[0-9]+\.?[0-9]*', status):
 112     avail = 'Clang %s' % status
 113     if float(status) > latest_release:
 114       avail_style = ' class="unreleased"'
 115     else:
 116       avail_style = ' class="full"'
 117   elif status == 'yes':
 118     avail = 'Yes'
 119     avail_style = ' class="full"'
 120   elif status == 'partial':
 121     avail = 'Partial'
 122     avail_style = ' class="partial"'
 123   elif status == 'no':
 124     avail = 'No'
 125     avail_style = ' class="none"'
 126   elif status == 'na':
 127     avail = 'N/A'
 128     avail_style = ' class="na"'
 129   elif status == 'na lib':
 130     avail = 'N/A (Library DR)'
 131     avail_style = ' class="na"'
 132   elif status == 'na abi':
 133     avail = 'N/A (ABI constraint)'
 134     avail_style = ' class="na"'
 135   elif status.startswith('sup '):
 136     dup = status.split(' ', 1)[1]
 137     if dup.startswith('P'):
 138       avail = 'Superseded by <a href="https://wg21.link/%s">%s</a>' % (dup, dup)
 139       avail_style = ' class="na"'
 140     else:
 141       avail = 'Superseded by <a href="#%s">%s</a>' % (dup, dup)
 142       try:
 143         _, avail_style = availability(int(dup))
 144       except:
 145         print("issue %s marked as sup %s" % (issue, dup), file=sys.stderr)
 146         avail_style = ' class="none"'
 147   elif status.startswith('dup '):
 148     dup = int(status.split(' ', 1)[1])
 149     avail = 'Duplicate of <a href="#%s">%s</a>' % (dup, dup)
 150     _, avail_style = availability(dup)
 151   else:
 152     assert False, 'unknown status %s for issue %s' % (status, dr.issue)
 153   return (avail + avail_suffix, avail_style)
 154
 155 count = {}
 156 for dr in drs:
 157   if dr.status in ('concepts',):
 158     # This refers to the old ("C++0x") concepts feature, which was not part
 159     # of any C++ International Standard or Technical Specification.
 160     continue
 161   if dr.status in ('open', 'concurrency', 'drafting', 'review', 'extension'):
 162     # We may have to deal with these some day, but not yet.
 163     row_style = ' class="open"'
 164     if dr.status == 'extension':
 165       avail = 'Extension'
 166     else:
 167       avail = 'Not resolved'
 168     avail_style = ''
 169     assert dr.issue not in status_map, "have status for not-ready dr %s" % dr.issue
 170   else:
 171     row_style = ''
 172     avail, avail_style = availability(dr.issue)
 173     if not avail.startswith('Sup') and not avail.startswith('Dup'):
 174       count[avail] = count.get(avail, 0) + 1
 175
 176   out_file.write('''
 177   <tr%s id="%s">
 178     <td><a href="https://wg21.link/cwg%s">%s</a></td>
 179     <td>%s</td>
 180     <td>%s</td>
 181     <td%s align="center">%s</td>
 182   </tr>''' % (row_style, dr.issue, dr.issue, dr.issue, dr.status, dr.title, avail_style, avail))
 183
 184 for status, num in sorted(count.items()):
 185   print("%s: %s" % (status, num))
 186
 187 out_file.write('''\
 188 </table>
 189
 190 </div>
 191 </body>
 192 </html>
 193 ''')
 194 out_file.close()
 195