Java FieldRecord.popState示例

示例#1

文件： RandomSource.java 项目： Argonnite/ptII11.0.devel

 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

文件： Commutator.java 项目： blickly/ptii

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