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