protected override void handle_result(TypeValue new_value)
        {
            HoundMessageJSON result = new HoundMessageJSON();

            result.setValue(new_value);
            handle_result(result);
        }
Example #2
0
 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);