LanguageServerOptions (tsunami-main 0.0.24 API)

java.lang.Object

com.google.tsunami.main.cli.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.

Field Summary

Fields
Modifier and Type	Field	Description
`java.util.List<java.lang.String>`	`pluginServerFilenames`
`java.util.List<java.lang.String>`	`pluginServerPorts`
`java.util.List<java.lang.Integer>`	`pluginServerRpcDeadlineSeconds`
`java.util.List<java.lang.String>`	`remotePluginServerAddress`
`java.util.List<java.lang.Integer>`	`remotePluginServerPort`
`java.util.List<java.lang.Integer>`	`remotePluginServerRpcDeadlineSeconds`

Constructor Summary

Constructors

Constructor Description

LanguageServerOptions()
Method Summary

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 Details
- pluginServerFilenames
  
  public java.util.List<java.lang.String> pluginServerFilenames
- pluginServerPorts
  
  public java.util.List<java.lang.String> pluginServerPorts
- pluginServerRpcDeadlineSeconds
  
  public java.util.List<java.lang.Integer> pluginServerRpcDeadlineSeconds
- remotePluginServerAddress
  
  public java.util.List<java.lang.String> remotePluginServerAddress
- remotePluginServerPort
  
  public java.util.List<java.lang.Integer> remotePluginServerPort
- remotePluginServerRpcDeadlineSeconds
  
  public java.util.List<java.lang.Integer> remotePluginServerRpcDeadlineSeconds
Constructor Details
- LanguageServerOptions
  
  public LanguageServerOptions()
Method Details
- validate
  
  public void validate()
  
  Specified by:
  
  validate in interface com.google.tsunami.common.cli.CliOption