[splint-discuss] implicit options

[Kay Dohmann]

Hi.
I got a tiny question on using splint. Is it possible to have implicit
options on .h files for example?
I'll explain: I want to have my C modules as application undependent as
possible. For example I have, let's say a stringfunctions.c and
stringfunctions.h in my application. In stringfunctions.h all the api is
defined, but this application does not use all of this api. So I need to
have /*@-export-local@*/ and /*@=export-local@*/ surrounding my api
functions in the .h file. This way I get warnings on non-static
functions in my module and no warnings on my defined api.
But isn't there a more comfortable way to do this? Like having an
implicit /*@-export-local@*/ for the .h files?

-- 
Mit freundlichem Gruss,
Best Regards,

Kay Dohmann

************************************************************
I. Dohmann GmbH

Email: kay at dohmanngmbh.de
Phone: +49 (0) 5241 960600
Fax:   +49 (0) 5241 9606030

Isselhorster Strasse 403 - 33334 Guetersloh - Germany

Geschaeftsfuehrung: Ingo Dohmann
Sitz der Gesellschaft: Guetersloh
Handelsregister: Amtsgericht Guetersloh HRB 2442
************************************************************

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 250 bytes
Desc: OpenPGP digital signature
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20081112/d150de46/attachment-0001.bin