lazi-xml

Présentation

Cette page décrit le format des formules Lazi dans les fichiers XML.

Les expressions Lazi peuvent s'exprimer dans le format "sources" ou XML. Un fichier XML peut inclure des formules Lazi au format sources ou XML. Par exemple le fichier de sortie du programme compute est un fichier XML où les formules sont elles-même XML, le programme "translate" traduit ce fichier en ne changeant que les formules pour les transformer au format sources, puis le programme xsltproc transforme le tout en html.

C'est pourquoi dans les fichiers XML les formules Lazi sont toujours entourées d'un tag indiquant le format de la formule elle-même. Ce tag est .. (remplacer "xml" par "sources" pour le format "sources").

Les formules au sous-format xml

Les tags sont :

word

Les arguments du tags sont :

• type : le type du mot : "key", "var", "glob"
• name : le nom

Il n'y a pas de contenu.

apply

Il n'y a pas d'argument, le contenu doit être :

• '''

<f>l'expression de la fonction</f>

	* '''
<a>l'expression de l'argument</a>

function

Les arguments sont :

• var : le nom de la variable
• varkind : le type de la variable :
  • CompMulti : le calcul de la valeur de la variable peut être partagé
  • NoCompArg : le cas contraire

Le contenu est le corps de la fonction

nameRepr

Pour représenter un nom. L'attribut "name" contient le nom, il n'y a pas de contenu.

formulaRepr

Pour représenter une formule. Il n'y a pas d'argument et le contenu est la formule représentée. La formule peut contenir des variables en dehors de fonctions.