Frama-C Bug Tracking System - Frama-C
View Issue Details
0001732Frama-CDocumentation > manualspublic2014-04-05 10:532016-06-21 14:17
zuy 
signoles 
lowtextalways
closedfixed 
AllAllAll
Frama-C Neon-20140301 
Frama-C Sodium 
0001732: Erreur dans la documentation pour plugin erreur de type
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.
Lire la documentation
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)
No tags attached.
Issue History
2014-04-05 10:53zuyNew Issue
2014-04-05 10:53zuyStatusnew => assigned
2014-04-05 10:53zuyAssigned To => signoles
2014-04-07 11:44signolesStatusassigned => resolved
2014-04-07 11:44signolesResolutionopen => fixed
2014-04-07 13:40signolesNote Added: 0005029
2014-04-07 13:48signolesNote Added: 0005030
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:17signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:17signolesCategoryDocumentation > ACSL => Documentation > manuals

Notes
(0005029)
signoles   
2014-04-07 13:40   
Fix committed to master branch.
(0005030)
signoles   
2014-04-07 13:48   
The applied patch only adds an argument of type string to the function [output_fun] and applied it to [Self.result] and [Printf.fprintf].