Frama-C Bug Tracking System - Frama-C |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001732 | Frama-C | Documentation > manuals | public | 2014-04-05 10:53 | 2016-06-21 14:17 |
|
| Reporter | zuy | |
|---|
| Assigned To | signoles | |
|---|
| Priority | low | Severity | text | Reproducibility | always |
|---|
| Status | closed | Resolution | fixed | |
|---|
| Platform | All | OS | All | OS Version | All |
|---|
| Product Version | Frama-C Neon-20140301 | |
|---|
| Target Version | | Fixed in Version | Frama-C Sodium | |
|---|
|
| Summary | 0001732: Erreur dans la documentation pour plugin erreur de type |
|---|
| Description | A la page 18 de la documentation de développement d'un plugin, il est question d'ajouter une option au plugin en cours de développement.
L'option en question est la possibilité de spécifier la sortie des écritures standard du plugin.
output_fun est alors censé contenir la fonction qui prend un formateur par défaut et attend un string en entrée pour produire un unit (dans le if) mais la branche else ouvre un fichier crée la fonction en question avec fprintf mais un point-virgule et un appel à close_out rend le type des deux branches incompatible. |
|---|
| Steps To Reproduce | Lire la documentation |
|---|
| Additional Information | Une solution à la fois simple et propre serait de rester dans l'optique du découpage du code en module
de la page précédente et de définir dans printer un type nécessaire à ses fonctions
après création du printer on récupère un channel qui est le standard ou celui d'un fichier particulier, on peut alors écrire dedans (si c'est le standard tant mieux on utilise result sinon on utilise fprintf.
puis on ferme (si c'est le standard on ne fait rien sinon ou appel close_out dessus) |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files | |
|---|