Added initial support for RequestHandlers

1 files changed, 71 insertions, 0 deletions

diff --git a/src/com/vaadin/terminal/gwt/server/WrappedHttpServletRequest.java b/src/com/vaadin/terminal/gwt/server/WrappedHttpServletRequest.java
new file mode 100644
index 0000000000..96f031a530
--- /dev/null
+++ b/src/com/vaadin/terminal/gwt/server/WrappedHttpServletRequest.java
@@ -0,0 +1,71 @@
+package com.vaadin.terminal.gwt.server;
+
+import java.util.Enumeration;
+import java.util.Iterator;
+import java.util.Map;
+
+import javax.servlet.http.Cookie;
+import javax.servlet.http.HttpServletRequest;
+
+import com.vaadin.terminal.WrappedRequest;
+
+public class WrappedHttpServletRequest implements WrappedRequest {
+
+    private final HttpServletRequest request;
+
+    public WrappedHttpServletRequest(HttpServletRequest request) {
+        this.request = request;
+    }
+
+    public HttpServletRequest getHttpServletRequest() {
+        return request;
+    }
+
+    public String getParameter(String parameter) {
+        return request.getParameter(parameter);
+    }
+
+    public Iterable<String> getParameterNames() {
+        return new Iterable<String>() {
+            public Iterator<String> iterator() {
+                final Enumeration<String> parameterNames = request
+                        .getParameterNames();
+                return new Iterator<String>() {
+
+                    public boolean hasNext() {
+                        return parameterNames.hasMoreElements();
+                    }
+
+                    public String next() {
+                        return parameterNames.nextElement();
+                    }
+
+                    public void remove() {
+                        throw new UnsupportedOperationException();
+                    }
+                };
+            }
+        };
+    }
+
+    public String[] getParameterValues(String parameter) {
+        return request.getParameterValues(parameter);
+    }
+
+    public Map<String, String[]> getParameterMap() {
+        return request.getParameterMap();
+    }
+
+    public String getRelativePath() {
+        return request.getPathInfo();
+    }
+
+    public String getFullPath() {
+        return request.getRequestURI();
+    }
+
+    public Cookie[] getCookies() {
+        return request.getCookies();
+    }
+
+}