Erreur dans la documentation pour plugin erreur de type
ID0001732: This issue was created automatically from Mantis Issue 1732. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001732 | Frama-C | Documentation > manuals | public | 2014-04-05 | 2016-06-21 |
Reporter | zuy | Assigned To | signoles | Resolution | fixed |
Priority | low | Severity | text | Reproducibility | always |
Platform | All | OS | All | OS Version | All |
Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
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.
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)
Steps To Reproduce :
Lire la documentation