destroy

This method destroys the RiCOSSemaphore object.

Signature
void RiCOSSemaphore_destroy (RiCOSSemaphore *const me);
Parameters
me

The RiCOSSemaphore object to destroy

Example
void RiCOSSemaphore_destroy(RiCOSSemaphore * const me)
{
   if (me == NULL) return;

   RiCOSSemaphore_cleanup(me);
   free(me);
}

Feedback