/* Deletes a previously created linked list. Afterwards, the pointer to the linked list is no longer valid and should not be used anymore.  */
void TbxListDelete(tTbxList *list)
/* Deletes a previously created linked list. Afterwards, the pointer to the linked list is no longer valid and should not be used anymore.  */
void TbxListDelete(tTbxList *list)
{
  TBX_ASSERT(list != NULL);
  if (list != NULL)
  {
    TbxCriticalSectionEnter();
    TbxListClear(list);
    TbxMemPoolRelease(list);
    TbxCriticalSectionExit();
  }
}