codeql/java/ql/test/stubs/jakarta.servlet-api-6.0.0/jakarta/servlet/HttpMethodConstraintElement.java

// Generated automatically from jakarta.servlet.HttpMethodConstraintElement for testing purposes

package jakarta.servlet;

import jakarta.servlet.HttpConstraintElement;

public class HttpMethodConstraintElement extends HttpConstraintElement
{
    protected HttpMethodConstraintElement() {}
    public HttpMethodConstraintElement(String p0){}
    public HttpMethodConstraintElement(String p0, HttpConstraintElement p1){}
    public String getMethodName(){ return null; }
}