Les valeurs des attributs sont, comme pour les feuilles, du code OCaml.
Values of attributes are OCaml code too, as for the leafs.
permet de générer le code OCaml correspondant au document décrit.
Un point important est que l'information à mettre dans le document est donnée sous forme de code OCaml.
An important point is that the way to compute the information needed in the document is given in the form of OCaml code.
Les règles de validation dans les fichiers atd sont ouvertes, les développeurs peuvent injecter n'importe quel code OCaml directement dans le fichier atd.
Validation rules in atd files are open-ended, developers can inject whatever OCaml code they want directly into the atd file.
o file génère le code OCaml dans le fichier file, au lieu du fichier par défaut, quand l'option -gen est donnée.
o file generate the OCaml code in file file, instead of the default file, when the -gen option is given.
Ce vérificateur de type est prouvé correct vis à vis de la spécification et peut être extrait en code OCaml et exécuté indépendamment du vérificateur de type du noyau de Coq.
This type checker is proven sound with respect to the specification and can be extracted to OCaml code and run independently of Coq's kernel type-checker.
Le projet Ocamlviz propose une alternative à ces différents outils, sous la forme d une bibliothèque pour instrumenter du code OCaml et des outils pour visualiser ensuite son exécution, en temps-réel et de manière distante.
The Ocamlviz project is an alternative to all these tools. It is both a library to instrument some OCaml code and tools to visualize its execution in real-time, possibly remotely.
La version native de Chamo ne permet pas d'interpréter du code OCaml et donc de modifier au vol son comportement.
The native version of Chamo can not interpret OCaml code to modify its behaviour.
génère le code OCaml de la description de document, en utilisant les types définis dans la bibliothèque Report.
tool generates the OCaml code of the document description, using the types defined in the Report library.
En d'autres termes, Menhir traduit des spécifications de grammaires LR(1) en code OCaml.
Menhir compiles LR(1) grammar specifications to OCaml code.
DBForge : un outil pour décrire des schémas de base de données et générer le code OCaml permettant d'accéder à ces bases.
DBForge: a tool to describe database schemas and generate OCaml code to access these databases.
En pratique, Report permet d'diter graphiquement le document (structure + information), et de générer le code OCaml qui utilise la bibliothèque Report.
In practice, Report allows to graphically describe the document (structure + information), and then to generate OCaml code which uses the Report library.
L'extension de syntaxe COW (Pour Caml on the Web) permet d'écrire directement du XML, HTML, CSS et JSON dans du code OCaml.
The COW (Caml on the Web) syntax extension permits XML, HTML, CSS and JSON to be written directly inside OCaml code.
