From 2b4144ceaaeeab894181d0fdaf8b6eb33ad4de2e Mon Sep 17 00:00:00 2001
From: megacz <megacz@xwt.org>
Date: Fri, 30 Jan 2004 06:49:48 +0000
Subject: [PATCH] 2002/08/07 04:44:53

darcs-hash:20040130064948-2ba56-1e8aab076dd0a686dab904bc88eda80e22f428dc.gz
---
 src/org/xwt/Proxy.java |  342 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 342 insertions(+)
 create mode 100644 src/org/xwt/Proxy.java

diff --git a/src/org/xwt/Proxy.java b/src/org/xwt/Proxy.java
new file mode 100644
index 0000000..15e6ef0
--- /dev/null
+++ b/src/org/xwt/Proxy.java
@@ -0,0 +1,342 @@
+// Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL]
+package org.xwt;
+
+import java.net.*;
+import java.io.*;
+import java.util.*;
+import org.xwt.util.*;
+import org.mozilla.javascript.*;
+import org.bouncycastle.util.encoders.Base64;
+
+/** encapsulates most of the proxy logic; some is shared in HTTP.java */
+public class Proxy {
+    
+    public Proxy() { }
+    
+    /** the HTTP Proxy host to use */
+    public String httpProxyHost = null;
+    
+    /** the HTTP Proxy port to use */
+    public int httpProxyPort = -1;
+    
+    /** if a seperate proxy should be used for HTTPS, this is the hostname; otherwise, httpProxyHost is used */
+    public String httpsProxyHost = null;
+    
+    /** if a seperate proxy should be used for HTTPS, this is the port */
+    public int httpsProxyPort = -1;
+    
+    /** the SOCKS Proxy Host to use */
+    public String socksProxyHost = null;
+    
+    /** the SOCKS Proxy Port to use */
+    public int socksProxyPort = -1;
+    
+    /** hosts to be excluded from proxy use; wildcards permitted */
+    public String[] excluded = null;
+    
+    /** the PAC script */
+    public Function proxyAutoConfigFunction = null;
+    
+    public static Proxy detectProxyViaManual() {
+        Proxy ret = new Proxy();
+        
+        ret.httpProxyHost = Platform.getEnv("http_proxy");
+        if (ret.httpProxyHost != null) {
+            if (ret.httpProxyHost.startsWith("http://")) ret.httpProxyHost = ret.httpProxyHost.substring(7);
+            if (ret.httpProxyHost.endsWith("/")) ret.httpProxyHost = ret.httpProxyHost.substring(0, ret.httpProxyHost.length() - 1);
+            if (ret.httpProxyHost.indexOf(':') != -1) {
+                ret.httpProxyPort = Integer.parseInt(ret.httpProxyHost.substring(ret.httpProxyHost.indexOf(':') + 1));
+                ret.httpProxyHost = ret.httpProxyHost.substring(0, ret.httpProxyHost.indexOf(':'));
+            } else {
+                ret.httpProxyPort = 80;
+            }
+        }
+        
+        ret.httpsProxyHost = Platform.getEnv("https_proxy");
+        if (ret.httpsProxyHost != null) {
+            if (ret.httpsProxyHost.startsWith("https://")) ret.httpsProxyHost = ret.httpsProxyHost.substring(7);
+            if (ret.httpsProxyHost.endsWith("/")) ret.httpsProxyHost = ret.httpsProxyHost.substring(0, ret.httpsProxyHost.length() - 1);
+            if (ret.httpsProxyHost.indexOf(':') != -1) {
+                ret.httpsProxyPort = Integer.parseInt(ret.httpsProxyHost.substring(ret.httpsProxyHost.indexOf(':') + 1));
+                ret.httpsProxyHost = ret.httpsProxyHost.substring(0, ret.httpsProxyHost.indexOf(':'));
+            } else {
+                ret.httpsProxyPort = 80;
+            }
+        }
+        
+        ret.socksProxyHost = Platform.getEnv("socks_proxy");
+        if (ret.socksProxyHost != null) {
+            if (ret.socksProxyHost.startsWith("socks://")) ret.socksProxyHost = ret.socksProxyHost.substring(7);
+            if (ret.socksProxyHost.endsWith("/")) ret.socksProxyHost = ret.socksProxyHost.substring(0, ret.socksProxyHost.length() - 1);
+            if (ret.socksProxyHost.indexOf(':') != -1) {
+                ret.socksProxyPort = Integer.parseInt(ret.socksProxyHost.substring(ret.socksProxyHost.indexOf(':') + 1));
+                ret.socksProxyHost = ret.socksProxyHost.substring(0, ret.socksProxyHost.indexOf(':'));
+            } else {
+                ret.socksProxyPort = 80;
+            }
+        }
+        
+        String noproxy = Platform.getEnv("no_proxy");
+        if (noproxy != null) {
+            StringTokenizer st = new StringTokenizer(noproxy, ",");
+            ret.excluded = new String[st.countTokens()];
+            for(int i=0; st.hasMoreTokens(); i++) ret.excluded[i] = st.nextToken();
+        }
+        
+        if (ret.httpProxyHost == null && ret.socksProxyHost == null) return null;
+        return ret;
+    }
+    
+    public static Scriptable proxyAutoConfigRootScope = new ProxyAutoConfigRootScope();
+    
+    public static Function getProxyAutoConfigFunction(String url) {
+        try { 
+            Context cx = Context.enter();
+            cx.setOptimizationLevel(-1);
+            BufferedReader br = new BufferedReader(new InputStreamReader(new HTTP(url, true).GET()));
+            String s = null;
+            String script = "";
+            while((s = br.readLine()) != null) script += s + "\n";
+            if (Log.on) Log.log(Proxy.class, "successfully retrieved WPAD PAC:");
+            if (Log.on) Log.log(Proxy.class, script);
+            
+            // MS CARP hack
+            Vector carpHosts = new Vector();
+            for(int i=0; i<script.length(); i++)
+                if (script.regionMatches(i, "new Node(", 0, 9)) {
+                    String host = script.substring(i + 10, script.indexOf('\"', i + 11));
+                    if (Log.on) Log.log(Proxy.class, "Detected MS Proxy Server CARP Script, Host=" + host);
+                    carpHosts.addElement(host);
+                }
+            if (carpHosts.size() > 0) {
+                script = "function FindProxyForURL(url, host) {\nreturn \"";
+                for(int i=0; i<carpHosts.size(); i++)
+                    script += "PROXY " + carpHosts.elementAt(i) + "; ";
+                script += "\";\n}";
+                if (Log.on) Log.log(Proxy.class, "DeCARPed PAC script:");
+                if (Log.on) Log.log(Proxy.class, script);
+            }
+            
+            Script scr = cx.compileReader(proxyAutoConfigRootScope, new StringReader(script), "PAC script at " + url, 0, null);
+            scr.exec(cx, proxyAutoConfigRootScope);
+            return (Function)proxyAutoConfigRootScope.get("FindProxyForURL", null);
+        } catch (Exception e) {
+            if (Log.on) {
+                Log.log(Platform.class, "WPAD detection failed due to:");
+                if (e instanceof EcmaError) Log.log(HTTP.class, ((EcmaError)e).getMessage() + " at " +
+                                                    ((EcmaError)e).getSourceName() + ":" + ((EcmaError)e).getLineNumber());
+                else Log.log(Platform.class, e);
+            }
+            return null;
+        }
+    }
+
+
+    // Authorization ///////////////////////////////////////////////////////////////////////////////////
+
+    public static class Authorization {
+
+        static public String authorization = null;
+        static public String authorization2 = null;
+        static public Semaphore waitingForUser = new Semaphore();
+
+        public static synchronized void getPassword(final String realm, final String style, final String proxyIP, String oldAuth) {
+
+            // this handles cases where multiple threads hit the proxy auth at the same time -- all but one will block on the
+            // synchronized keyword. If 'authorization' changed while the thread was blocked, it means that the user entered
+            // a password, so we should reattempt authorization.
+
+            if (authorization != oldAuth) return;
+            if (Log.on) Log.log(Authorization.class, "displaying proxy authorization dialog");
+            MessageQueue.add(new Message() {
+                    public void perform() {
+                        Box b = new Box("org.xwt.builtin.proxy_authorization", null);
+                        b.put("realm", realm);
+                        b.put("proxyIP", proxyIP);
+                    }
+                });
+
+            waitingForUser.block();
+            if (Log.on) Log.log(Authorization.class, "got proxy authorization info; re-attempting connection");
+            
+        }
+    }
+
+
+    // ProxyAutoConfigRootScope ////////////////////////////////////////////////////////////////////
+    
+    public static class ProxyAutoConfigRootScope extends ScriptableObject {
+        
+        public String getClassName() { return "ProxyAutoConfigRootScope"; }
+        ProxyAutoConfigRootScope() { Context.enter().initStandardObjects(this); }
+        
+        public Object get(String name, Scriptable start) {
+            if (name.equals("isPlainHostName")) return isPlainHostName;
+            else if (name.equals("dnsDomainIs")) return dnsDomainIs;
+            else if (name.equals("localHostOrDomainIs")) return localHostOrDomainIs;
+            else if (name.equals("isResolvable")) return isResolvable;
+            else if (name.equals("isInNet")) return isInNet;
+            else if (name.equals("dnsResolve")) return dnsResolve;
+            else if (name.equals("myIpAddress")) return myIpAddress;
+            else if (name.equals("dnsDomainLevels")) return dnsDomainLevels;
+            else if (name.equals("shExpMatch")) return shExpMatch;
+            else if (name.equals("weekdayRange")) return weekdayRange;
+            else if (name.equals("dateRange")) return dateRange;
+            else if (name.equals("timeRange")) return timeRange;
+            else if (name.equals("ProxyConfig")) return ProxyConfig;
+            else return super.get(name, start);
+        }
+        
+        private static final JSObject proxyConfigBindings = new JSObject();
+        private static final JSObject ProxyConfig = new JSObject() {
+                public Object get(String name, Scriptable start) {
+                    if (name.equals("bindings")) return proxyConfigBindings;
+                    return null;
+                }
+            };
+        
+        private static abstract class JSFunction extends JSObject implements Function {
+            JSFunction() { setSeal(true); }
+            public Scriptable construct(Context cx, Scriptable scope, java.lang.Object[] args) { return null; }
+        }
+        
+        private static final JSFunction isPlainHostName = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    return (args[0].toString().indexOf('.') == -1) ? Boolean.TRUE : Boolean.FALSE;
+                }
+            };
+        
+        private static final JSFunction dnsDomainIs = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    return (args[0].toString().endsWith(args[1].toString())) ? Boolean.TRUE : Boolean.FALSE;
+                }
+            };
+        
+        private static final JSFunction localHostOrDomainIs = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    return (args[0].toString().equals(args[1].toString()) || 
+                            (args[0].toString().indexOf('.') == -1 && args[1].toString().startsWith(args[0].toString()))) ?
+                        Boolean.TRUE : Boolean.FALSE;
+                }
+            };
+        
+        private static final JSFunction isResolvable = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    try {
+                        return (InetAddress.getByName(args[0].toString()) != null) ? Boolean.TRUE : Boolean.FALSE;
+                    } catch (UnknownHostException e) {
+                        return Boolean.FALSE;
+                    }
+                }
+            };
+        
+        private static final JSFunction isInNet = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    if (args.length != 3) return Boolean.FALSE;
+                    try {
+                        byte[] host = InetAddress.getByName(args[0].toString()).getAddress();
+                        byte[] net = InetAddress.getByName(args[1].toString()).getAddress();
+                        byte[] mask = InetAddress.getByName(args[2].toString()).getAddress();
+                        return ((host[0] & mask[0]) == net[0] &&
+                                (host[1] & mask[1]) == net[1] &&
+                                (host[2] & mask[2]) == net[2] &&
+                                (host[3] & mask[3]) == net[3]) ?
+                            Boolean.TRUE : Boolean.FALSE;
+                    } catch (Exception e) {
+                        throw new JavaScriptException("exception in isInNet(): " + e);
+                    }
+                }
+            };
+        
+        private static final JSFunction dnsResolve = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    try {
+                        return InetAddress.getByName(args[0].toString()).getHostAddress();
+                    } catch (UnknownHostException e) {
+                        return null;
+                    }
+                }
+            };
+        
+        private static final JSFunction myIpAddress = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    try {
+                        return InetAddress.getLocalHost().getHostAddress();
+                    } catch (UnknownHostException e) {
+                        if (Log.on) Log.log(this, "strange... host does not know its own address");
+                        return null;
+                    }
+                }
+            };
+        
+        private static final JSFunction dnsDomainLevels = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    String s = args[0].toString();
+                    int i = 0;
+                    while((i = s.indexOf('.', i)) != -1) i++;
+                    return new Integer(i);
+                }
+            };
+        
+        private static boolean match(String[] arr, String s, int index) {
+            if (index == arr.length) return true;
+            for(int i=0; i<s.length(); i++) {
+                String s2 = s.substring(i);
+                if (s2.startsWith(arr[index]) && match(arr, s.substring(arr[index].length()), index + 1)) return true;
+            }
+            return false;
+        }
+        
+        private static final JSFunction shExpMatch = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    StringTokenizer st = new StringTokenizer(args[1].toString(), "*", false);
+                    String[] arr = new String[st.countTokens()];
+                    String s = args[0].toString();
+                    for (int i=0; st.hasMoreTokens(); i++) arr[i] = st.nextToken();
+                    return match(arr, s, 0) ? Boolean.TRUE : Boolean.FALSE;
+                }
+            };
+        
+        public static String[] days = { "SUN", "MON", "TUE", "WED", "THU", "FRI", "SAT" };
+        
+        private static final JSFunction weekdayRange = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    TimeZone tz = (args.length < 3 || args[2] == null || !args[2].equals("GMT")) ? TimeZone.getTimeZone("UTC") : TimeZone.getDefault();
+                    Calendar c = new GregorianCalendar();
+                    c.setTimeZone(tz);
+                    c.setTime(new Date());
+                    Date d = c.getTime();
+                    int day = d.getDay();
+                    
+                    String d1s = args[0].toString().toUpperCase();
+                    int d1 = 0, d2 = 0;
+                    for(int i=0; i<days.length; i++) if (days[i].equals(d1s)) d1 = i;
+                    
+                    if (args.length == 1)
+                        return d1 == day ? Boolean.TRUE : Boolean.FALSE;
+                    
+                    String d2s = args[1].toString().toUpperCase();
+                    for(int i=0; i<days.length; i++) if (days[i].equals(d2s)) d2 = i;
+                    
+                    return
+                        ((d1 <= d2 && day >= d1 && day <= d2) ||
+                         (d1 > d2 && (day >= d1 || day <= d2))) ?
+                        Boolean.TRUE : Boolean.FALSE;
+                }
+            };
+        
+        private static final JSFunction dateRange = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    throw new JavaScriptException("XWT does not support dateRange() in PAC scripts");
+                }
+            };
+        
+        private static final JSFunction timeRange = new JSFunction() {
+                public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException {
+                    throw new JavaScriptException("XWT does not support timeRange() in PAC scripts");
+                }
+            };
+        
+    }
+    
+}
-- 
1.7.10.4