int function ( final Thread arg0 ) { final Iterator loc0 = this . waiters . iterator ( ) ; int loc1 = 0 ; while ( loc0 . hasNext ( ) ) { final ReaderWriterNode loc2 = ( ReaderWriterNode ) loc0 . next ( ) ; if ( loc2 . arg0 == arg0 ) { return loc1 ; } loc1 += 1 ; } return - 1 ; }
returns the index of a thread . concode_field_sep int WRITER concode_elem_sep Thread t concode_elem_sep ArrayList waiters concode_elem_sep int nAcquires concode_elem_sep int state concode_elem_sep int READER concode_field_sep void unlock concode_elem_sep void lockWrite concode_elem_sep void lockRead concode_elem_sep int firstWriter