void function ( ) { if ( counter < licenses ) { counter = counter + 1 ; notify ( ) ; } }
method called by a thread to release the lock . concode_field_sep int licenses concode_elem_sep int counter concode_field_sep int getAvailableLicenses concode_elem_sep int getNumLicenses concode_elem_sep void acquire