An English version is also available
L'outil poc est un pretty-printeur et générateur de code c pour programmes oc. Il fonctionne donc pour tout programme synchrone compilé en un automate d'états fini dans le format commun oc.
L'outil poc génère ou bien un programme pretty-printé, ou bien du code c lisible. Il prend en entrée un fichier oc. La commande
poc foo.oc
produit le fichier foo.ty qui est la version
pretty-printée de foo.oc. La commande
poc -c foo.oc
produit le fichier foo.c qui est le code c
correspondant à foo.oc. Contrairement au code c
généré par occ (i.e., par le compilateur Esterel), le code c
généré par poc est lisible. En particulier, il est très facile
à modifier. Par contre il est moins conpact.
Les options sont les suivantes :
| -h | Imprime le message d'aide. | ||
| -version | Imprime le numéro de version de poc. | ||
| -info | Imprime toutes les informations à propos de poc. | ||
| -c | Génère du code c. |
Voici le binaire :
Et voici le source :
Bon pretty-printage !