/** Requests the current cases from the backend. */
public static async Task <IList <Case> > Cases()
{
var resp = await Client.GetStringAsync($"{ROOT}/cases.json");
var json = JsonValue.Parse(resp);
var cases = new List <Case>();
for (int i = 0; i < json["cases"].Count; ++i)
{
var jsonCase = json["cases"][i];
var date = Date.ParseISO(jsonCase["date"]);
var key = new DailyTracerKey(jsonCase["key"]);
var type_ =
jsonCase["type"] == "positive"
? CaseType.Positive
: CaseType.Symptomatic;
cases.Add(new Case(key, type_, date));
}
return(cases);
}
public Case(DailyTracerKey key_, CaseType type_, Date day_)
{
Key = key_;
Type = type_;
Day = day_;
}
