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();
}
public StartRecord(BasicLogRecord rec)
{
txnum = rec.nextInt();
}
public CommitRecord(BasicLogRecord rec)
{
txnum = rec.nextInt();
}
public RollbackRecord(BasicLogRecord rec)
{
txnum = rec.nextInt();
}
