Un espace de nom Date correspond à une racine parente dont l’espace de nom est le suivant :

* = ?iskey
*.year   = #valeur dans ℤ
*.month  = #valeur dans ℕ ∩ [1 : 12]
*.day    = #valeur dans ℕ ∩ [1 : {nombre de jours du mois}[
*.hour   = #valeur dans ℕ ∩ [0 : 24[
*.minute = #valeur dans ℕ ∩ [0 : 60[
*.second = #valeur dans ℕ ∩ [0 : 60[
*.millisecond = #valeur dans ℕ ∩ [0 ; 1000[

<aside> <img src="/icons/info-alternate_blue.svg" alt="/icons/info-alternate_blue.svg" width="40px" />

Le bloc

Lecture Date.png

permet de lire une Date selon un certain format (par défaut, “YYYY-MM-DDHH:MM:SS*” ou “{year}-{month}-{day}{hour}:{minute}:{second}*”).

</aside>

<aside> <img src="/icons/info-alternate_blue.svg" alt="/icons/info-alternate_blue.svg" width="40px" />

Le bloc

Espace de nom Date.png

permet de vérifier qu’un espace de nom est bien une date correcte en y ajoutant les noms PAM manquant aux valeurs de l’horodatage 0.

</aside>