Пример #1
0
            protected override void finish(int winning_index)
            {
                Typeprice_details result = new Typeprice_details();

                result.key = winning_index;
                switch (winning_index)
                {
                case 0:
                {
                    Debug.Assert(field0.have_value);
                    result.u.choice0 = field0.value;
                    break;
                }

                case 1:
                {
                    Debug.Assert(field1.have_value);
                    result.u.choice1 = field1.value;
                    break;
                }

                default:
                {
                    Debug.Assert(false);
                    break;
                }
                }
                handle_result(result);
            }
Пример #2
0
 public Holderprice_details(Holderprice_details other)
 {
     have_data = other.haveData();
     data      = other.referenced();
     if (have_data)
     {
     }
 }
Пример #3
0
 public Holderprice_details(Typeprice_details init_data)
 {
     have_data = true;
     data      = init_data;
     if (have_data)
     {
     }
 }
Пример #4
0
    private void  fromJSONprice_details(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        Typeprice_details or_result = new Typeprice_details();
        bool or_done = false;

        if (!or_done)
        {
            try
            {
                UberPriceDetailsJSON convert_classy = UberPriceDetailsJSON.from_json(json_value, ignore_extras, true);
                or_result.u.choice0 = convert_classy;
                or_result.key       = 0;
                or_done             = true;
            }
            catch (Exception)
            {
            }
        }
        if (!or_done)
        {
            try
            {
                or_result.key = 1;
                or_done       = true;
            }
            catch (Exception)
            {
            }
        }
        if (!or_done)
        {
            throw new Exception("The value for field price_details of UberProductDetailsJSON is not one of the allowed values.");
        }
        setprice_details(or_result);
        switch (or_result.key)
        {
        case 0:
            break;

        case 1:
            break;

        default:
            Debug.Assert(false);
            break;
        }
    }
Пример #5
0
    public void setprice_details(Typeprice_details new_value)
    {
        switch (new_value.key)
        {
        case 0:
            break;

        case 1:
            break;

        default:
            Debug.Assert(false);
            break;
        }
        if (flagHasprice_details)
        {
            switch (storeprice_details.key)
            {
            case 0:
                break;

            case 1:
                break;

            default:
                Debug.Assert(false);
                break;
            }
        }
        flagHasprice_details = true;
        switch (new_value.key)
        {
        case 0:
            break;

        case 1:
            break;

        default:
            Debug.Assert(false);
            break;
        }
        storeprice_details = new_value;
    }
Пример #6
0
 protected override void handle_result(Typeprice_details result)
 {
     top.value.Add(result);
 }
Пример #7
0
 protected override void handle_result(Typeprice_details result)
 {
     //@@@        Debug.Assert(!have_value);
     have_value = true;
     value      = new Holderprice_details(result);
 }
Пример #8
0
 protected abstract void handle_result(Typeprice_details result);