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 :
- '''
* ''' <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.