codeql/java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletSecurityElement.java

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

package javax.servlet;

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

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){}
}