Frama-C Bug Tracking System - Frama-C
View Issue Details
0000595Frama-CDocumentationpublic2010-10-04 23:262016-06-21 14:24
kalyan 
virgile 
normalminorN/A
closedfixed 
Frama-C Boron-20100401 
Frama-C Carbon-20101201-beta1Frama-C Carbon-20101201-beta1 
0000595: Implementation <-> Documentation Inconsistency
I see that the Plug-in development guide is not accurate (or consistent with the implementation, if I should put it this way). It makes it difficult for beginners to work with plugin-development, especially using visitors. For example, Section 4.14.3 (Action Performed) and compare it with the implementation, you don't see any DoChildrenPost () and you don't see any JustCopyPost () in the guide. It would be great if you update the plugin-development guide as and when you make changes in the implementation.
No tags attached.
Issue History
2010-10-04 23:26kalyanNew Issue
2010-10-04 23:26kalyanStatusnew => assigned
2010-10-04 23:26kalyanAssigned To => signoles
2010-10-05 08:38signolesAssigned Tosignoles => virgile
2010-10-13 07:01signolesStatusassigned => confirmed
2010-10-26 13:13virgileTarget Version => Frama-C Carbon
2010-12-02 15:16svnCheckin
2010-12-02 15:16svnStatusconfirmed => resolved
2010-12-02 15:16svnResolutionopen => fixed
2010-12-10 15:45signolesFixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:35signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:24signolesCategoryDocumentation > ACSL => Documentation

There are no notes attached to this issue.