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