public static HomeAutomationTVChannelJSON from_TVChannelJSON_json(TVChannelJSON ancestor, bool ignore_extras)
{
Debug.Assert(ancestor != null);
HomeAutomationTVChannelJSON result;
{
HoldingGenerator handler = new HoldingGenerator("Type HomeAutomationTVChannel", ignore_extras);
ancestor.write_as_json(handler);
result = handler.value;
}
return(result);
}
protected override void handle_result(TVChannelJSON new_result)
{
handle_result((HomeAutomationTVChannelJSON )new_result);
}
