The destroy method destroys the RiCOSEventFlag object.
void RiCOSEventFlag_destroy (RiCOSEventFlag *const me);
me
The RiCOSEventFlag object to delete
void RiCOSEventFlag_destroy(RiCOSEventFlag * const me)
{
if (me != NULL) {
RiCOSEventFlag_cleanup(me);
free(me);
}
}