![]() ![]() I often use C++ local variable declaration, or even local static variableĭeclaration to do many things. The pseudo macros become something like :ĭefine DBC_POST_BEGIN if(not in epilog) _asm je _dbc_bodyĭefine DBC_POST_END continue epilog (means jump afterĬaller instruction in epilog. We also need to know where the start of the body of the function is. It is enclosed by 2 macros: DBC_POST_BEGIN and So the first step is to tag the poscondition block. ![]() The algorithm to execute the function becomes: Problem: do not call POSTCONDITION block before the end of the function.Īs it is written just before the body of the function, we have to skip it. Postcondition block, and finish the epilog.īefore continuing to explain the trick, you should see that there is another The process is very simple: Meanwhile the epilog of the function (so when theįunction ends/returns/leaves), we go to the start of the postcondition, execute because you haveīut I use a little trick to call the post conditions after returning the The preconditions at the begin of a function is very easy. Note: I assume you know what are functions prolog andĮpilog, how the compilers use the stack in the calling ![]() Which is a valid command for Doxygen parser. The Doxygen documentation works using the Doxygen preprocessor : The trick I have used to make the tool working, I added this section to the This documentation file can be generated from the source zip file if you haveīecause 100% of the feedback I receive (.2) asks me for explanation about The demo zip file is exactly the same as the source zip file, plus a
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |