private void fromJSONData(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); ContactListJSON convert_classy = ContactListJSON.from_json(json_value, ignore_extras, true); setData(convert_classy); }
public void setData(ContactListJSON new_value) { if (flagHasData) { } flagHasData = true; storeData = new_value; }
protected void finish() { Debug.Assert(have_value); ContactListJSON result = new ContactListJSON(); result.initValue(); int count = value.Count; for (int num = 0; num < count; ++num) { result.appendValue(value[num]); } handle_result(result); }
protected override void handle_result(ContactListJSON result) { top.value.Add(result); }
protected override void handle_result(ContactListJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(ContactListJSON new_result);