[splint-discuss] Cgrammar, llgrammar, mtgrammar

David Evans evans at cs.virginia.edu
Wed Mar 3 09:13:30 EST 2010


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
>    



More information about the splint-discuss mailing list