22 Sep
2005
22 Sep
'05
4:21 p.m.
>> "Alexandre" == Alexandre BORGHI
<alexandre.borghi(a)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.