partial void UpdateTTCNServer(TTCNServer instance);
partial void DeleteTTCNServer(TTCNServer instance);
partial void InsertTTCNServer(TTCNServer instance);