Package org.teavm.devserver

Class CodeServlet

java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet
org.teavm.devserver.CodeServlet
All Implemented Interfaces:
jakarta.servlet.Servlet, jakarta.servlet.ServletConfig, Serializable
public class CodeServlet extends org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet
See Also:

  • Constructor Details

    • CodeServlet

      public CodeServlet(String mainClass, String[] classPath)

  • Method Details

    • configure

      protected void configure(org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServletFactory factory)
      Specified by:
      configure in class org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet

    • setFileName

      public void setFileName(String fileName)

    • setPathToFile

      public void setPathToFile(String pathToFile)

    • getSourcePath

      public List<String> getSourcePath()

    • setLog

      public void setLog(org.teavm.tooling.TeaVMToolLog log)

    • setIndicator

      public void setIndicator(boolean indicator)

    • setDeobfuscateStack

      public void setDeobfuscateStack(boolean deobfuscateStack)

    • setPort

      public void setPort(int port)

    • setDebugPort

      public void setDebugPort(int debugPort)

    • setAutomaticallyReloaded

      public void setAutomaticallyReloaded(boolean automaticallyReloaded)

    • setProxyUrl

      public void setProxyUrl(String proxyUrl)

    • setProxyPath

      public void setProxyPath(String proxyPath)

    • setStaticFileRoots

      public void setStaticFileRoots(List<String> staticFileRoots)

    • setStaticFilesPath

      public void setStaticFilesPath(String staticFilesPath)

    • setResourcesRoots

      public void setResourcesRoots(List<String> resourcesRoots)

    • setResourcesPath

      public void setResourcesPath(String resourcesPath)

    • setFileSystemWatched

      public void setFileSystemWatched(boolean fileSystemWatched)

    • setCompileOnStartup

      public void setCompileOnStartup(boolean compileOnStartup)

    • getPreservedClasses

      public List<String> getPreservedClasses()

    • getProperties

      public Map<String,String> getProperties()

    • setWasmSharedBuffer

      public void setWasmSharedBuffer(boolean wasmSharedBuffer)

    • setWasmModularRuntime

      public void setWasmModularRuntime(boolean wasmModularRuntime)

    • setJsModuleType

      public void setJsModuleType(org.teavm.backend.javascript.JSModuleType jsModuleType)

    • setLogBuildErrors

      public void setLogBuildErrors(boolean logBuildErrors)

    • setBackend

      public void setBackend(CodeServletBackend<?> backend)

    • addProgressHandler

      public void addProgressHandler(ProgressHandler handler)

    • removeProgressHandler

      public void removeProgressHandler(ProgressHandler handler)

    • addListener

      public void addListener(DevServerListener listener)

    • invalidateCache

      public void invalidateCache()

    • buildProject

      public void buildProject()

    • cancelBuild

      public void cancelBuild()

    • init

      public void init(jakarta.servlet.ServletConfig config) throws jakarta.servlet.ServletException
      Specified by:
      init in interface jakarta.servlet.Servlet
      Overrides:
      init in class jakarta.servlet.http.HttpServlet
      Throws:
      jakarta.servlet.ServletException

    • service

      protected void service(jakarta.servlet.http.HttpServletRequest req, jakarta.servlet.http.HttpServletResponse resp) throws IOException, jakarta.servlet.ServletException
      Overrides:
      service in class org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet
      Throws:
      IOException
      jakarta.servlet.ServletException

    • destroy

      public void destroy()
      Specified by:
      destroy in interface jakarta.servlet.Servlet
      Overrides:
      destroy in class org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet

    • init

      public void init() throws jakarta.servlet.ServletException
      Overrides:
      init in class org.eclipse.jetty.ee10.websocket.server.JettyWebSocketServlet
      Throws:
      jakarta.servlet.ServletException