| <assertions> |
| <assertion id="1" tag="ref:XSH6:35098:35099"> |
| The function |
| int pthread_rwlockattr_destroy(pthread_rwlockattr_t *attr) |
| destroys a read write attributes objects. |
| </assertion> |
| <assertion id="2" tag="ref:XSH6:35098:35099"> |
| A destroyed 'attr' attributes object can be reinitialized using |
| pthread_rwlockattr_init(); |
| </assertion> |
| <assertion id="3" tag="ref:XSH6:35110:35111"> |
| If success, it returns 0. |
| </assertion> |
| <assertion id="4" tag="ref:XSH6:35113:35117"> |
| An error number may be returned if: |
| [EINVAL] The value specified by 'attr' is invalid |
| This function shall not return an error ecode of [EINTR] |
| </assertion> |
| </assertions> |