Il s'agit de la commande atdgen qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
atdgen - compilateur et générateur de code ATD
SYNOPSIS
atdgen [choix...] [fichier-atd]
DESCRIPTION
atdgen lit DAE définitions de type et génère OCaml code (fichiers ml et mli) pour
— définitions de types (option -t)
— sérialiseurs et désérialiseurs pour Biniou (option -b)
— sérialiseurs et désérialiseurs pour JSON (option -j)
— fonctions de création d'enregistrements prenant en charge les champs par défaut (option -v)
— validateurs de données spécifiés par l'utilisateur (option -v)
Si aucune option de mode (-t, -b, -j or -v) est donné, alors -t -b est assumé. Sauf si -o is
présent, le pour les fichiers générés est dérivé du fichier-atd argument. Si
le fichier-atd l'argument est omis, atdgen lit DAE sources de l'entrée standard, si
plus -o est manquant, il se comporte comme si -o - a été donné.
OPTIONS
-t Produire des fichiers _t.mli et _t.ml contenant des définitions de type OCaml
pour DAE contribution
-b Produire des fichiers _b.mli et _b.ml comprenant OCaml sérialiseurs et
désérialiseurs pour le Binou format de données
-j produire des fichiers _j.mli et _j.ml comprenant OCaml sérialiseurs et
désérialiseurs pour le JSON format de données
-v Produire des fichiers _v.mli et _v.ml contenant des fonctions OCaml pour
création d'enregistrements et de validateurs, voir aussi l'option -valider.
-dép Dépendances de sortie au format makefile pour tous les possibles atdgen fichiers de sortie et
sortie
-liste Sortir une liste séparée par des espaces de tous les possibles atdgen fichiers de sortie et sortie
-o
définir la pour les choix -t, -b et -j. Si is -, atdgen écrit
code sous forme de
struct ... fin : sig ... fin
à la sortie standard.
-biniou
[obsolète] identique à -t -b, c'est-à-dire produire des sérialiseurs et des désérialiseurs pour Biniou
et OCaml définitions de type (par défaut)
-json [obsolète] identique à -t -j, c'est-à-dire produire des sérialiseurs et des désérialiseurs pour JSON
et OCaml définitions de types.
-j-std Standard JSON: Convertir les tuples et les variantes en standard JSON et refuse d'imprimer
NaN et infinis. Cette option implique -json à moins qu'un autre mode ne soit spécifié.
-std-json
[obsolète] identique à -j-std
-j-pp
Appliquer le OCaml fonction de type (chaîne -> chaîne) à l'entrée de chaque
Fonction *_of_string générée par atdgen (mode JSON). (Ceci était destiné à UTF-8
validation de la saisie qui n'est pas effectuée par atdgen.)
-j-par défaut
Sortie JSON enregistrer les champs même si leur valeur est connue pour être la valeur par défaut.
-j-champs-stricts
Appeler !Ag_util.Json.unknown_field_handler pour chaque inconnu JSON champ trouvé dans le
entrée au lieu de simplement les sauter. La valeur initiale de cette référence imprime un
message et soulève un Échec exception.
-j-champs-personnalisés
Fonction d'appel de type (chaîne -> unité) pour chaque inconnue JSON champ trouvé dans
l'entrée au lieu de simplement les sauter. Voir également -j-champs-stricts.
-valider
[obsolète] identique à -t -v, Produire des validateurs de données à partir de
annotations où x est un validateur écrit par l'utilisateur à appliquer sur un nœud spécifique.
Ceci est généralement utilisé en conjonction avec -se déployer parce que les validateurs écrits par l'utilisateur
dépendent des définitions de type.
-se déployer MODULE
Supposons que toutes les définitions de type sont fournies par le module spécifié à moins que
sinon annoté. Des alias de type sont créés pour chaque type, par exemple type t = Module.t
-ouvrir MODULE1, MODULE2,...
Liste des modules à ouvrir (séparés par des virgules ou des espaces)
-nfd Ne pas jeter OCaml définitions de fonction
-ntd Ne pas jeter OCaml définitions de types
-pos-fname NOM DE FICHIER
Nom du fichier source à utiliser pour les messages d'erreur (par défaut : nom d'entrée)
-pos-lnum NUMÉRO LIGNE
Numéro de ligne source de la première ligne de l'entrée (par défaut : 1)
-enregistrement XNUMX éléments à OCaml définitions de types mutuellement récursives
-version
version imprimée et sortie
-Aide | --Aidez-moi
Afficher cette liste d'options
Utilisez atdgen en ligne en utilisant les services onworks.net