high-res-timer() as xs:double XP3.1 XQ3.1
Retourne une valeur de minuteur haute résolution en secondes. Un minuteur de haute résolution, lorsqu'il est présent dans un système, permet des mesures temporelles de haute précision lorsque celles-ci sont requises (par exemples pour des animations et pour déterminer précisément l'heure d'exécution du code). Cette fonction fournit la résolution du minuteur haute résolution du système.
•high-res-timer() retourne quelque chose comme '1.16766146154566E6' |
|
