home · contact · privacy
Minor CSS refactor.
[berlin-corona-table] / enhance_table.py
1 #!//usr/bin/env python3
2
3 # District population numbers as per Wikipedia.
4 district_pops = {
5   'CW': 342332,
6   'FK': 289762,
7   'Li': 291452,
8   'MH': 268548,
9   'Mi': 384172,
10   'Ne': 329691,
11   'Pa': 407765,
12   'Re': 265225,
13   'Sp': 243977,
14   'SZ': 308697,
15   'TS': 351644,
16   'TK': 271153,
17   'sum': 3754418,
18 }
19
20 # Map abbreviations to full names.
21 translate = {
22   'CW': 'Charlottenburg-Wilmersdorf',
23   'FK': 'Friedrichshain-Kreuzberg',
24   'Li': 'Lichtenberg',
25   'MH': 'Marzahn-Hellersdorf',
26   'Mi': 'Mitte',
27   'Ne': 'Neukölln',
28   'Pa': 'Pankow',
29   'Re': 'Reinickendorf',
30   'Sp': 'Spandau',
31   'SZ': 'Steglitz-Zehlendorf',
32   'TS': 'Tempelhof-Schöneberg',
33   'TK': 'Treptow-Köpenick',
34   'sum': 'all of Berlin',
35   'wsum': 'sum for last 7 days',
36   'wavg': 'per-day average of new infections for last 7 days',
37   'winc': 'incidence (x per 100k inhabitants) of new infections for last 7 days',
38 }
39
40 # Read infections table path and output type.
41 import sys
42 if len(sys.argv) != 3:
43     print('Expecting infections table file path and output type as only arguments.')
44     exit(1)
45 infections_table = sys.argv[1]
46 output_type = sys.argv[2]
47
48 # Read infections table file lines.
49 f = open(infections_table, 'r')
50 lines = f.readlines()
51 f.close()
52
53 # Basic input validation.
54 import datetime
55 header_elements = lines[0].split()
56 if set(header_elements) != district_pops.keys() or \
57        len(header_elements) != len(district_pops.keys()):
58     raise Exception('infections table: invalid header')
59 line_count = 0
60 for line in lines[1:]:
61     line_count += 1
62     fields = line.split()
63     if len(header_elements) != len(fields) - 1:
64         raise Exception('infections table: too many elements on line %s',
65                         line_count)
66     try:
67         datetime.date.fromisoformat(fields[0])
68     except ValueError:
69         raise Exception('infections table: bad ISO date on line %s',
70                         line_count)
71     for field in fields[1:]:
72         try:
73             int(field)
74         except ValueError:
75             raise Exception('infections table: bad value on line %s',
76                             line_count)
77
78 # Parse first table file line for the names and order of districts.
79 db = {}
80 sorted_districts = []
81 for header in lines[0].split():
82     sorted_districts += [header]
83     db[header] = {}
84
85 # Seed DB with daily new infections data per district, per date.
86 sorted_dates = []
87 for line in lines[1:]:
88     fields = line.split()
89     date = fields[0]
90     sorted_dates += [date]
91     for i in range(len(sorted_districts)):
92         district = sorted_districts[i]
93         district_data = fields[i + 1]
94         db[district][date] = {'new_infections': int(district_data)}
95 sorted_dates.sort()
96
97 # In LaGeSo's data, the last "district" is actually the sum of all districts /
98 # the whole of Berlin.
99 #
100 # Fail on any day where the "sum" district's new infections are not the proper
101 # sum of the individual districts new infections.  Yes, sometimes Lageso sends
102 # data that is troubled in this way.  It will then have to be fixed manually in
103 # the table file, since we should have a human look at what mistake was
104 # probably made.
105 for date in sorted_dates:
106     sum_district = sorted_districts[-1]
107     day_sum = 0
108     for district in sorted_districts[:-1]:
109         day_sum += db[district][date]['new_infections']
110     if day_sum != db[sum_district][date]['new_infections']:
111         raise Exception('Questionable district infection sum in %s' % date)
112
113 # Enhance DB with data about weekly sums, averages, incidences per day.  Ignore
114 # days that have less than 6 predecessors (we can only know a weekly average if
115 # we have a whole week of data).
116 for i in range(len(sorted_dates)):
117     if i < 6:
118         continue
119     date = sorted_dates[i]
120     week_dates = []
121     for j in range(7):
122         week_dates += [sorted_dates[i - j]]
123     for district in sorted_districts:
124         district_pop = district_pops[district]
125         week_sum = 0
126         for week_date in week_dates:
127             week_sum += db[district][week_date]['new_infections']
128         db[district][date]['week_sum'] = week_sum
129         db[district][date]['week_average'] = week_sum / 7
130         db[district][date]['week_incidence'] = (week_sum / district_pop) * 100000
131
132 # Optimized for web browser viewing.
133 if output_type == 'html':
134     print('<html>')
135     print('<style>')
136     print('table, tr, th, td { border: 1px solid black; }')
137     print('.day_row:nth-child(7n+2) { background-color: yellow; }')
138     print('.district_header { writing-mode: vertical-rl; '
139           'transform: rotate(180deg); }')
140     print('</style>')
141     print('<table>')
142     print('<tr>')
143     print('<th>date</th>')
144     for district in sorted_districts:
145         long_form = translate[district]
146         print('<th class="district_header">%s</th>' % long_form)
147     print('</tr>')
148     sorted_dates.reverse()
149     sum_district = sorted_districts[-1]
150     for date in sorted_dates:
151         print('<tr class="day_row">')
152         print('<td>%s</td>' % date)
153         long_wsum = translate['wsum']
154         long_wavg = translate['wavg']
155         long_winc = translate['winc']
156         for district in sorted_districts:
157             district_data = db[district][date]
158             week_sum = week_avg = week_inc = ''
159             new_infections = district_data['new_infections']
160             if 'week_sum' in district_data:
161                 week_sum = '%s' % district_data['week_sum']
162             if 'week_average' in district_data:
163                 week_avg = '%.1f' % district_data['week_average']
164             if 'week_incidence' in district_data:
165                 week_inc = '%.1f' % district_data['week_incidence']
166             print('<td>')
167             print(new_infections)
168             if district == sum_district:
169                 print('<details open><summary></summary><table>')
170             else:
171                 print('<details><summary></summary><table>')
172             print('<tr><th>%s</th><td>%s</td></tr>' % (long_wsum, week_sum))
173             print('<tr><th>%s</th><td>%s</td></tr>' % (long_wavg, week_avg))
174             print('<tr><th>%s</th><td>%s</td></tr>' % (long_winc, week_inc))
175             print('</table></details>')
176             print('</td>')
177         print('</tr>')
178     print('</table>')
179     print('</html>')
180
181 # Optimized for in-terminal curl.
182 elif output_type == 'txt':
183
184     # Explain what this is.
185     intro = \
186 """Table of Berlin's Corona infection number development by districts.
187 Updated daily around 9pm.
188
189 Abbrevations/explanations:
190 """
191     for k in translate:
192         intro += "%s: %s\n" % (k, translate[k])
193     intro += """
194 Source code: https://plomlompom.com/repos/?p=berlin-corona-table
195 """
196     print(intro)
197
198     # Output table of enhanced daily infection data, newest on top,
199     # separated into 7-day units.
200     sorted_dates.reverse()
201     weekday_count = 0
202     sum_district = sorted_districts[-1]
203     for date in sorted_dates:
204
205         # Week table header.
206         if weekday_count == 0:
207             print(' '*11, '  '.join(sorted_districts[:-1]),
208                   sorted_districts[-1], 'wsum', ' wavg', 'winc')
209             week_start_date = date
210
211         # Day data line.
212         new_infections = []
213         for district in sorted_districts:
214             new_infections += [db[district][date]['new_infections']]
215         week_sum = week_avg = week_inc = ''
216         sum_district_data = db[sum_district][date]
217         if 'week_sum' in sum_district_data:
218             week_sum = '%4s' % sum_district_data['week_sum']
219         if 'week_average' in sum_district_data:
220             week_avg = '%5.1f' % sum_district_data['week_average']
221         if 'week_incidence' in sum_district_data:
222             week_inc = '%4.1f' % sum_district_data['week_incidence']
223         print(date, ' '.join(['%3s' % infections
224                               for infections in new_infections]),
225               week_sum, week_avg, week_inc)
226
227         # Maintain 7-day cycle.
228         weekday_count += 1
229         if weekday_count != 7:
230             continue
231         weekday_count = 0
232
233         # After each 7 days, print summary for individual districts.
234         weekly_sums = []
235         weekly_avgs = []
236         weekly_incs = []
237         for district in sorted_districts[:-1]:
238             weekly_sums += [db[district][week_start_date]['week_sum']]
239             weekly_avgs += [db[district][week_start_date]['week_average']]
240             weekly_incs += [db[district][week_start_date]['week_incidence']]
241         print()
242         print('district stats for week from %s to %s:' % (date, week_start_date))
243         print(' '*7, '    '.join(sorted_districts[:-1]))
244         print('wsum', ' '.join(['%5.1f' % wsum for wsum in weekly_sums]))
245         print('wavg', ' '.join(['%5.1f' % wavg for wavg in weekly_avgs]))
246         print('winc', ' '.join(['%5.1f' % winc for winc in weekly_incs]))
247         print()