public static string stringFromDatesSpecified(TypeDatesSpecified the_enum)
{
switch (the_enum)
{
case TypeDatesSpecified.DatesSpecified_Both:
return("Both");
case TypeDatesSpecified.DatesSpecified_Born:
return("Born");
case TypeDatesSpecified.DatesSpecified_Destination:
return("Destination");
case TypeDatesSpecified.DatesSpecified_None:
return("None");
default:
Debug.Assert(false);
return(null);
}
}
protected override void handle_result(TypeDatesSpecified result)
{
top.value.Add(result);
}
protected override void handle_result(TypeDatesSpecified result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(TypeDatesSpecified result);
public void setDatesSpecified(TypeDatesSpecified new_value)
{
flagHasDatesSpecified = true;
storeDatesSpecified = new_value;
}
