Ejemplo n.º 1
0
        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);
        }
Ejemplo n.º 2
0
    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)
        {
        }
    }
Ejemplo n.º 3
0
 public void appendRequests(RandomNumberGeneratorRequestResultJSON to_append)
 {
     if (!flagHasRequests)
     {
         flagHasRequests = true;
         storeRequests.Clear();
     }
     Debug.Assert(flagHasRequests);
     storeRequests.Add(to_append);
 }
Ejemplo n.º 4
0
 protected override void handle_result(RandomNumberGeneratorRequestResultJSON result)
 {
     top.value.Add(result);
 }
Ejemplo n.º 5
0
        protected override void handle_result(RandomNumberGeneratorRequestResultJSON result)
        {
//@@@            Debug.Assert(!have_value);
            have_value = true;
            value      = result;
        }
Ejemplo n.º 6
0
 protected abstract void handle_result(RandomNumberGeneratorRequestResultJSON new_result);
Ejemplo n.º 7
0
 protected void finish(RandomNumberGeneratorRequestResultJSON result)
 {
 }
Ejemplo n.º 8
0
 protected override void handle_result(RandomNumberGeneratorRequestResultJSON new_result)
 {
     handle_result((RandomNumberGeneratorCoinFlipRequestResultJSON )new_result);
 }