<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Hello, </div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default"><font face="arial, helvetica, sans-serif">I have a question about how constants propagate from class fields to class methods. </font><span style="font-family:arial,helvetica,sans-serif">I have a simple testing code: </span></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style><div class="gmail_default" style><font face="monospace, monospace">public class MyActivity extends ActionBarActivity {</font></div><div class="gmail_default" style><font face="monospace, monospace">    private int <font color="#ff0000">DEFAULT_TIMEOUT </font>= 30000;</font></div><div class="gmail_default" style><span style="font-family:monospace,monospace">    </span></div><div class="gmail_default" style><span style="font-family:monospace,monospace">    @Override</span><br></div><div class="gmail_default" style><font face="monospace, monospace"><span style="white-space:pre">    </span>protected void onCreate(Bundle savedInstanceState) {</font></div><div class="gmail_default" style><font face="monospace, monospace"><span class="" style="white-space:pre">        </span>super.onCreate(savedInstanceState);</font></div><div class="gmail_default" style><font face="monospace, monospace"><span class="" style="white-space:pre">        </span>new FetchItemsTask().execute();</font></div><div class="gmail_default" style><font face="monospace, monospace"><span style="white-space:pre">    </span>}</font></div><div class="gmail_default" style><span class="" style="white-space:pre"><font face="monospace, monospace">        </font></span></div><div class="gmail_default" style><font face="monospace, monospace"><span style="white-space:pre">    </span>private class FetchItemsTask extends AsyncTask&lt;Void,Void,String&gt;{</font></div><div class="gmail_default" style><font face="monospace, monospace"><span class="" style="white-space:pre">        </span>@Override</font></div><div class="gmail_default" style><font face="monospace, monospace"><span class="" style="white-space:pre">        </span>protected String doInBackground(Void... arg0) {</font></div><div class="gmail_default" style><font face="monospace, monospace">            int<font color="#ff0000"> timeoutConnection </font>= DEFAULT_TIMEOUT;</font></div><div class="gmail_default" style><font face="monospace, monospace"><span style="white-space:pre">            </span>HttpParams httpParameters = new BasicHttpParams();</font></div><div class="gmail_default" style><font face="monospace, monospace"><span style="white-space:pre">            </span>HttpConnectionParams.setConnectionTimeout(httpParameters, <font color="#ff0000">timeoutConnection</font>);</font></div><div class="gmail_default" style><font face="monospace, monospace">        }</font></div><div class="gmail_default" style><font face="monospace, monospace">}</font></div></div><div class="gmail_default" style><div class="gmail_default" style><br></div></div><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">​Basically I want to get the value of timeoutConnection called by setConnectionTimeout. I used both <span style="font-family:arial,sans-serif">ConstantPropagatorAndFolder()</span><span style="font-family:arial,sans-serif"> defined in soot and </span><span style="font-family:arial,sans-serif">InterproceduralConstantValuePropagator() defined in Soot-infoflow, and expect DEFAULT_TIMEOUT should propagate to the parameter of setConnnectionTimeout. However, I cannot get the integer constant from setConnectionTimeout. </span></div></div><div><br></div><div><div class="gmail_default">I guess if neither <span style="font-family:arial,helvetica,sans-serif"> </span>ConstantPropagatorAndFolder() nor InterproceduralConstantValuePropagator() propagate the class fields to class methods ?  Then what is the correct way to do this ?</div><div class="gmail_default">Please help me out !</div></div><div class="gmail_default"><br></div><div class="gmail_default">Thank you for your help in advance !</div><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><font face="arial, helvetica, sans-serif">Xinxin</font></div>
</div>