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);
   }
 }
示例#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);
   }
 }