public void $RESTORE(long timestamp, boolean trim) {
   if (timestamp <= $RECORD$$CHECKPOINT.getTopTimestamp()) {
     $CHECKPOINT = $RECORD$$CHECKPOINT.restore($CHECKPOINT, this, timestamp, trim);
     FieldRecord.popState($RECORDS);
     $RESTORE(timestamp, trim);
   }
 }
Exemple #2
0
 public void $RESTORE(long timestamp, boolean trim) {
   _currentInputPosition =
       $RECORD$_currentInputPosition.restore(_currentInputPosition, timestamp, trim);
   _tentativeInputPosition =
       $RECORD$_tentativeInputPosition.restore(_tentativeInputPosition, timestamp, trim);
   if (timestamp <= $RECORD$$CHECKPOINT.getTopTimestamp()) {
     $CHECKPOINT = $RECORD$$CHECKPOINT.restore($CHECKPOINT, this, timestamp, trim);
     FieldRecord.popState($RECORDS);
     $RESTORE(timestamp, trim);
   }
 }
Exemple #3
0
 public final Object $SET$CHECKPOINT(Checkpoint checkpoint) {
   if ($CHECKPOINT != checkpoint) {
     Checkpoint oldCheckpoint = $CHECKPOINT;
     if (checkpoint != null) {
       $RECORD$$CHECKPOINT.add($CHECKPOINT, checkpoint.getTimestamp());
       FieldRecord.pushState($RECORDS);
     }
     $CHECKPOINT = checkpoint;
     oldCheckpoint.setCheckpoint(checkpoint);
     checkpoint.addObject(this);
   }
   return this;
 }
 public void $COMMIT(long timestamp) {
   FieldRecord.commit($RECORDS, timestamp, $RECORD$$CHECKPOINT.getTopTimestamp());
   super.$COMMIT(timestamp);
 }