camlp5r.opt - En ligne dans le Cloud

PROGRAMME:

Nom

camlp5 - Pre-Precessor-Pretty-Printer pour ocaml
mkcamlp5 - Créer un camlp5 personnalisé
mkcamlp5.opt - Créer un camlp5 personnalisé (code natif)
ocpp5 - Préprocesseur universel

SYNOPSIS

camlp5 [ options de chargement ] [--] [ autres options ]
camlp5o [ options de chargement ] [--] [ autres options ]
camlp5r [ options de chargement ] [--] [ autres options ]
camlp5sch [ options de chargement ] [--] [ autres options ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [load-options] fichier

camlp5o.opt [--] [ autres options ]
camlp5r.opt [--] [ autres options ]

DESCRIPTION

camlp5 est un Pre-Processor-Pretty-Printer pour OCaml, analysant un fichier source et imprimant
un certain résultat sur la sortie standard.

camlp5o, camlp5r ainsi que camlp5sch sont des versions de camlp5 avec certains fichiers déjà chargés (voir
plus loin).

camlp5o.cma, camlp5r.cma ainsi que camlp5sch.cma sont des fichiers à charger dans ocaml toplevel à utiliser
la machinerie camlp5

mkcamlp5 ainsi que mkcamlp5.opt crée des exécutables camlp5 avec presque les mêmes options que
ocamlmktop. Voir plus loin.

ocpp5 est un préprocesseur universel, traitant tout type de fichier source, générant le même
texte avec les citations possibles développées.

camlp5o.opt ainsi que camlp5r.opt sont des versions de camlp5o et camlp5r compilées par le natif-
compilateur de code ocamlopt. Ils sont plus rapides mais non extensibles. Et ils ne sont pas disponibles dans
toutes les installations de camlp5.

CHARGE OPTIONS

Les options de chargement sélectionnent les actions d'analyse et d'impression enregistrées dans les fichiers objets OCaml
(finissant par .cmo ou .cma). Plusieurs utilisations de ces options sont autorisées. Elles doivent
précèdent les autres options.

En option, -- peut mettre fin aux options de chargement.

-I annuaire
Ajouter annuaire dans le chemin de recherche des fichiers chargés. Sauf si l'option -nolib est
utilisé, le répertoire de la bibliothèque camlp5 est ajouté au chemin. Attention : il n'y a pas
recherche automatique dans le répertoire courant : ajouter "-I ." pour ça.

-où Affichez le nom du répertoire de la bibliothèque camlp5 et quittez.

-nolib Pas de recherche automatique des fichiers objets dans le répertoire de la bibliothèque camlp5.

fichier-objet
Le fichier est chargé dans le noyau camlp5.

AUTRES OPTIONS

Les autres options sont :

filet Traiter filet comme fichier d'interface s'il se termine par .mli et comme fichier d'implémentation
s'il se termine par .ml.

-intf filet
Traiter filet comme fichier d'interface, quelle que soit son extension.

-impl filet
Traiter filet comme fichier d'implémentation, quelle que soit son extension.

-peu sûr
Générer des accès non sécurisés aux tableaux et aux chaînes.

-noassert
Ne compilez pas les contrôles d'assertion.

-verbeux
Plus bavard dans les erreurs d'analyse.

-QD filet
Jeter dans filet en cas d'erreur de syntaxe dans le résultat d'une extension de citation.

-o hors-fichier
Imprimez le résultat sur le fichier de sortie au lieu de la sortie standard. Le fichier est ouvert avec
open_out_bin (voir la bibliothèque OCaml Pervasives).

-v Imprimez le numéro de version et quittez.

-Aide Imprimez les options disponibles et quittez. Cette impression comprend les options éventuellement
ajoutés par les fichiers objets chargés.

Les autres options peuvent être étendues par des fichiers objets chargés. Les fichiers fournis ajoutent le
options suivantes:

-l longueur de la ligne
Ajouté par pr_o.cmo et pr_r.cmo : définissez la longueur de la ligne (par défaut 78).

-SEP un magnifique
Ajouté par pr_o.cmo et pr_r.cmo : imprime cette chaîne entre les phrases au lieu de
commentaires.

-non_ss Ajouté par pr_o.cmo : ne pas imprimer les doubles points-virgules

-D ident
Ajouté par pa_macro.cmo : définir l'ident.

-U ident
Ajouté par pa_macro.cmo : undefine l'ident.

À CONDITION DE DES DOSSIERS

Ces fichiers sont installés dans le répertoire /usr/lib/ocaml/camlp5.

Analyser les fichiers :
pa_r.cmo : syntaxe révisée
pa_rp.cmo : flux et analyseurs
pa_lexer.cmo : lexeurs
pa_o.cmo : syntaxe normale
pa_op.cmo : flux et analyseurs
pa_oop.cmo : flux et analyseurs (sans optimisation de code)
pa_scheme.cmo : syntaxe du schéma
pa_extend.cmo : extension de syntaxe pour les grammaires
pa_extfold.cmo : extension de pa_extend avec FOLD0 et FOLD1
pa_extfun.cmo : extension de syntaxe pour les fonctions extensibles
pa_extprint.cmo : extensions de syntaxe pour les imprimantes extensibles
pa_pprintf.cmo : extension de syntaxe pour l'instruction pprintf
pa_fstream.cmo : extension de syntaxe pour les flux fonctionnels
pa_macro.cmo : ajoute des macros (ifdef, define) comme en C
pa_lefteval.cmo : évaluation de gauche à droite des paramètres
pa_pragma.cmo : directive #pragma

Impression des fichiers :
pr_r.cmo : syntaxe révisée sans objets ni étiquettes
pr_ro.cmo : syntaxe révisée pour les objets et les étiquettes
pr_rp.cmo : essayez de reconstruire la syntaxe des flux et des parseurs
pr_o.cmo : syntaxe normale
pr_op.cmo : essayez de reconstruire la syntaxe des flux et des parseurs
pr_scheme.cmo : syntaxe du schéma
pr_schemep.cmo : essayez de reconstruire la syntaxe des flux et des parseurs
pr_extend.cmo : essayez de reconstruire les instructions EXTEND
pr_extfun.cmo : essayez de reconstruire les instructions extfun
pr_extprint.cmo : essayez de reconstruire les instructions EXTEND_PRINTER
pr_dump.cmo : arbre de syntaxe de vidage pour le compilateur ocaml
pr_depend.cmo : dépendances de fichiers
pr_null.cmo : aucune sortie

Extenseurs de devis :
q_MLast.cmo : nœuds de l'arbre syntaxique (en syntaxe révisée)
q_ast.cmo : nœuds de l'arbre de syntaxe dans la syntaxe complète de l'utilisateur
q_phony.cmo : conserver les cotations pour une jolie impression

La commande camlp5o est un raccourci pour :
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

La commande camlp5r est un raccourci pour :
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

La commande camlp5sch est un raccourci pour :
camlp5 pa_scheme.cmo pr_dump.cmo

Le fichier camlp5o.cma peut être chargé dans le toplevel pour démarrer camlp5 avec la syntaxe OCaml.

Le fichier camlp5r.cma peut être chargé dans le toplevel pour démarrer camlp5 avec une syntaxe révisée.

Le fichier camlp5sch.cma peut être chargé dans le toplevel pour démarrer camlp5 avec la syntaxe Scheme.

MKCAMLP5

mkcamlp5 ainsi que mkcamlp5.opt crée des exécutables camlp5 avec presque les mêmes options que
ocamlmktop. La version mkcamlp5.opt peut créer des exécutables de code natif, plus rapidement mais pas
extensible.

Pour mkcamlp5, les interfaces pour être visibles doivent être explicitement ajoutées dans la ligne de commande comme
fichiers ".cmi". Par exemple, comment ajouter le module OCaml "str":
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str

ENVIRONNEMENT VARIABLE

La variable d'environnement suivante est également consultée :

CAMLP5PARAM
Définissez les paramètres de l'algorithme d'analyse des grammaires. Cette variable doit être une séquence de
spécifications des paramètres. Une spécification de paramètre est une lettre facultativement
suivi d'un = et d'une valeur. Il y a quatre paramètres possibles :

b (retour en arrière)
Définissez l'algorithme de retour en arrière par défaut.

t (tracer)
Tracez les symboles (terminaux et non-terminaux) lors de l'analyse avec retour en arrière.

y (trace-décrochage)
En backtracking, tracer l'avancée dans le flux d'entrée (nombre de jetons dégelés)
et le décrochage éventuel (nombre de tests de jetons).

l (décrochage maximum)
Réglez la valeur de calage maximale.

Utilisez camlp5r.opt en ligne en utilisant les services onworks.net