[splint-discuss] Cgrammar, llgrammar, mtgrammar

[Muneeswaran P-ERS,HCLTech]

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-bounces at cs.virginia.edu [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of David Evans
Sent: Wednesday, March 03, 2010 7:44 PM
To: splint-discuss at 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 at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>    

_______________________________________________
splint-discuss mailing list
splint-discuss at mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss