TXFAPlatformTime

ユニット: HPDFXFAPlatform

TXFAPlatformTime = record
  EpochMilliseconds: UInt64;
  RandomSeed: Cardinal;
end;

EpochMilliseconds は 1970 年 1 月 1 日を起点とする UTC の経過ミリ秒です。RandomSeed は決定論的なスクリプトジャーナリングのためのクロック由来シードで、暗号学的な乱数源ではありません

現在のネイティブ値は HPDFXFAWallClock が供給し、確定済みスクリプトのリプレイは以前に記録された値を使います