protected void finish(RandomNumberGeneratorCoinFlipRequestResultJSON result)
{
if (fieldGeneratorValues.have_value)
{
result.initValues();
int count = fieldGeneratorValues.value.Count;
for (int num = 0; num < count; ++num)
{
result.appendValues(fieldGeneratorValues.value[num]);
}
fieldGeneratorValues.value.Clear();
fieldGeneratorValues.have_value = false;
}
if (fieldGeneratorFromDiceOrNumbers.have_value)
{
result.setFromDiceOrNumbers(fieldGeneratorFromDiceOrNumbers.value);
fieldGeneratorFromDiceOrNumbers.have_value = false;
}
if (fieldGeneratorValuesSummary.have_value)
{
result.setValuesSummary(fieldGeneratorValuesSummary.value);
fieldGeneratorValuesSummary.have_value = false;
}
base.finish(result);
}
protected override void finish()
{
if (!(getRandomNumberGeneratorRequestResultJSONKey().Equals("CoinFlipRequest")))
{
throw new Exception("The key field has a value other than `CoinFlipRequest'.");
}
RandomNumberGeneratorCoinFlipRequestResultJSON result = new RandomNumberGeneratorCoinFlipRequestResultJSON();
Debug.Assert(result != null);
finish(result);
handle_result(result);
}
protected override void handle_result(RandomNumberGeneratorCoinFlipRequestResultJSON result)
{
top.value.Add(result);
}
protected override void handle_result(RandomNumberGeneratorCoinFlipRequestResultJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(RandomNumberGeneratorCoinFlipRequestResultJSON new_result);
