public SetStringRecord(BasicLogRecord rec) { txnum = rec.nextInt(); string filename = rec.nextString(); int blknum = rec.nextInt(); blk = new Block(filename, blknum); offset = rec.nextInt(); val = rec.nextString(); }
public SetIntRecord(BasicLogRecord rec) {//通过一条不带语义的字节记录来创建一条带语义的日志记录 txnum = rec.nextInt(); string filename = rec.nextString(); int blknum = rec.nextInt(); blk = new Block(filename, blknum); offset = rec.nextInt(); val = rec.nextInt(); }