Hi Dave, Thanks for the input.
One quick question: Is there any design doc/HTML/Ref available for source code implementation? So that I can read that first, before stealing others valuable time by asking simple questions ? Regards, Munees. Tel: +91-44-42169999 Extn-2732 -----Original Message----- From: splint-discuss-boun...@cs.virginia.edu [mailto:splint-discuss-boun...@cs.virginia.edu] On Behalf Of David Evans Sent: Wednesday, March 03, 2010 7:44 PM To: splint-discuss@mail.cs.virginia.edu Subject: Re: [splint-discuss] Cgrammar, llgrammar, mtgrammar Hi Munees, All the .y files are bison grammars. The cgrammar.y is for parsing the C code, llgrammar.y is for parsing LCL specifications, and mtgrammar.y is for parsing mts files that define new annotations. --- Dave On 3/3/2010 8:10 AM, Muneeswaran P-ERS,HCLTech wrote: > Hi, > I am new to splint and going through the splint code ver3.1.1. > I want to know the difference between Cgrammar.y, llgrammar.y, > mtgrammar.y in splint. Why there are three grammar files available ? > Regards, > Munees. > Tel: +91-44-42169999 Extn-2732 > DISCLAIMER: > ---------------------------------------------------------------------- > ------------------------------------------------- > > The contents of this e-mail and any attachment(s) are confidential and > intended for the named recipient(s) only. > It shall not attach any liability on the originator or HCL or its > affiliates. Any views or opinions presented in this email are solely those of > the author and may not necessarily reflect the opinions of HCL or its > affiliates. > Any form of reproduction, dissemination, copying, disclosure, > modification, distribution and / or publication of this message > without the prior written consent of the author of this e-mail is > strictly prohibited. If you have received this email in error please delete > it and notify the sender immediately. Before opening any mail and attachments > please check them for viruses and defect. > > ---------------------------------------------------------------------- > ------------------------------------------------- > > > _______________________________________________ > splint-discuss mailing list > splint-discuss@mail.cs.virginia.edu > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss > _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
