azalea/CSC110-Project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add representation invariants to collect_others.py

Browse Source
This commit is contained in:
MstrPikachu
2021-12-13 14:16:31 -05:00
parent 79f890b28c
commit 0744d1000e
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/collect_others.py
+9
View File
@@ -5,6 +5,15 @@ import requests
@dataclass @dataclass
class CasesData: class CasesData:
"""
A dataclass that stores a mapping of date to cases on that day and a mapping of date to deaths
on that day.
Representation Invariants:
- all(x >= 0 for x in self.cases.values())
- all(x >= 0 for x in self.deaths.values())
"""
# cases[date in "YYYY-MM-DD"] = 7-day average of cases around that date # cases[date in "YYYY-MM-DD"] = 7-day average of cases around that date
cases: dict[str, float] cases: dict[str, float]
deaths: dict[str, float] deaths: dict[str, float]