The "typer" tool will show the inferred types of all the functions in a module.  Try adding the variable in question to the return value of the function and then see what typer says.<div><br></div><div>Cheers,</div>
<div>Dan.<br><div><br></div><div><br><br><div class="gmail_quote">On Wed, Jul 20, 2011 at 10:07 AM, Salvador Tamarit <span dir="ltr"><<a href="mailto:stamarit@dsic.upv.es">stamarit@dsic.upv.es</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi,<br>
<br>
Do you know any static analysis (a module, a tool or at least a paper)<br>
able to determine the (possible) values that a given variable can take<br>
during execution?<br>
<br>
Thanks.<br>
Salva<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div><br></div></div>