private void fromJSONFlightSpec(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
FlightSpecJSON convert_classy = FlightSpecJSON.from_json(json_value, ignore_extras, true);
setFlightSpec(convert_classy);
}
public void setFlightSpec(FlightSpecJSON new_value)
{
if (flagHasFlightSpec)
{
}
flagHasFlightSpec = true;
storeFlightSpec = new_value;
}
