Stubs in javax-ws-rs-api-3.0.0

Generated using java-autostub

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/BeanParam.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2012, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface BeanParam {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/Consumes.java

@@ -0,0 +1,21 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface Consumes {
+    String[] value() default "*/*";
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/CookieParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface CookieParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/DELETE.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface DELETE {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/FormParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface FormParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/GET.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface GET {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/HEAD.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface HEAD {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/HeaderParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface HeaderParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/MatrixParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface MatrixParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/OPTIONS.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface OPTIONS {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/POST.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface POST {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/PUT.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface PUT {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/Path.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface Path {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/PathParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface PathParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/Produces.java

@@ -0,0 +1,21 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface Produces {
+    String[] value() default "*/*";
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/QueryParam.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs;
+
+public @interface QueryParam {
+    String value();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/client/Client.java

@@ -0,0 +1,42 @@
+/*
+ * Copyright (c) 2011, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.client;
+import java.net.URI;
+import javax.net.ssl.HostnameVerifier;
+import javax.net.ssl.SSLContext;
+import jakarta.ws.rs.core.Configurable;
+import jakarta.ws.rs.core.Link;
+import jakarta.ws.rs.core.UriBuilder;
+
+public interface Client extends Configurable<Client> {
+    public void close();
+
+    public WebTarget target(String uri);
+
+    public WebTarget target(URI uri);
+
+    public WebTarget target(UriBuilder uriBuilder);
+
+    public WebTarget target(Link link);
+
+    public Invocation.Builder invocation(Link link);
+
+    public SSLContext getSslContext();
+
+    public HostnameVerifier getHostnameVerifier();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/CacheControl.java

@@ -0,0 +1,112 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.List;
+import java.util.Map;
+
+public class CacheControl {
+    public CacheControl() {
+    }
+
+    public static CacheControl valueOf(final String value) {
+      return null;
+    }
+
+    public boolean isMustRevalidate() {
+      return false;
+    }
+
+    public void setMustRevalidate(final boolean mustRevalidate) {
+    }
+
+    public boolean isProxyRevalidate() {
+      return false;
+    }
+
+    public void setProxyRevalidate(final boolean proxyRevalidate) {
+    }
+
+    public int getMaxAge() {
+      return 0;
+    }
+
+    public void setMaxAge(final int maxAge) {
+    }
+
+    public int getSMaxAge() {
+      return 0;
+    }
+
+    public void setSMaxAge(final int sMaxAge) {
+    }
+
+    public List<String> getNoCacheFields() {
+      return null;
+    }
+
+    public void setNoCache(final boolean noCache) {
+    }
+
+    public boolean isNoCache() {
+      return false;
+    }
+
+    public boolean isPrivate() {
+      return false;
+    }
+
+    public List<String> getPrivateFields() {
+      return null;
+    }
+
+    public void setPrivate(final boolean flag) {
+    }
+
+    public boolean isNoTransform() {
+      return false;
+    }
+
+    public void setNoTransform(final boolean noTransform) {
+    }
+
+    public boolean isNoStore() {
+      return false;
+    }
+
+    public void setNoStore(final boolean noStore) {
+    }
+
+    public Map<String, String> getCacheExtension() {
+      return null;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Configurable.java

@@ -0,0 +1,41 @@
+/*
+ * Copyright (c) 2011, 2020 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.Map;
+
+public interface Configurable<C extends Configurable> {
+    public Configuration getConfiguration();
+
+    public C property(String name, Object value);
+
+    public C register(Class<?> componentClass);
+
+    public C register(Class<?> componentClass, int priority);
+
+    public C register(Class<?> componentClass, Class<?>... contracts);
+
+    public C register(Class<?> componentClass, Map<Class<?>, Integer> contracts);
+
+    public C register(Object component);
+
+    public C register(Object component, int priority);
+
+    public C register(Object component, Class<?>... contracts);
+
+    public C register(Object component, Map<Class<?>, Integer> contracts);
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Context.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public @interface Context {
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Cookie.java

@@ -0,0 +1,71 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public class Cookie {
+    public Cookie(final String name, final String value, final String path, final String domain, final int version)
+            throws IllegalArgumentException {
+    }
+
+    public Cookie(final String name, final String value, final String path, final String domain)
+            throws IllegalArgumentException {
+    }
+
+    public Cookie(final String name, final String value)
+            throws IllegalArgumentException {
+    }
+
+    public static Cookie valueOf(final String value) {
+      return null;
+    }
+
+    public String getName() {
+      return null;
+    }
+
+    public String getValue() {
+      return null;
+    }
+
+    public int getVersion() {
+      return 0;
+    }
+
+    public String getDomain() {
+      return null;
+    }
+
+    public String getPath() {
+      return null;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/EntityTag.java

@@ -0,0 +1,53 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public class EntityTag {
+    public EntityTag(final String value) {
+    }
+
+    public EntityTag(final String value, final boolean weak) {
+    }
+
+    public static EntityTag valueOf(final String value) {
+      return null;
+    }
+
+    public boolean isWeak() {
+      return false;
+    }
+
+    public String getValue() {
+      return null;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Form.java

@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2011, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public class Form {
+    public Form() {
+    }
+
+    public Form(final String parameterName, final String parameterValue) {
+    }
+
+    public Form(final MultivaluedMap<String, String> store) {
+    }
+
+    public Form param(final String name, final String value) {
+      return null;
+    }
+
+    public MultivaluedMap<String, String> asMap() {
+      return null;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/GenericEntity.java

@@ -0,0 +1,55 @@
+/*
+ * Copyright (c) 2011, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * Copyright (c) 2006 Google Inc.
+ *
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements.  See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.
+ * The ASF licenses this file to You under the Apache License, Version 2.0
+ * (the "License"); you may not use this file except in compliance with
+ * the License.  You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package jakarta.ws.rs.core;
+import java.lang.reflect.Type;
+
+public class GenericEntity<T> {
+    public GenericEntity(final T entity, final Type genericType) {
+    }
+
+    public final Class<?> getRawType() {
+      return null;
+    }
+
+    public final Type getType() {
+      return null;
+    }
+
+    public final T getEntity() {
+      return null;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/HttpHeaders.java

@@ -0,0 +1,44 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.Date;
+import java.util.List;
+import java.util.Locale;
+import java.util.Map;
+
+public interface HttpHeaders {
+    public List<String> getRequestHeader(String name);
+
+    public String getHeaderString(String name);
+
+    public MultivaluedMap<String, String> getRequestHeaders();
+
+    public List<MediaType> getAcceptableMediaTypes();
+
+    public List<Locale> getAcceptableLanguages();
+
+    public MediaType getMediaType();
+
+    public Locale getLanguage();
+
+    public Map<String, Cookie> getCookies();
+
+    public Date getDate();
+
+    public int getLength();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Link.java

@@ -0,0 +1,143 @@
+/*
+ * Copyright (c) 2011, 2020 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.net.URI;
+import java.util.List;
+import java.util.Map;
+import javax.xml.namespace.QName;
+import jakarta.xml.bind.annotation.adapters.XmlAdapter;
+
+public abstract class Link {
+    public abstract URI getUri();
+
+    public abstract UriBuilder getUriBuilder();
+
+    public abstract String getRel();
+
+    public abstract List<String> getRels();
+
+    public abstract String getTitle();
+
+    public abstract String getType();
+
+    public abstract Map<String, String> getParams();
+
+    @Override
+    public abstract String toString();
+
+    public static Link valueOf(final String value) {
+      return null;
+    }
+
+    public static Builder fromUri(final URI uri) {
+      return null;
+    }
+
+    public static Builder fromUri(final String uri) {
+      return null;
+    }
+
+    public static Builder fromUriBuilder(final UriBuilder uriBuilder) {
+      return null;
+    }
+
+    public static Builder fromLink(final Link link) {
+      return null;
+    }
+
+    public static Builder fromPath(final String path) {
+      return null;
+    }
+
+    public static Builder fromResource(final Class<?> resource) {
+      return null;
+    }
+
+    public static Builder fromMethod(final Class<?> resource, final String method) {
+      return null;
+    }
+
+    public interface Builder {
+        public Builder link(Link link);
+
+        public Builder link(String link);
+
+        public Builder uri(URI uri);
+
+        public Builder uri(String uri);
+
+        public Builder baseUri(URI uri);
+
+        public Builder baseUri(String uri);
+
+        public Builder uriBuilder(UriBuilder uriBuilder);
+
+        public Builder rel(String rel);
+
+        public Builder title(String title);
+
+        public Builder type(String type);
+
+        public Builder param(String name, String value);
+
+        public Link build(Object... values);
+
+        public Link buildRelativized(URI uri, Object... values);
+
+    }
+    public static class JaxbLink {
+        public JaxbLink() {
+        }
+
+        public JaxbLink(final URI uri) {
+        }
+
+        public JaxbLink(final URI uri, final Map<QName, Object> params) {
+        }
+
+        public URI getUri() {
+          return null;
+        }
+
+        public Map<QName, Object> getParams() {
+          return null;
+        }
+
+        @Override
+        public boolean equals(final Object o) {
+          return false;
+        }
+
+        @Override
+        public int hashCode() {
+          return 0;
+        }
+
+    }
+    public static class JaxbAdapter extends XmlAdapter<JaxbLink, Link> {
+        @Override
+        public Link unmarshal(final JaxbLink v) {
+          return null;
+        }
+
+        @Override
+        public JaxbLink marshal(final Link v) {
+          return null;
+        }
+
+    }
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/MediaType.java

@@ -0,0 +1,108 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.Map;
+
+public class MediaType {
+    public final static MediaType WILDCARD_TYPE = new MediaType();
+
+    public final static MediaType APPLICATION_XML_TYPE = new MediaType("application", "xml");
+
+    public final static MediaType APPLICATION_ATOM_XML_TYPE = new MediaType("application", "atom+xml");
+
+    public final static MediaType APPLICATION_XHTML_XML_TYPE = new MediaType("application", "xhtml+xml");
+
+    public final static MediaType APPLICATION_SVG_XML_TYPE = new MediaType("application", "svg+xml");
+
+    public final static MediaType APPLICATION_JSON_TYPE = new MediaType("application", "json");
+
+    public final static MediaType APPLICATION_FORM_URLENCODED_TYPE = new MediaType("application", "x-www-form-urlencoded");
+
+    public final static MediaType MULTIPART_FORM_DATA_TYPE = new MediaType("multipart", "form-data");
+
+    public final static MediaType APPLICATION_OCTET_STREAM_TYPE = new MediaType("application", "octet-stream");
+
+    public final static MediaType TEXT_PLAIN_TYPE = new MediaType("text", "plain");
+
+    public final static MediaType TEXT_XML_TYPE = new MediaType("text", "xml");
+
+    public final static MediaType TEXT_HTML_TYPE = new MediaType("text", "html");
+
+    public static final MediaType SERVER_SENT_EVENTS_TYPE = new MediaType("text", "event-stream");
+
+    public static final MediaType APPLICATION_JSON_PATCH_JSON_TYPE = new MediaType("application", "json-patch+json");
+
+    public static MediaType valueOf(final String type) {
+      return null;
+    }
+
+    public MediaType(final String type, final String subtype, final Map<String, String> parameters) {
+    }
+
+    public MediaType(final String type, final String subtype) {
+    }
+
+    public MediaType(final String type, final String subtype, final String charset) {
+    }
+
+    public MediaType() {
+    }
+
+    public String getType() {
+      return null;
+    }
+
+    public boolean isWildcardType() {
+      return false;
+    }
+
+    public String getSubtype() {
+      return null;
+    }
+
+    public boolean isWildcardSubtype() {
+      return false;
+    }
+
+    public Map<String, String> getParameters() {
+      return null;
+    }
+
+    public MediaType withCharset(final String charset) {
+      return null;
+    }
+
+    public boolean isCompatible(final MediaType other) {
+      return false;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/MultivaluedMap.java

@@ -0,0 +1,36 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.List;
+import java.util.Map;
+
+public interface MultivaluedMap<K, V> extends Map<K, List<V>> {
+    void putSingle(K key, V value);
+
+    void add(K key, V value);
+
+    V getFirst(K key);
+
+    void addAll(K key, V... newValues);
+
+    void addAll(K key, List<V> valueList);
+
+    void addFirst(K key, V value);
+
+    boolean equalsIgnoreValueOrder(MultivaluedMap<K, V> otherMap);
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/NewCookie.java

@@ -0,0 +1,117 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.Date;
+
+public class NewCookie extends Cookie {
+    public NewCookie(final String name, final String value) {
+    }
+
+    public NewCookie(final String name,
+            final String value,
+            final String path,
+            final String domain,
+            final String comment,
+            final int maxAge,
+            final boolean secure) {
+    }
+
+    public NewCookie(final String name,
+            final String value,
+            final String path,
+            final String domain,
+            final String comment,
+            final int maxAge,
+            final boolean secure,
+            final boolean httpOnly) {
+    }
+
+    public NewCookie(final String name,
+            final String value,
+            final String path,
+            final String domain,
+            final int version,
+            final String comment,
+            final int maxAge,
+            final boolean secure) {
+    }
+
+    public NewCookie(final String name,
+            final String value,
+            final String path,
+            final String domain,
+            final int version,
+            final String comment,
+            final int maxAge,
+            final Date expiry,
+            final boolean secure,
+            final boolean httpOnly) {
+    }
+
+    public NewCookie(final Cookie cookie) {
+    }
+
+    public NewCookie(final Cookie cookie, final String comment, final int maxAge, final boolean secure) {
+    }
+
+    public NewCookie(final Cookie cookie, final String comment, final int maxAge, final Date expiry, final boolean secure, final boolean httpOnly) {
+    }
+
+    public static NewCookie valueOf(final String value) {
+      return null;
+    }
+
+    public String getComment() {
+      return null;
+    }
+
+    public int getMaxAge() {
+      return 0;
+    }
+
+    public Date getExpiry() {
+      return null;
+    }
+
+    public boolean isSecure() {
+      return false;
+    }
+
+    public boolean isHttpOnly() {
+      return false;
+    }
+
+    public Cookie toCookie() {
+      return null;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/PathSegment.java

@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public interface PathSegment {
+    String getPath();
+
+    MultivaluedMap<String, String> getMatrixParameters();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Response.java

@@ -0,0 +1,285 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.lang.annotation.Annotation;
+import java.net.URI;
+import java.util.Date;
+import java.util.List;
+import java.util.Locale;
+import java.util.Map;
+import java.util.Set;
+
+public abstract class Response implements AutoCloseable {
+    public abstract int getStatus();
+
+    public abstract StatusType getStatusInfo();
+
+    public abstract Object getEntity();
+
+    public abstract <T> T readEntity(Class<T> entityType);
+
+    public abstract <T> T readEntity(GenericType<T> entityType);
+
+    public abstract <T> T readEntity(Class<T> entityType, Annotation[] annotations);
+
+    public abstract <T> T readEntity(GenericType<T> entityType, Annotation[] annotations);
+
+    public abstract boolean hasEntity();
+
+    public abstract boolean bufferEntity();
+
+    @Override
+    public abstract void close();
+
+    public abstract MediaType getMediaType();
+
+    public abstract Locale getLanguage();
+
+    public abstract int getLength();
+
+    public abstract Set<String> getAllowedMethods();
+
+    public abstract Map<String, NewCookie> getCookies();
+
+    public abstract EntityTag getEntityTag();
+
+    public abstract Date getDate();
+
+    public abstract Date getLastModified();
+
+    public abstract URI getLocation();
+
+    public abstract Set<Link> getLinks();
+
+    public abstract boolean hasLink(String relation);
+
+    public abstract Link getLink(String relation);
+
+    public abstract Link.Builder getLinkBuilder(String relation);
+
+    public abstract MultivaluedMap<String, Object> getMetadata();
+
+    public MultivaluedMap<String, Object> getHeaders() {
+      return null;
+    }
+
+    public abstract MultivaluedMap<String, String> getStringHeaders();
+
+    public abstract String getHeaderString(String name);
+
+    public static ResponseBuilder fromResponse(final Response response) {
+      return null;
+    }
+
+    public static ResponseBuilder status(final StatusType status) {
+      return null;
+    }
+
+    public static ResponseBuilder status(final Status status) {
+      return null;
+    }
+
+    public static ResponseBuilder status(final int status) {
+      return null;
+    }
+
+    public static ResponseBuilder status(final int status, final String reasonPhrase) {
+      return null;
+    }
+
+    public static ResponseBuilder ok() {
+      return null;
+    }
+
+    public static ResponseBuilder ok(final Object entity) {
+      return null;
+    }
+
+    public static ResponseBuilder ok(final Object entity, final MediaType type) {
+      return null;
+    }
+
+    public static ResponseBuilder ok(final Object entity, final String type) {
+      return null;
+    }
+
+    public static ResponseBuilder ok(final Object entity, final Variant variant) {
+      return null;
+    }
+
+    public static ResponseBuilder serverError() {
+      return null;
+    }
+
+    public static ResponseBuilder created(final URI location) {
+      return null;
+    }
+
+    public static ResponseBuilder accepted() {
+      return null;
+    }
+
+    public static ResponseBuilder accepted(final Object entity) {
+      return null;
+    }
+
+    public static ResponseBuilder noContent() {
+      return null;
+    }
+
+    public static ResponseBuilder notModified() {
+      return null;
+    }
+
+    public static ResponseBuilder notModified(final EntityTag tag) {
+      return null;
+    }
+
+    public static ResponseBuilder notModified(final String tag) {
+      return null;
+    }
+
+    public static ResponseBuilder seeOther(final URI location) {
+      return null;
+    }
+
+    public static ResponseBuilder temporaryRedirect(final URI location) {
+      return null;
+    }
+
+    public static ResponseBuilder notAcceptable(final List<Variant> variants) {
+      return null;
+    }
+
+    public static abstract class ResponseBuilder {
+        public abstract Response build();
+
+        @Override
+        public abstract ResponseBuilder clone();
+
+        public abstract ResponseBuilder status(int status);
+
+        public abstract ResponseBuilder status(int status, String reasonPhrase);
+
+        public ResponseBuilder status(final StatusType status) {
+          return null;
+        }
+
+        public ResponseBuilder status(final Status status) {
+          return null;
+        }
+
+        public abstract ResponseBuilder entity(Object entity);
+
+        public abstract ResponseBuilder entity(Object entity, Annotation[] annotations);
+
+        public abstract ResponseBuilder allow(String... methods);
+
+        public abstract ResponseBuilder allow(Set<String> methods);
+
+        public abstract ResponseBuilder cacheControl(CacheControl cacheControl);
+
+        public abstract ResponseBuilder encoding(String encoding);
+
+        public abstract ResponseBuilder header(String name, Object value);
+
+        public abstract ResponseBuilder replaceAll(MultivaluedMap<String, Object> headers);
+
+        public abstract ResponseBuilder language(String language);
+
+        public abstract ResponseBuilder language(Locale language);
+
+        public abstract ResponseBuilder type(MediaType type);
+
+        public abstract ResponseBuilder type(String type);
+
+        public abstract ResponseBuilder variant(Variant variant);
+
+        public abstract ResponseBuilder contentLocation(URI location);
+
+        public abstract ResponseBuilder cookie(NewCookie... cookies);
+
+        public abstract ResponseBuilder expires(Date expires);
+
+        public abstract ResponseBuilder lastModified(Date lastModified);
+
+        public abstract ResponseBuilder location(URI location);
+
+        public abstract ResponseBuilder tag(EntityTag tag);
+
+        public abstract ResponseBuilder tag(String tag);
+
+        public abstract ResponseBuilder variants(Variant... variants);
+
+        public abstract ResponseBuilder variants(List<Variant> variants);
+
+        public abstract ResponseBuilder links(Link... links);
+
+        public abstract ResponseBuilder link(URI uri, String rel);
+
+        public abstract ResponseBuilder link(String uri, String rel);
+
+    }
+    public interface StatusType {
+        public int getStatusCode();
+
+        public Status.Family getFamily();
+
+        public String getReasonPhrase();
+
+        public default Status toEnum() {
+          return null;
+        }
+
+    }
+    public enum Status implements StatusType {
+        DUMMY_STATUS;
+
+        public enum Family {
+            DUMMY_FAMILY;
+
+            public static Family familyOf(final int statusCode) {
+              return null;
+            }
+
+        }
+        @Override
+        public Family getFamily() {
+          return null;
+        }
+
+        @Override
+        public int getStatusCode() {
+          return 0;
+        }
+
+        @Override
+        public String getReasonPhrase() {
+          return null;
+        }
+
+        @Override
+        public String toString() {
+          return null;
+        }
+
+        public static Status fromStatusCode(final int statusCode) {
+          return null;
+        }
+
+    }
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/UriBuilder.java

@@ -0,0 +1,126 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.lang.reflect.Method;
+import java.net.URI;
+import java.util.Map;
+
+public abstract class UriBuilder {
+    public static UriBuilder newInstance() {
+      return null;
+    }
+
+    public static UriBuilder fromUri(final URI uri) {
+      return null;
+    }
+
+    public static UriBuilder fromUri(final String uriTemplate) {
+      return null;
+    }
+
+    public static UriBuilder fromLink(final Link link) {
+      return null;
+    }
+
+    public static UriBuilder fromPath(final String path) throws IllegalArgumentException {
+      return null;
+    }
+
+    public static UriBuilder fromResource(final Class<?> resource) {
+      return null;
+    }
+
+    public static UriBuilder fromMethod(final Class<?> resource, final String method) {
+      return null;
+    }
+
+    @Override
+    public abstract UriBuilder clone();
+
+    public abstract UriBuilder uri(URI uri);
+
+    public abstract UriBuilder uri(String uriTemplate);
+
+    public abstract UriBuilder scheme(String scheme);
+
+    public abstract UriBuilder schemeSpecificPart(String ssp);
+
+    public abstract UriBuilder userInfo(String ui);
+
+    public abstract UriBuilder host(String host);
+
+    public abstract UriBuilder port(int port);
+
+    public abstract UriBuilder replacePath(String path);
+
+    public abstract UriBuilder path(String path);
+
+    public abstract UriBuilder path(Class resource);
+
+    public abstract UriBuilder path(Class resource, String method);
+
+    public abstract UriBuilder path(Method method);
+
+    public abstract UriBuilder segment(String... segments);
+
+    public abstract UriBuilder replaceMatrix(String matrix);
+
+    public abstract UriBuilder matrixParam(String name, Object... values);
+
+    public abstract UriBuilder replaceMatrixParam(String name, Object... values);
+
+    public abstract UriBuilder replaceQuery(String query);
+
+    public abstract UriBuilder queryParam(String name, Object... values);
+
+    public abstract UriBuilder replaceQueryParam(String name, Object... values);
+
+    public abstract UriBuilder fragment(String fragment);
+
+    public abstract UriBuilder resolveTemplate(String name, Object value);
+
+    public abstract UriBuilder resolveTemplate(String name, Object value, boolean encodeSlashInPath);
+
+    public abstract UriBuilder resolveTemplateFromEncoded(String name, Object value);
+
+    public abstract UriBuilder resolveTemplates(Map<String, Object> templateValues);
+
+    public abstract UriBuilder resolveTemplates(Map<String, Object> templateValues, boolean encodeSlashInPath)
+            throws IllegalArgumentException;
+
+    public abstract UriBuilder resolveTemplatesFromEncoded(Map<String, Object> templateValues);
+
+    public abstract URI buildFromMap(Map<String, ?> values);
+
+    public abstract URI buildFromMap(Map<String, ?> values, boolean encodeSlashInPath)
+            throws IllegalArgumentException, UriBuilderException;
+
+    public abstract URI buildFromEncodedMap(Map<String, ?> values)
+            throws IllegalArgumentException, UriBuilderException;
+
+    public abstract URI build(Object... values)
+            throws IllegalArgumentException, UriBuilderException;
+
+    public abstract URI build(Object[] values, boolean encodeSlashInPath)
+            throws IllegalArgumentException, UriBuilderException;
+
+    public abstract URI buildFromEncoded(Object... values)
+            throws IllegalArgumentException, UriBuilderException;
+
+    public abstract String toTemplate();
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/UriBuilderException.java

@@ -0,0 +1,32 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+
+public class UriBuilderException extends java.lang.RuntimeException {
+    public UriBuilderException() {
+    }
+
+    public UriBuilderException(final String msg) {
+    }
+
+    public UriBuilderException(final String msg, final Throwable cause) {
+    }
+
+    public UriBuilderException(final Throwable cause) {
+    }
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/UriInfo.java

@@ -0,0 +1,60 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.net.URI;
+import java.util.List;
+
+public interface UriInfo {
+    public String getPath();
+
+    public String getPath(boolean decode);
+
+    public List<PathSegment> getPathSegments();
+
+    public List<PathSegment> getPathSegments(boolean decode);
+
+    public URI getRequestUri();
+
+    public UriBuilder getRequestUriBuilder();
+
+    public URI getAbsolutePath();
+
+    public UriBuilder getAbsolutePathBuilder();
+
+    public URI getBaseUri();
+
+    public UriBuilder getBaseUriBuilder();
+
+    public MultivaluedMap<String, String> getPathParameters();
+
+    public MultivaluedMap<String, String> getPathParameters(boolean decode);
+
+    public MultivaluedMap<String, String> getQueryParameters();
+
+    public MultivaluedMap<String, String> getQueryParameters(boolean decode);
+
+    public List<String> getMatchedURIs();
+
+    public List<String> getMatchedURIs(boolean decode);
+
+    public List<Object> getMatchedResources();
+
+    public URI resolve(URI uri);
+
+    public URI relativize(URI uri);
+
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/core/Variant.java

@@ -0,0 +1,93 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.core;
+import java.util.List;
+import java.util.Locale;
+
+public class Variant {
+    public Variant(final MediaType mediaType, final String language, final String encoding) {
+    }
+
+    public Variant(final MediaType mediaType, final String language, final String country, final String encoding) {
+    }
+
+    public Variant(final MediaType mediaType, final String language, final String country, final String languageVariant, final String encoding) {
+    }
+
+    public Variant(final MediaType mediaType, final Locale language, final String encoding) {
+    }
+
+    public Locale getLanguage() {
+      return null;
+    }
+
+    public String getLanguageString() {
+      return null;
+    }
+
+    public MediaType getMediaType() {
+      return null;
+    }
+
+    public String getEncoding() {
+      return null;
+    }
+
+    public static VariantListBuilder mediaTypes(final MediaType... mediaTypes) {
+      return null;
+    }
+
+    public static VariantListBuilder languages(final Locale... languages) {
+      return null;
+    }
+
+    public static VariantListBuilder encodings(final String... encodings) {
+      return null;
+    }
+
+    @Override
+    public int hashCode() {
+      return 0;
+    }
+
+    @Override
+    public boolean equals(final Object obj) {
+      return false;
+    }
+
+    @Override
+    public String toString() {
+      return null;
+    }
+
+    public static abstract class VariantListBuilder {
+        public static VariantListBuilder newInstance() {
+          return null;
+        }
+
+        public abstract List<Variant> build();
+
+        public abstract VariantListBuilder add();
+
+        public abstract VariantListBuilder languages(Locale... languages);
+
+        public abstract VariantListBuilder encodings(String... encodings);
+
+        public abstract VariantListBuilder mediaTypes(MediaType... mediaTypes);
+
+    }
+}

java/ql/test/stubs/javax-ws-rs-api-3.0.0/jakarta/ws/rs/ext/MessageBodyReader.java

@@ -0,0 +1,33 @@
+/*
+ * Copyright (c) 2010, 2019 Oracle and/or its affiliates. All rights reserved.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the Eclipse Public License v. 2.0, which is available at
+ * http://www.eclipse.org/legal/epl-2.0.
+ *
+ * This Source Code may also be made available under the following Secondary
+ * Licenses when the conditions for such availability set forth in the
+ * Eclipse Public License v. 2.0 are satisfied: GNU General Public License,
+ * version 2 with the GNU Classpath Exception, which is available at
+ * https://www.gnu.org/software/classpath/license.html.
+ *
+ * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+ */
+
+package jakarta.ws.rs.ext;
+import java.io.InputStream;
+import java.lang.annotation.Annotation;
+import java.lang.reflect.Type;
+import jakarta.ws.rs.core.MediaType;
+import jakarta.ws.rs.core.MultivaluedMap;
+
+public interface MessageBodyReader<T> {
+    public boolean isReadable(Class<?> type, Type genericType,
+            Annotation[] annotations, MediaType mediaType);
+
+    public T readFrom(Class<T> type, Type genericType,
+            Annotation[] annotations, MediaType mediaType,
+            MultivaluedMap<String, String> httpHeaders,
+            InputStream entityStream) throws java.io.IOException, jakarta.ws.rs.WebApplicationException;
+
+}