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

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

package jakarta.servlet;

import jakarta.servlet.ServletContext;
import java.util.Enumeration;

public interface ServletConfig
{
    Enumeration<String> getInitParameterNames();
    ServletContext getServletContext();
    String getInitParameter(String p0);
    String getServletName();
}