| robbiew | 0dc0765 | 2005-06-03 16:29:48 +0000 | [diff] [blame] | 1 | <assertions> |
| 2 | <assertion id="1" tag="ref:XSH6:34097:34100"> |
| 3 | The function |
| 4 | |
| 5 | int pthread_mutexattr_init(pthread_mutexattr_t *attr) |
| 6 | |
| 7 | initializes a mutex attributes object 'attr' with the default |
| 8 | value for all of the attributes defined by the implementation. Results |
| 9 | are undefined if it is called specifying an already initialized 'attr' |
| 10 | attributes object. |
| 11 | </assertion> |
| 12 | <assertion id="2" tag="ref:XSH6:34101:34103"> |
| 13 | After a mutex attributes object has been used to initialize one or more |
| 14 | mutexes, any function affecting the attributes object (including destruction) |
| 15 | shall not affect any previously initialized mutexes. |
| 16 | </assertion> |
| 17 | <assertion id="3" tag="ref:XSH6:34105:34105"> |
| 18 | Upon success it returns 0. |
| 19 | </assertion> |
| 20 | <assertion id="4" tag="ref:XSH6:34108:34109"> |
| 21 | If it fails, an error number shall be returned: |
| 22 | [ENOMEM] - Insufficient memory exists to initialize the mutex attributes |
| 23 | object. |
| 24 | </assertion> |
| 25 | </assertions> |