
<div dir="ltr"><div><div><div><div>Respected Sir/Ma'am<br></div>I want to know how and when is the prologue/epilogue of a function generated?<br></div>What I want to do is add a pre-condition and post-condition for every function and every loop which is encountered  in my function.<br>

</div>Thanks in advance<br></div>--Surbhi<br><div><div><div><div><div><div><div><div><br></div></div></div></div></div></div></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 3, 2013 at 2:59 AM, Arpit Sancheti <span dir="ltr"><<a href="mailto:arpit.sancheti2002@gmail.com" target="_blank">arpit.sancheti2002@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Respected Sir,<br></div>Thanks for the information. Now the question arises is "how to apply semantics rules on these comment...??". Do you have something for applying semantics rules on comment with grammer.<br>


</div><div>Thanks in advance<br></div><div>--Surbhi<br></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 3, 2013 at 2:30 AM, Arpit Sancheti <span dir="ltr"><<a href="mailto:arpit.sancheti2002@gmail.com" target="_blank">arpit.sancheti2002@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Thanks a lot Joao, for this information I think this will guide me a lot. Can you also tell that to add some more comment command I have to defined them in CommentCommandList.inc..?<br>


<br></div>--Surbhi<br>


</div><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Aug 3, 2013 at 1:36 AM, João Matos <span dir="ltr"><<a href="mailto:ripzonetriton@gmail.com" target="_blank">ripzonetriton@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>On Fri, Aug 2, 2013 at 8:04 PM, Arpit Sancheti <span dir="ltr"><<a href="mailto:arpit.sancheti2002@gmail.com" target="_blank">arpit.sancheti2002@gmail.com</a>></span> wrote:<br>


</div><div class="gmail_quote"><div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


<div dir="ltr"><div><div><div><div>Respected Sir/ Ma'am<br></div>Thanks for the information, but the question is still the same that how can I retrieve the comments in my parser so that I can parse them. clang::CommentOptions::ParseAllComments will start parsing all comments but how can I get those comment in my parser. What are the function to retrieve them or I just have include the header files in which these are define.<br>


</div>One more question is that ACSL have some more comment command, if I am not wrong then those are to be first  defined in CommentCommandList.inc <br></div>Thanking You<br></div>--Surbhi</div></blockquote><div><br></div>


</div><div>I recently did some work to parse comments with the Clang APIs, it might help you figure out how to start using the APIs.</div><div><br></div><div><a href="https://github.com/mono/CppSharp/blob/master/src/Parser/Comments.cpp#L249" target="_blank">https://github.com/mono/CppSharp/blob/master/src/Parser/Comments.cpp#L249</a></div>


<span><font color="#888888">


<div><br></div><div><br></div><div> </div></font></span></div><span><font color="#888888">-- <br>João Matos

</font></span></blockquote></div><br></div>

</div></div></blockquote></div><br></div>

</div></div></blockquote></div><br></div>