Class LanguageServerOptions

  • All Implemented Interfaces:
    com.google.tsunami.common.cli.CliOption

    public final class LanguageServerOptions
    extends java.lang.Object
    implements com.google.tsunami.common.cli.CliOption
    Command line arguments for Tsunami language servers.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void validate()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • pluginServerFilenames

        public java.util.List<java.lang.String> pluginServerFilenames
      • pluginServerPorts

        public java.util.List<java.lang.String> pluginServerPorts
    • Constructor Detail

      • LanguageServerOptions

        public LanguageServerOptions()
    • Method Detail

      • validate

        public void validate()
        Specified by:
        validate in interface com.google.tsunami.common.cli.CliOption