appends a new block to the specified file and pins it . concode_field_sep BufferMgr bufferMgr concode_elem_sep List<Block> pins concode_elem_sep Map<Block,Buffer> buffers concode_field_sep Buffer getBuffer concode_elem_sep void pin concode_elem_sep void unpinAll concode_elem_sep void unpin
Block function ( String arg0 , PageFormatter arg1 ) { Buffer loc0 = bufferMgr . pinNew ( arg0 , arg1 ) ; Block loc1 = loc0 . block ( ) ; buffers . put ( loc1 , loc0 ) ; pins . add ( loc1 ) ; return loc1 ; }