From 497d7818b6c85d31f7b37a0f382fcfecf10dd182 Mon Sep 17 00:00:00 2001 From: Sebastian Thomschke Date: Mon, 30 Sep 2024 07:36:23 +0200 Subject: [PATCH] feat: add jakarta mail/servlet api libraries (#220) Signed-off-by: sebthom --- .../eea-generator.properties | 1 + .../jakarta/mail/Message$RecipientType.eea | 10 ++ libraries/jakarta-mail-api-2/pom.xml | 28 ++++++ .../eea-generator.properties | 1 + .../jakarta/servlet/Servlet.eea | 13 +++ .../jakarta/servlet/ServletRequest.eea | 25 +++++ .../jakarta/servlet/ServletResponse.eea | 25 +++++ .../jakarta/servlet/http/HttpServlet.eea | 34 +++++++ .../servlet/http/HttpServletRequest.eea | 94 +++++++++++++++++++ .../servlet/http/HttpServletResponse.eea | 43 +++++++++ libraries/jakarta-servlet-api-6/pom.xml | 28 ++++++ libraries/pom.xml | 2 + 12 files changed, 304 insertions(+) create mode 100644 libraries/jakarta-mail-api-2/eea-generator.properties create mode 100644 libraries/jakarta-mail-api-2/jakarta/mail/Message$RecipientType.eea create mode 100644 libraries/jakarta-mail-api-2/pom.xml create mode 100644 libraries/jakarta-servlet-api-6/eea-generator.properties create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/Servlet.eea create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/ServletRequest.eea create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/ServletResponse.eea create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServlet.eea create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletRequest.eea create mode 100644 libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletResponse.eea create mode 100644 libraries/jakarta-servlet-api-6/pom.xml diff --git a/libraries/jakarta-mail-api-2/eea-generator.properties b/libraries/jakarta-mail-api-2/eea-generator.properties new file mode 100644 index 000000000..c91d5acc3 --- /dev/null +++ b/libraries/jakarta-mail-api-2/eea-generator.properties @@ -0,0 +1 @@ +packages.include=jakarta.mail \ No newline at end of file diff --git a/libraries/jakarta-mail-api-2/jakarta/mail/Message$RecipientType.eea b/libraries/jakarta-mail-api-2/jakarta/mail/Message$RecipientType.eea new file mode 100644 index 000000000..84e8696bb --- /dev/null +++ b/libraries/jakarta-mail-api-2/jakarta/mail/Message$RecipientType.eea @@ -0,0 +1,10 @@ +class jakarta/mail/Message$RecipientType +TO + Ljakarta/mail/Message$RecipientType; + L1jakarta/mail/Message$RecipientType; +CC + Ljakarta/mail/Message$RecipientType; + L1jakarta/mail/Message$RecipientType; +BCC + Ljakarta/mail/Message$RecipientType; + L1jakarta/mail/Message$RecipientType; diff --git a/libraries/jakarta-mail-api-2/pom.xml b/libraries/jakarta-mail-api-2/pom.xml new file mode 100644 index 000000000..b93f6b87b --- /dev/null +++ b/libraries/jakarta-mail-api-2/pom.xml @@ -0,0 +1,28 @@ + + + 4.0.0 + + + org.lastnpe.eea + eea-parent + 3.0.0-SNAPSHOT + + + jakarta-mail-2-eea + EEA :: Jakarta Mail API 2.x + + + + + + jakarta.mail + jakarta.mail-api + 2.1.3 + provided + + + diff --git a/libraries/jakarta-servlet-api-6/eea-generator.properties b/libraries/jakarta-servlet-api-6/eea-generator.properties new file mode 100644 index 000000000..cbdc1f291 --- /dev/null +++ b/libraries/jakarta-servlet-api-6/eea-generator.properties @@ -0,0 +1 @@ +packages.include=jakarta.servlet \ No newline at end of file diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/Servlet.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/Servlet.eea new file mode 100644 index 000000000..cca53776c --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/Servlet.eea @@ -0,0 +1,13 @@ +class jakarta/servlet/Servlet +getServletConfig + ()Ljakarta/servlet/ServletConfig; + ()L0jakarta/servlet/ServletConfig; +getServletInfo + ()Ljava/lang/String; + ()L0java/lang/String; +init + (Ljakarta/servlet/ServletConfig;)V + (L0jakarta/servlet/ServletConfig;)V +service + (Ljakarta/servlet/ServletRequest;Ljakarta/servlet/ServletResponse;)V + (L1jakarta/servlet/ServletRequest;L1jakarta/servlet/ServletResponse;)V diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletRequest.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletRequest.eea new file mode 100644 index 000000000..5b1847342 --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletRequest.eea @@ -0,0 +1,25 @@ +class jakarta/servlet/ServletRequest +getCharacterEncoding + ()Ljava/lang/String; + ()L0java/lang/String; +getContentType + ()Ljava/lang/String; + ()L0java/lang/String; +getInputStream + ()Ljakarta/servlet/ServletInputStream; + ()L1jakarta/servlet/ServletInputStream; +getParameter + (Ljava/lang/String;)Ljava/lang/String; + (L1java/lang/String;)L0java/lang/String; +getParameterMap + ()Ljava/util/Map; + ()L1java/util/Map; +getParameterNames + ()Ljava/util/Enumeration; + ()L1java/util/Enumeration; +getParameterValues + (Ljava/lang/String;)[Ljava/lang/String; + (L1java/lang/String;)[0L1java/lang/String; +setCharacterEncoding + (Ljava/lang/String;)V + (L0java/lang/String;)V diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletResponse.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletResponse.eea new file mode 100644 index 000000000..00bc5ff8b --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/ServletResponse.eea @@ -0,0 +1,25 @@ +class jakarta/servlet/ServletResponse +getCharacterEncoding + ()Ljava/lang/String; + ()L0java/lang/String; +getContentType + ()Ljava/lang/String; + ()L0java/lang/String; +getLocale + ()Ljava/util/Locale; + ()L1java/util/Locale; +getOutputStream + ()Ljakarta/servlet/ServletOutputStream; + ()L1jakarta/servlet/ServletOutputStream; +getWriter + ()Ljava/io/PrintWriter; + ()L1java/io/PrintWriter; +setCharacterEncoding + (Ljava/lang/String;)V + (L0java/lang/String;)V +setContentType + (Ljava/lang/String;)V + (L0java/lang/String;)V +setLocale + (Ljava/util/Locale;)V + (L0java/util/Locale;)V diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServlet.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServlet.eea new file mode 100644 index 000000000..8994f5de9 --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServlet.eea @@ -0,0 +1,34 @@ +class jakarta/servlet/http/HttpServlet +doDelete + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doGet + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doHead + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doOptions + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doPost + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doPut + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +doTrace + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V +getLastModified + (Ljakarta/servlet/http/HttpServletRequest;)J + (L1jakarta/servlet/http/HttpServletRequest;)J +init + (Ljakarta/servlet/ServletConfig;)V + (L0jakarta/servlet/ServletConfig;)V +service + (Ljakarta/servlet/ServletRequest;Ljakarta/servlet/ServletResponse;)V + (L1jakarta/servlet/ServletRequest;L1jakarta/servlet/ServletResponse;)V +service + (Ljakarta/servlet/http/HttpServletRequest;Ljakarta/servlet/http/HttpServletResponse;)V + (L1jakarta/servlet/http/HttpServletRequest;L1jakarta/servlet/http/HttpServletResponse;)V diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletRequest.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletRequest.eea new file mode 100644 index 000000000..834f04a85 --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletRequest.eea @@ -0,0 +1,94 @@ +class jakarta/servlet/http/HttpServletRequest +BASIC_AUTH + Ljava/lang/String; + L1java/lang/String; +CLIENT_CERT_AUTH + Ljava/lang/String; + L1java/lang/String; +DIGEST_AUTH + Ljava/lang/String; + L1java/lang/String; +FORM_AUTH + Ljava/lang/String; + L1java/lang/String; +authenticate + (Ljakarta/servlet/http/HttpServletResponse;)Z + (L1jakarta/servlet/http/HttpServletResponse;)Z +changeSessionId + ()Ljava/lang/String; + ()L1java/lang/String; +getAuthType + ()Ljava/lang/String; + ()L0java/lang/String; +getContextPath + ()Ljava/lang/String; + ()L0java/lang/String; +getCookies + ()[Ljakarta/servlet/http/Cookie; + ()[0L1jakarta/servlet/http/Cookie; +getDateHeader + (Ljava/lang/String;)J + (L1java/lang/String;)J +getHeader + (Ljava/lang/String;)Ljava/lang/String; + (L1java/lang/String;)L0java/lang/String; +getHeaderNames + ()Ljava/util/Enumeration; + ()L0java/util/Enumeration; +getHeaders + (Ljava/lang/String;)Ljava/util/Enumeration; + (L1java/lang/String;)L0java/util/Enumeration; +getIntHeader + (Ljava/lang/String;)I + (L1java/lang/String;)I +getMethod + ()Ljava/lang/String; + ()L0java/lang/String; +getPart + (Ljava/lang/String;)Ljakarta/servlet/http/Part; + (L1java/lang/String;)L0jakarta/servlet/http/Part; +getParts + ()Ljava/util/Collection; + ()L1java/util/Collection; +getPathInfo + ()Ljava/lang/String; + ()L0java/lang/String; +getPathTranslated + ()Ljava/lang/String; + ()L0java/lang/String; +getQueryString + ()Ljava/lang/String; + ()L0java/lang/String; +getRemoteUser + ()Ljava/lang/String; + ()L0java/lang/String; +getRequestURI + ()Ljava/lang/String; + ()L0java/lang/String; +getRequestURL + ()Ljava/lang/StringBuffer; + ()L0java/lang/StringBuffer; +getRequestedSessionId + ()Ljava/lang/String; + ()L0java/lang/String; +getServletPath + ()Ljava/lang/String; + ()L1java/lang/String; +getSession + ()Ljakarta/servlet/http/HttpSession; + ()L1jakarta/servlet/http/HttpSession; +getSession + (Z)Ljakarta/servlet/http/HttpSession; + (Z)L0jakarta/servlet/http/HttpSession; +getUserPrincipal + ()Ljava/security/Principal; + ()L0java/security/Principal; +isUserInRole + (Ljava/lang/String;)Z + (L1java/lang/String;)Z +login + (Ljava/lang/String;Ljava/lang/String;)V + (L1java/lang/String;L1java/lang/String;)V +upgrade + (Ljava/lang/Class;)TT; + (L1java/lang/Class;)T1T; diff --git a/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletResponse.eea b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletResponse.eea new file mode 100644 index 000000000..461a00f48 --- /dev/null +++ b/libraries/jakarta-servlet-api-6/jakarta/servlet/http/HttpServletResponse.eea @@ -0,0 +1,43 @@ +class jakarta/servlet/http/HttpServletResponse +addCookie + (Ljakarta/servlet/http/Cookie;)V + (L1jakarta/servlet/http/Cookie;)V +addDateHeader + (Ljava/lang/String;J)V + (L1java/lang/String;J)V +addHeader + (Ljava/lang/String;Ljava/lang/String;)V + (L1java/lang/String;L0java/lang/String;)V +addIntHeader + (Ljava/lang/String;I)V + (L1java/lang/String;I)V +containsHeader + (Ljava/lang/String;)Z + (L1java/lang/String;)Z +encodeRedirectURL + (Ljava/lang/String;)Ljava/lang/String; + (L0java/lang/String;)L0java/lang/String; +encodeURL + (Ljava/lang/String;)Ljava/lang/String; + (L0java/lang/String;)L0java/lang/String; +getHeader + (Ljava/lang/String;)Ljava/lang/String; + (L1java/lang/String;)L0java/lang/String; +getHeaderNames + ()Ljava/util/Collection; + ()L1java/util/Collection; +sendError + (ILjava/lang/String;)V + (IL0java/lang/String;)V +sendRedirect + (Ljava/lang/String;)V + (L1java/lang/String;)V +setDateHeader + (Ljava/lang/String;J)V + (L1java/lang/String;J)V +setHeader + (Ljava/lang/String;Ljava/lang/String;)V + (L1java/lang/String;L0java/lang/String;)V +setIntHeader + (Ljava/lang/String;I)V + (L1java/lang/String;I)V diff --git a/libraries/jakarta-servlet-api-6/pom.xml b/libraries/jakarta-servlet-api-6/pom.xml new file mode 100644 index 000000000..a21b762fd --- /dev/null +++ b/libraries/jakarta-servlet-api-6/pom.xml @@ -0,0 +1,28 @@ + + + 4.0.0 + + + org.lastnpe.eea + eea-parent + 3.0.0-SNAPSHOT + + + jakarta-servlet-api-6-eea + EEA :: Jakarta Servlet API 6.x + + + + + + jakarta.servlet + jakarta.servlet-api + 6.1.0 + provided + + + diff --git a/libraries/pom.xml b/libraries/pom.xml index c3f5b9454..9cdff9e1a 100644 --- a/libraries/pom.xml +++ b/libraries/pom.xml @@ -26,6 +26,8 @@ java-17 gson-2 guava + jakarta-mail-api-2 + jakarta-servlet-api-6 javax-mail-api-1 javax-servlet-api-4 jetty-client-12