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

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

package jakarta.servlet;

import jakarta.servlet.HttpConstraintElement;
import jakarta.servlet.HttpMethodConstraintElement;
import jakarta.servlet.annotation.ServletSecurity;
import java.util.Collection;

public class ServletSecurityElement extends HttpConstraintElement
{
    public Collection<HttpMethodConstraintElement> getHttpMethodConstraints(){ return null; }
    public Collection<String> getMethodNames(){ return null; }
    public ServletSecurityElement(){}
    public ServletSecurityElement(Collection<HttpMethodConstraintElement> p0){}
    public ServletSecurityElement(HttpConstraintElement p0){}
    public ServletSecurityElement(HttpConstraintElement p0, Collection<HttpMethodConstraintElement> p1){}
    public ServletSecurityElement(ServletSecurity p0){}
}