Michael, > Much (no doubt most) existing C code makes far too little use of > abstraction. I can't endorse a blanket style rule that eliminates even > more of it.
We live in a multicultural world and to be of practical benefit guidelines need to adapt to what people do. Telling developers that their method of designing interfaces is wrong and guidelines to aid that design methodology are not going to be created and supported is very counter productive. -- Derek M. Jones tel: +44 (0) 1252 520 667 Knowledge Software Ltd mailto:[EMAIL PROTECTED] Source code analysis http://www.knosof.co.uk _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss