public static string stringFromShipName(TypeShipName the_enum)
{
switch (the_enum)
{
case TypeShipName.ShipName_Carrier:
return("Carrier");
case TypeShipName.ShipName_Battleship:
return("Battleship");
case TypeShipName.ShipName_Submarine:
return("Submarine");
case TypeShipName.ShipName_Cruiser:
return("Cruiser");
case TypeShipName.ShipName_Destroyer:
return("Destroyer");
default:
Debug.Assert(false);
return(null);
}
}
protected override void handle_result(TypeShipName result)
{
top.value.Add(result);
}
protected override void handle_result(TypeShipName result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(TypeShipName result);
public void setShipName(TypeShipName new_value)
{
flagHasShipName = true;
storeShipName = new_value;
}