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);
}
public Holderprice_details(Holderprice_details other)
{
have_data = other.haveData();
data = other.referenced();
if (have_data)
{
}
}
public Holderprice_details(Typeprice_details init_data)
{
have_data = true;
data = init_data;
if (have_data)
{
}
}
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;
}
}
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;
}
protected override void handle_result(Typeprice_details result)
{
top.value.Add(result);
}
protected override void handle_result(Typeprice_details result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = new Holderprice_details(result);
}
protected abstract void handle_result(Typeprice_details result);