protected override void finish(int winning_index)
{
TypeRemoteDelay result = new TypeRemoteDelay();
result.key = winning_index;
switch (winning_index)
{
case 0:
{
Debug.Assert(field0.have_value);
result.u.choice0 = Double.Parse(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 HolderRemoteDelay(HolderRemoteDelay other)
{
have_data = other.haveData();
data = other.referenced();
if (have_data)
{
}
}
public HolderRemoteDelay(TypeRemoteDelay init_data)
{
have_data = true;
data = init_data;
if (have_data)
{
}
}
public void appendRemoteDelay(TypeRemoteDelay to_append)
{
if (!flagHasRemoteDelay)
{
flagHasRemoteDelay = true;
storeRemoteDelay.Clear();
}
Debug.Assert(flagHasRemoteDelay);
storeRemoteDelay.Add(to_append);
}
protected override void handle_result(TypeRemoteDelay result)
{
top.value.Add(result);
}
protected override void handle_result(TypeRemoteDelay result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = new HolderRemoteDelay(result);
}
protected abstract void handle_result(TypeRemoteDelay result);
private void fromJSONRemoteDelay(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 RemoteDelay of StockRequestedListingJSON is not an array.");
}
int count1 = json_array1.componentCount();
List <TypeRemoteDelay> vector_RemoteDelay1 = new List <TypeRemoteDelay>(count1);
for (int num1 = 0; num1 < count1; ++num1)
{
TypeRemoteDelay or_result = new TypeRemoteDelay();
bool or_done = false;
if (!or_done)
{
try
{
JSONRationalValue json_rational = json_array1.component(num1).rational_value();
double the_double;
if (json_rational != null)
{
the_double = json_rational.getDouble();
}
else
{
JSONIntegerValue json_integer = json_array1.component(num1).integer_value();
if (json_integer != null)
{
the_double = json_integer.getLongInt();
}
else
{
throw new Exception("The value for ??? is not a number.");
}
}
or_result.u.choice0 = the_double;
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 an element of field RemoteDelay of StockRequestedListingJSON is not one of the allowed values.");
}
vector_RemoteDelay1.Add(or_result);
}
initRemoteDelay();
for (int num1 = 0; num1 < vector_RemoteDelay1.Count; ++num1)
{
appendRemoteDelay(vector_RemoteDelay1[num1]);
}
for (int num1 = 0; num1 < vector_RemoteDelay1.Count; ++num1)
{
switch (vector_RemoteDelay1[num1].key)
{
case 0:
break;
case 1:
break;
default:
Debug.Assert(false);
break;
}
}
}
