TXFAPlatformTime

Unité : HPDFXFAPlatform

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

EpochMilliseconds contient l'heure UTC depuis le 1er janvier 1970 en millisecondes ; RandomSeed est une graine dérivée de l'horloge pour une journalisation déterministe des scripts et ne constitue pas une source aléatoire cryptographique

HPDFXFAWallClock fournit les valeurs natives courantes ; la relecture des scripts validés réutilise les valeurs enregistrées précédemment