Klasse StaticServlet.StaticServletParameters

Umschließende Klasse:
StaticServlet

public static class StaticServlet.StaticServletParameters extends WebResourceRequestPathServletParameters
  • Felddetails

    • useDevTools

      private Boolean useDevTools
    • teaVMFormat

      private TeaVMFormat teaVMFormat
    • maxDirectories

      private Integer maxDirectories
    • sleepTime

      private Integer sleepTime
    • url

      private String url
    • sfxSoundExpander

      private Boolean sfxSoundExpander
    • sfxSoundExpanderType

      private Integer sfxSoundExpanderType
    • config

      private IniConfig config
  • Konstruktordetails

    • StaticServletParameters

      public StaticServletParameters()
  • Methodendetails

    • getUseDevTools

      public Boolean getUseDevTools()
    • setUseDevTools

      public void setUseDevTools(Boolean useDevTools)
    • getTeaVMFormat

      public TeaVMFormat getTeaVMFormat()
    • setTeaVMFormat

      public void setTeaVMFormat(TeaVMFormat teaVMFormat)
    • getMaxDirectories

      public Integer getMaxDirectories()
    • setMaxDirectories

      public void setMaxDirectories(Integer maxDirectories)
    • getSleepTime

      public Integer getSleepTime()
    • setSleepTime

      public void setSleepTime(Integer sleepTime)
    • getUrl

      public String getUrl()
    • setUrl

      public void setUrl(String url)
    • getSfxSoundExpander

      public Boolean getSfxSoundExpander()
    • setSfxSoundExpander

      public void setSfxSoundExpander(Boolean sfxSoundExpander)
    • getSfxSoundExpanderType

      public Integer getSfxSoundExpanderType()
    • setSfxSoundExpanderType

      public void setSfxSoundExpanderType(Integer sfxSoundExpanderType)
    • getConfig

      public IniConfig getConfig()