protected override void finish()
{
if (!(keyGenerator.have_value))
{
throw new Exception("The `RandomNumberRequestKind' field is missing.");
}
RandomNumberGeneratorRequestResultJSON result = createForKey(keyGenerator.value, unknownFieldGenerator.index);
Debug.Assert(result != null);
finish(result);
int extra_count = unknownFieldGenerator.field_names.Count;
Debug.Assert(extra_count == unknownFieldGenerator.field_values.Count);
for (int extra_num = 0; extra_num < extra_count; ++extra_num)
{
result.extraRandomNumberGeneratorRequestResultAppendPair(unknownFieldGenerator.field_names[extra_num], unknownFieldGenerator.field_values[extra_num]);
}
unknownFieldGenerator.field_names.Clear();
unknownFieldGenerator.field_values.Clear();
unknownFieldGenerator.index = new Dictionary <string, JSONValue>();
if (!allow_incomplete)
{
string missing_field_error = result.missing_field_error(allow_unpolished);
if (missing_field_error != null)
{
error(missing_field_error);
}
}
handle_result(result);
}
private void fromJSONRequests(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
JSONArrayValue json_array1 = json_value.array_value();
if (json_array1 == null)
{
throw new Exception("The value for field Requests of RandomNumberGeneratorQueryStateJSON is not an array.");
}
int count1 = json_array1.componentCount();
List <RandomNumberGeneratorRequestResultJSON> vector_Requests1 = new List <RandomNumberGeneratorRequestResultJSON>(count1);
for (int num1 = 0; num1 < count1; ++num1)
{
RandomNumberGeneratorRequestResultJSON convert_classy = RandomNumberGeneratorRequestResultJSON.from_json(json_array1.component(num1), ignore_extras, true);
vector_Requests1.Add(convert_classy);
}
initRequests();
for (int num1 = 0; num1 < vector_Requests1.Count; ++num1)
{
appendRequests(vector_Requests1[num1]);
}
for (int num1 = 0; num1 < vector_Requests1.Count; ++num1)
{
}
}
public void appendRequests(RandomNumberGeneratorRequestResultJSON to_append)
{
if (!flagHasRequests)
{
flagHasRequests = true;
storeRequests.Clear();
}
Debug.Assert(flagHasRequests);
storeRequests.Add(to_append);
}
protected override void handle_result(RandomNumberGeneratorRequestResultJSON result)
{
top.value.Add(result);
}
protected override void handle_result(RandomNumberGeneratorRequestResultJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(RandomNumberGeneratorRequestResultJSON new_result);
protected void finish(RandomNumberGeneratorRequestResultJSON result)
{
}
protected override void handle_result(RandomNumberGeneratorRequestResultJSON new_result)
{
handle_result((RandomNumberGeneratorCoinFlipRequestResultJSON )new_result);
}
