TXFAPlatformTime

Jednostka: HPDFXFAPlatform

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

EpochMilliseconds to czas UTC od 1 stycznia 1970 w milisekundach; RandomSeed to pochodzące z zegara ziarno dla deterministycznego dziennika skryptów i nie jest kryptograficznym źródłem losowości

HPDFXFAWallClock dostarcza bieżące wartości natywne; replay zatwierdzonych skryptów używa wcześniej nagranych wartości