[splint-discuss] nullwhentrue explained
Michael.Wojcik at microfocus.com
Tue Oct 13 10:13:04 PDT 2009
> From: splint-discuss-bounces at cs.virginia.edu [mailto:splint-discuss-
> bounces at cs.virginia.edu] On Behalf Of Bill Pringlemeir
> Sent: Monday, 12 October, 2009 21:53
> On 12 Oct 2009, Michael.Wojcik at microfocus.com wrote:
> >> On 10 Oct 2009, ibob17 at yahoo.gr wrote:
> >>> I am new to splint and I would like to ask a question about
> >>> nullwhentrue.
> > In short, the annotation is misnamed....
> > Unfortunately, it's too late to fix it now.
> If that is really the problem ("truewhennull" versus "nullwhentrue")
> is very easy to add a new annotation. "nullwhentrue" was originally
> named "truenull". They all map to the same thing underneath, this is
> just an extra key to add to the parsing level.
Ah. That's good. For some reason, I was thinking that we'd have to
change the name, not just add another name for the same qualifier. That
sounds good to me.
By the way, Bill, it's great to see you doing all this work on Splint. I
remember there were several years when it didn't seem there was much (if
any) maintenance being done on it.
Principal Software Systems Developer, Micro Focus
More information about the splint-discuss