22 Sep
2005
22 Sep
'05
2:21 p.m.
"Alexandre" == Alexandre BORGHI <alexandre.borghi@lrde.epita.fr> writes:
InitDeclarator is not only used for debugging. The term projection is important for the rest of the code to work. It enables us to know that a function declaration is found (where the pre- and postconditions are).
OK.
We want to write something like: where
I didn't understand, or something is missing here...
Dead sentence, forget about it. Still the current code is much more hairy than (IMHO) it needs to be. Or something is rotten elsewhere in the project.