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

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

package jakarta.servlet;

import jakarta.servlet.annotation.ServletSecurity;

public class HttpConstraintElement
{
    public HttpConstraintElement(){}
    public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0){}
    public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0, ServletSecurity.TransportGuarantee p1, String... p2){}
    public HttpConstraintElement(ServletSecurity.TransportGuarantee p0, String... p1){}
    public ServletSecurity.EmptyRoleSemantic getEmptyRoleSemantic(){ return null; }
    public ServletSecurity.TransportGuarantee getTransportGuarantee(){ return null; }
    public String[] getRolesAllowed(){ return null; }
}