This method destroys the RiCOSSemaphore object.
Signaturevoid RiCOSSemaphore_destroy (RiCOSSemaphore *const me);
Parametersme
The RiCOSSemaphore object
to destroy
Examplevoid RiCOSSemaphore_destroy(RiCOSSemaphore * const me)
{
if (me == NULL) return;
RiCOSSemaphore_cleanup(me);
free(me);
}