protected void finish()
{
Debug.Assert(have_value);
GuessedTracksListJSON result = new GuessedTracksListJSON();
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(GuessedTracksListJSON result)
{
top.value.Add(result);
}
protected override void handle_result(GuessedTracksListJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(GuessedTracksListJSON new_result);
