protected override void finish(int winning_index) { Typetrip result = new Typetrip(); result.key = winning_index; switch (winning_index) { case 0: { Debug.Assert(field0.have_value); result.u.choice0 = field0.value; break; } case 1: { Debug.Assert(field1.have_value); result.u.choice1 = field1.value; break; } default: { Debug.Assert(false); break; } } handle_result(result); }
public Holdertrip(Holdertrip other) { have_data = other.haveData(); data = other.referenced(); if (have_data) { } }
public Holdertrip(Typetrip init_data) { have_data = true; data = init_data; if (have_data) { } }
private void fromJSONtrip(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); Typetrip or_result = new Typetrip(); bool or_done = false; if (!or_done) { try { UberRequestEstimateTripJSON convert_classy = UberRequestEstimateTripJSON.from_json(json_value, ignore_extras, true); or_result.u.choice0 = convert_classy; or_result.key = 0; or_done = true; } catch (Exception) { } } if (!or_done) { try { or_result.key = 1; or_done = true; } catch (Exception) { } } if (!or_done) { throw new Exception("The value for field trip of EstimateUberResponseJSON is not one of the allowed values."); } settrip(or_result); switch (or_result.key) { case 0: break; case 1: break; default: Debug.Assert(false); break; } }
public void settrip(Typetrip new_value) { switch (new_value.key) { case 0: break; case 1: break; default: Debug.Assert(false); break; } if (flagHastrip) { switch (storetrip.key) { case 0: break; case 1: break; default: Debug.Assert(false); break; } } flagHastrip = true; switch (new_value.key) { case 0: break; case 1: break; default: Debug.Assert(false); break; } storetrip = new_value; }
protected override void handle_result(Typetrip result) { top.value.Add(result); }
protected override void handle_result(Typetrip result) { //@@@ Debug.Assert(!have_value); have_value = true; value = new Holdertrip(result); }
protected abstract void handle_result(Typetrip result);