Searched refs:psel (Results 1 – 2 of 2) sorted by relevance
195 ProxySelector psel = this.proxySelector; in determineProxy() local196 if (psel == null) in determineProxy()197 psel = ProxySelector.getDefault(); in determineProxy()198 if (psel == null) in determineProxy()208 List<Proxy> proxies = psel.select(targetURI); in determineProxy()
149 bool psel = n.src[4] == sh.get_pred_sel(0); in eliminate() local168 if (psel) { in eliminate()