java ` DispatcherServlet`如何从`GenericServlet'继承方法`

Question

我在学习SpringMVC，在那里我遇到了DispatcherServlet。API doc saysDispatcherServlet从GenericServlet类继承方法getInitParameter, getInitParameterNames, getServletConfig, getServletContext

然而，在同一页上，它说

public class DispatcherServlet extends FrameworkServlet

它并没有说它扩展了GenericServlet类（也没有^{}扩展了GenericServlet）。同样在github source中，我没有发现DispatcherServlet如何从GenericServlet继承方法getInitParameter()，getServletContext()

我遗漏了什么吗