Lazi

Nommage des fichiers sources

On cré un répertoire par groupe d'extension.

Le formalt d'un fichier définissant une extension est:

n.nom.sous-type.ext.lazi où:

  • n: le numéro de l'extension dans le groupe, on complète par des zéros pour que le numéro est une longueur constante.
  • nom: le nom de l'extension
  • sous-type: champs optionel, par exemple ce peut être une extension par:

◇ ajout d'un type d'événement: "ev"
◇ ajout de preuves : "deduc"
◇ ajout de notations: "nota"

Exemple: 03.addSimpleRule.ev.ext.lazi