bogus syntax error with doxygen
ID0001853: This issue was created automatically from Mantis Issue 1853. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001853 | Frama-C | Kernel | public | 2014-07-23 | 2015-03-17 |
| Reporter | billyPilgrim | Assigned To | yakobowski | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | linux | OS | ubuntu 12.04 LTS | OS Version | 12.04 LTS |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
I have several header files that contain: /@} strings beginning comments. This will cause frama-c to stop due to a syntax error. It can be fixed by inserting a space between the '' and the '@'. I don't know if that will result in ill-formed doxygen (I didn't create the file and am not a doxygen user), but the parser does choke on it.
Steps To Reproduce :
create a header file and put in a comment, starting in column 1 /*@} End of pub_func */
and it will fail.
replace with: /* @} End of pub_func */ and all is well.