void function ( String arg0 , PageFormatter arg1 ) { flush ( ) ; arg1 . format ( contents ) ; blk = contents . append ( arg0 ) ; pins = 0 ; }
initializes the buffer 's page according to the specified formatter , and appends the page to the specified file . if the buffer was dirty , then the contents of the previous page are first written to disk . concode_field_sep int modifiedBy concode_elem_sep Block blk concode_elem_sep int logSequenceNumber concode_elem_sep int pins concode_elem_sep int counter concode_elem_sep Page contents concode_field_sep void assignToBlock concode_elem_sep int getInt concode_elem_sep void setString concode_elem_sep void flush concode_elem_sep void pin concode_elem_sep boolean isPinned concode_elem_sep void unpin concode_elem_sep Block block concode_elem_sep String getString concode_elem_sep void setInt concode_elem_sep void setCounter concode_elem_sep boolean isModifiedBy