Class BspIntegrationData


  • public class BspIntegrationData
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      BspIntegrationData​(java.io.PrintStream stdout, java.io.InputStream stdin, java.util.concurrent.ExecutorService executor, java.io.PrintWriter traceWriter)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.concurrent.ExecutorService getExecutor()  
      org.eclipse.lsp4j.jsonrpc.Launcher<ch.epfl.scala.bsp4j.BuildClient> getLauncher()  
      io.grpc.Server getServer()  
      java.io.InputStream getStdin()  
      java.io.PrintStream getStdout()  
      java.io.PrintWriter getTraceWriter()  
      void setLauncher​(org.eclipse.lsp4j.jsonrpc.Launcher<ch.epfl.scala.bsp4j.BuildClient> launcher)  
      void setServer​(io.grpc.Server server)  
      • Methods inherited from class java.lang.Object

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

      • BspIntegrationData

        public BspIntegrationData​(java.io.PrintStream stdout,
                                  java.io.InputStream stdin,
                                  java.util.concurrent.ExecutorService executor,
                                  java.io.PrintWriter traceWriter)
    • Method Detail

      • getStdout

        public java.io.PrintStream getStdout()
      • getStdin

        public java.io.InputStream getStdin()
      • getExecutor

        public java.util.concurrent.ExecutorService getExecutor()
      • getTraceWriter

        public java.io.PrintWriter getTraceWriter()
      • getLauncher

        public org.eclipse.lsp4j.jsonrpc.Launcher<ch.epfl.scala.bsp4j.BuildClient> getLauncher()
      • setLauncher

        public void setLauncher​(org.eclipse.lsp4j.jsonrpc.Launcher<ch.epfl.scala.bsp4j.BuildClient> launcher)
      • getServer

        public io.grpc.Server getServer()
      • setServer

        public void setServer​(io.grpc.Server server)