private void  fromJSONDoorSelection(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        CarControlDoorSelectionJSON convert_classy = CarControlDoorSelectionJSON.from_json(json_value, ignore_extras, true);

        setDoorSelection(convert_classy);
    }
 public void setDoorSelection(CarControlDoorSelectionJSON new_value)
 {
     if (flagHasDoorSelection)
     {
     }
     flagHasDoorSelection = true;
     storeDoorSelection   = new_value;
 }
        protected void finish()
        {
            Debug.Assert(have_value);
            CarControlDoorSelectionJSON result = new CarControlDoorSelectionJSON();

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