cosmic-internal-jdk/dist/javax/servlet.js

KingScript: JDK1.8

export const AsyncContext = $.type("javax.servlet.AsyncContext");
export const AsyncEvent = $.type("javax.servlet.AsyncEvent");
export const AsyncListener = $.type("javax.servlet.AsyncListener");
export const DispatcherType = $.javax.servlet.DispatcherType;
export const Filter = $.type("javax.servlet.Filter");
export const FilterChain = $.type("javax.servlet.FilterChain");
export const FilterConfig = $.type("javax.servlet.FilterConfig");
export const FilterRegistration = $.type("javax.servlet.FilterRegistration");
export const FilterRegistration$Dynamic = $.type("javax.servlet.FilterRegistration$Dynamic");
export const HttpConstraintElement = $.type("javax.servlet.HttpConstraintElement");
export const MultipartConfigElement = $.type("javax.servlet.MultipartConfigElement");
export const ReadListener = $.type("javax.servlet.ReadListener");
export const Registration = $.type("javax.servlet.Registration");
export const Registration$Dynamic = $.type("javax.servlet.Registration$Dynamic");
export const RequestDispatcher = $.type("javax.servlet.RequestDispatcher");
export const Servlet = $.type("javax.servlet.Servlet");
export const ServletConfig = $.type("javax.servlet.ServletConfig");
export const ServletContext = $.type("javax.servlet.ServletContext");
export const ServletInputStream = $.type("javax.servlet.ServletInputStream");
export const ServletOutputStream = $.type("javax.servlet.ServletOutputStream");
export const ServletRegistration = $.type("javax.servlet.ServletRegistration");
export const ServletRegistration$Dynamic = $.type("javax.servlet.ServletRegistration$Dynamic");
export const ServletRequest = $.type("javax.servlet.ServletRequest");
export const ServletResponse = $.type("javax.servlet.ServletResponse");
export const ServletSecurityElement = $.type("javax.servlet.ServletSecurityElement");
export const SessionCookieConfig = $.type("javax.servlet.SessionCookieConfig");
export const WriteListener = $.type("javax.servlet.WriteListener");