Posted Oct 16, 2009 4:12 UTC (Fri) by jordanb (guest, #45668)
Parent article: Stanse
I love it how if you're a Java programmer, XML is the hammer and just about anything requiring any sort of meta-data is the screw.
There's a static analysis tool for Ada that was released as free software some time ago, called SPARK. It uses annotations embedded in comments. That seems the most sane way to go. Trying to maintain parallel XML files for annotations seems like pure horror. And since you have to parse the C file anyway it's no more work to provide a mechanism to keep the annotations inline.