protected override void handle_result(TypeValue new_value) { HoundMessageJSON result = new HoundMessageJSON(); result.setValue(new_value); handle_result(result); }
protected override void handle_result(HoundMessageJSON result) { base.handle_result(result); if ((result.getValue().key == 1) && (partial_handler != null)) { partial_handler.handle(result.getValue().u.choice1); } }
protected override void handle_result(HoundMessageJSON result) { top.value.Add(result); }
protected override void handle_result(HoundMessageJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(HoundMessageJSON new_result);