int function ( ) { Object [ ] loc0 = new Object [ ] { CHECKPOINT } ; return logMgr . append ( loc0 ) ; }
writes a checkpoint record to the log . this log record contains the checkpoint operator , and nothing else . concode_field_sep PlaceHolder placeHolder concode_field_sep int op concode_elem_sep void undo concode_elem_sep String toString concode_elem_sep int txNumber