Implementation <-> Documentation Inconsistency
ID0000595: This issue was created automatically from Mantis Issue 595. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000595 | Frama-C | Documentation | public | 2010-10-04 | 2016-06-21 |
| Reporter | kalyan | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | Frama-C Carbon-20101201-beta1 | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
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.