TXFAPlatformTime

Unità: HPDFXFAPlatform

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

EpochMilliseconds è il tempo UTC dal 1° gennaio 1970 in millisecondi; RandomSeed è un seed derivato dall'orologio per il journaling deterministico degli script e non è una sorgente di casualità crittografica

HPDFXFAWallClock fornisce i valori nativi correnti; il replay degli script confermati usa i valori registrati in precedenza