TXFAPlatformTime

Unit: HPDFXFAPlatform

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

EpochMilliseconds ist die UTC-Zeit seit dem 1. Januar 1970 in Millisekunden; RandomSeed ist ein aus der Uhr abgeleiteter Seed für deterministisches Skript-Journaling und keine kryptografische Zufallsquelle

HPDFXFAWallClock liefert die aktuellen nativen Werte; das Replay committeter Skripte verwendet die zuvor aufgezeichneten Werte