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);
}
}
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);
}
}
