mirror of
https://github.com/github/codeql.git
synced 2025-12-18 18:10:39 +01:00
47 lines
1.1 KiB
Java
47 lines
1.1 KiB
Java
import java.io.InputStream;
|
|
import java.io.IOException;
|
|
import java.lang.annotation.Annotation;
|
|
import java.lang.reflect.Type;
|
|
import jakarta.ws.rs.GET;
|
|
import jakarta.ws.rs.POST;
|
|
import jakarta.ws.rs.DELETE;
|
|
import jakarta.ws.rs.PUT;
|
|
import jakarta.ws.rs.OPTIONS;
|
|
import jakarta.ws.rs.HEAD;
|
|
import jakarta.ws.rs.Path;
|
|
import jakarta.ws.rs.BeanParam;
|
|
import jakarta.ws.rs.CookieParam;
|
|
import jakarta.ws.rs.FormParam;
|
|
import jakarta.ws.rs.HeaderParam;
|
|
import jakarta.ws.rs.MatrixParam;
|
|
import jakarta.ws.rs.PathParam;
|
|
import jakarta.ws.rs.Produces;
|
|
import jakarta.ws.rs.QueryParam;
|
|
import jakarta.ws.rs.client.Client;
|
|
import jakarta.ws.rs.core.Context;
|
|
import jakarta.ws.rs.core.MediaType;
|
|
import jakarta.ws.rs.core.MultivaluedMap;
|
|
import jakarta.ws.rs.core.Response;
|
|
import jakarta.ws.rs.ext.MessageBodyReader;
|
|
|
|
@Path("/resource")
|
|
public interface JakartaRsInterface {
|
|
@GET
|
|
int Get(); // $ ResourceMethod
|
|
|
|
@POST
|
|
void Post(); // $ ResourceMethod
|
|
|
|
@DELETE
|
|
double Delete(); // $ ResourceMethod
|
|
|
|
@PUT
|
|
void Put(); // $ ResourceMethod
|
|
|
|
@OPTIONS
|
|
void Options(); // $ ResourceMethod
|
|
|
|
@HEAD
|
|
void Head(); // $ ResourceMethod
|
|
}
|