void function ( int arg0 ) { if ( ( arg0 < 0 ) || ( arg0 >= ( int ) mgr . getNumBuffers ( ) ) ) { throw new InvalidFrameNumberException ( null , "srini_string" ) ; } ( mgr . frameTable ( ) ) [ arg0 ] . pin ( ) ; state_bit [ arg0 ] . state = Pinned ; }
pins a candidate page in the buffer pool . concode_field_sep int head concode_elem_sep STATE state_bit[] concode_elem_sep int Available concode_elem_sep int Referenced concode_elem_sep int Pinned concode_elem_sep BufMgr mgr concode_elem_sep int state concode_field_sep int pick_victim concode_elem_sep void setBufferManager concode_elem_sep boolean unpin concode_elem_sep String name concode_elem_sep int getNumUnpinnedBuffers concode_elem_sep void free concode_elem_sep void info