protected override void handle_result(bool new_value)
        {
            DisableListPositionSpecificationJSON result = new DisableListPositionSpecificationJSON();

            result.setValue(new_value);
            handle_result(result);
        }
 protected override void handle_result(DisableListPositionSpecificationJSON result)
 {
     top.value.Add(result);
 }
        protected override void handle_result(DisableListPositionSpecificationJSON result)
        {
//@@@            Debug.Assert(!have_value);
            have_value = true;
            value      = result;
        }
 protected abstract void handle_result(DisableListPositionSpecificationJSON new_result);