1 files changed, 0 insertions, 107 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/HttpServiceContext.java b/language-web/src/main/java/tools/refinery/language/web/xtext/HttpServiceContext.java
deleted file mode 100644
index d0ba6a2d..00000000
--- a/language-web/src/main/java/tools/refinery/language/web/xtext/HttpServiceContext.java
+++ /dev/null
@@ -1,107 +0,0 @@
-/**
- * Copyright (c) 2015, 2020 itemis AG (http://www.itemis.eu) and others.
- * This program and the accompanying materials are made available under the
- * terms of the Eclipse Public License 2.0 which is available at
- * http://www.eclipse.org/legal/epl-2.0.
- * 
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.language.web.xtext;
-
-import java.io.IOException;
-import java.net.URLDecoder;
-import java.nio.charset.Charset;
-import java.util.Collections;
-import java.util.Enumeration;
-import java.util.HashMap;
-import java.util.Map;
-import java.util.Set;
-
-import org.eclipse.xtext.web.server.IServiceContext;
-import org.eclipse.xtext.web.server.ISession;
-
-import com.google.common.io.CharStreams;
-
-import jakarta.servlet.http.HttpServletRequest;
-
-/**
- * Provides the parameters and metadata of an {@link HttpServletRequest}.
- */
-class HttpServiceContext implements IServiceContext {
-        private final HttpServletRequest request;
-
-        private final Map<String, String> parameters = new HashMap<>();
-
-        private HttpSessionWrapper sessionWrapper;
-
-        public HttpServiceContext(HttpServletRequest request) throws IOException {
-                this.request = request;
-                initializeParameters();
-        }
-
-        private void initializeParameters() throws IOException {
-                initializeUrlEncodedParameters();
-                initializeRequestParameters();
-                if (!parameters.containsKey(IServiceContext.SERVICE_TYPE)) {
-                        String substring = null;
-                        if (request.getPathInfo() != null) {
-                                substring = request.getPathInfo().substring(1);
-                        }
-                        parameters.put(IServiceContext.SERVICE_TYPE, substring);
-                }
-        }
-
-        private void initializeUrlEncodedParameters() throws IOException {
-                String[] contentType = null;
-                if (request.getContentType() != null) {
-                        contentType = request.getContentType().split(";(\\s*)");
-                }
-                if (contentType != null && "application/x-www-form-urlencoded".equals(contentType[0])) {
-                        String charset = null;
-                        if (contentType.length >= 2 && contentType[1].startsWith("charset=")) {
-                                charset = (contentType[1]).substring("charset=".length());
-                        } else {
-                                charset = Charset.defaultCharset().toString();
-                        }
-                        String[] encodedParams = CharStreams.toString(request.getReader()).split("&");
-                        for (String param : encodedParams) {
-                                int nameEnd = param.indexOf("=");
-                                if (nameEnd > 0) {
-                                        String key = param.substring(0, nameEnd);
-                                        String value = URLDecoder.decode(param.substring(nameEnd + 1), charset);
-                                        parameters.put(key, value);
-                                }
-                        }
-                }
-        }
-
-        private void initializeRequestParameters() {
-                Enumeration<String> paramNames = request.getParameterNames();
-                while (paramNames.hasMoreElements()) {
-                        String name = paramNames.nextElement();
-                        parameters.put(name, request.getParameter(name));
-                }
-        }
-
-        @Override
-        public Set<String> getParameterKeys() {
-                return Collections.unmodifiableSet(parameters.keySet());
-        }
-
-        @Override
-        public String getParameter(String key) {
-                return parameters.get(key);
-        }
-
-        @Override
-        public ISession getSession() {
-                if (sessionWrapper == null) {
-                        sessionWrapper = new HttpSessionWrapper(request.getSession(true));
-                }
-                return sessionWrapper;
-        }
-
-        public HttpServletRequest getRequest() {
-                return request;
-        }
-}