Frama-C Bug Tracking System - Frama-C
View Issue Details
0001732Frama-CDocumentation > manualspublic2014-04-05 10:532016-06-21 14:17
Reporterzuy 
Assigned Tosignoles 
PrioritylowSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
PlatformAllOSAllOS VersionAll
Product VersionFrama-C Neon-20140301 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001732: Erreur dans la documentation pour plugin erreur de type
DescriptionA 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 ReproduceLire la documentation
Additional InformationUne 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)
TagsNo tags attached.
Attached Files

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].

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:40signolesSource_changeset_attached => framac master 2ecde447
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