RubyForge: Design by Contract for C: help

Discussion Forums: help

RE: Internals of dbc [ reply ]
2004-11-03 15:06

I joined the mailing list.

Also, thanks for the offer of giving me write access. But I don't need it yet. If ever I become a ruby master, I'll ask you again ;-)

Marc.

By: Charles Mills

RE: Internals of dbc [ reply ]
2004-11-02 16:21

Just put the solution in CVS. Basically what you did was half of the solution. If you take a look around at line 80 in preprocessor.y that is where the warning directive would have to be added. Much like the pragma and error directives.
Also around line 230 you'll need to put 'warning' in there because it is a valid text token... ie this is legal:
# warning warning something did work as expected

I guess that is bad that 3 changes are required :(

So here are the files that make up the preprocessor
preprocessor.y: the guts of the preprocessor.
define.y: parse macro definitions -> handles '#' and '##' tokens
parameters.y: parse macro function parameters -> has to be kinda complicated to handle stuff like:
NORETURN(void rb_raise(char *msg, ...));
The C standard says that matching () and {} inside a macro parameter are OK.

I set up a mailing list, you should join (see lists tab). Also if you want write access to CVS I can add you to the developers list.

-Charlie

By: Marc Verwerft

Internals of dbc [ reply ]
2004-11-02 15:33

I was wondering if you could explain a little bit on how your program works. I'm a complete newbie when it comes to ruby (Although I did start to read the manuals) and parsing altogether, so I'm having quite some difficulties understanding the workings of dbc.

I tried to find a solution for the '#warning' but to no avail. I added it as a reserved word to your CPLexer without success. Just to prove that I really don't get it ;-)

Thanks