/** 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_; }