Thank you for the explanation, makes more sense now. :)

Peter

On Thu, Mar 19, 2015 at 7:46 AM, Marcus Denker <marcus.denker@inria.fr> wrote:

> On 19 Mar 2015, at 00:01, Peter Uhn��k <i.uhnak@gmail.com> wrote:
>
> Hi,
>
> is there a deprecation warning option in the code critic?
>

only for calls to globals. As code critic analysis statically and does
not even try to do call graph interference (which is hard).

What people sometimes do is to provide specific rules when the deprecrate.

�� �� �� �� Marcus