All Downloads are FREE. Search and download functionalities are using the official Maven repository.

sbt.internal.server.LanguageServerProtocol.scala Maven / Gradle / Ivy

There is a newer version: 1.10.7
Show newest version
/*
 * sbt
 * Copyright 2023, Scala center
 * Copyright 2011 - 2022, Lightbend, Inc.
 * Copyright 2008 - 2010, Mark Harrah
 * Licensed under Apache License 2.0 (see LICENSE)
 */

package sbt
package internal
package server

import sbt.internal.langserver._
import sbt.internal.protocol._
import sbt.internal.protocol.codec._
import sbt.protocol.{ CompletionParams => CP, SettingQuery => Q }
import sjsonnew.shaded.scalajson.ast.unsafe.JValue
import sjsonnew.support.scalajson.unsafe.Converter
import xsbti.FileConverter

private[sbt] final case class LangServerError(code: Long, message: String)
    extends Throwable(message)

private[sbt] object LanguageServerProtocol {
  private val internalJsonProtocol = new sbt.internal.langserver.codec.JsonProtocol
  with sbt.protocol.codec.JsonProtocol with sjsonnew.BasicJsonProtocol with InitializeOptionFormats

  import internalJsonProtocol._

  def json(r: JsonRpcRequestMessage): JValue =
    r.params.getOrElse(
      throw LangServerError(
        ErrorCodes.InvalidParams,
        s"param is expected on '${r.method}' method."
      )
    )

  lazy val serverCapabilities: ServerCapabilities = {
    ServerCapabilities(
      textDocumentSync = TextDocumentSyncOptions(true, 0, false, false, SaveOptions(false)),
      hoverProvider = false,
      definitionProvider = true
    )
  }

  def handler(converter: FileConverter): ServerHandler = ServerHandler { callback =>
    import callback._
    ServerIntent(
      onRequest = {
        case r: JsonRpcRequestMessage if r.method == "initialize" =>
          val param = Converter.fromJson[InitializeParams](json(r)).get
          val optionJson = param.initializationOptions.getOrElse(
            throw LangServerError(
              ErrorCodes.InvalidParams,
              "initializationOptions is expected on 'initialize' param."
            )
          )
          val opt = Converter.fromJson[InitializeOption](optionJson).get
          if (authOptions(ServerAuthentication.Token)) {
            val token = opt.token.getOrElse(sys.error("'token' is missing."))
            if (authenticate(token)) ()
            else throw LangServerError(ErrorCodes.InvalidRequest, "invalid token")
          } else ()
          setInitialized(true)
          if (!opt.skipAnalysis.getOrElse(false)) appendExec("collectAnalyses", None)
          jsonRpcRespond(InitializeResult(serverCapabilities), Some(r.id))

        case r: JsonRpcRequestMessage if r.method == "textDocument/definition" =>
          val _ = Definition.lspDefinition(json(r), r.id, CommandSource(name), converter, log)(
            StandardMain.executionContext
          )

        case r: JsonRpcRequestMessage if r.method == "sbt/exec" =>
          val param = Converter.fromJson[SbtExecParams](json(r)).get
          val _ = appendExec(param.commandLine, Some(r.id))

        case r: JsonRpcRequestMessage if r.method == "sbt/setting" =>
          val param = Converter.fromJson[Q](json(r)).get
          onSettingQuery(Option(r.id), param)

        case r: JsonRpcRequestMessage if r.method == "sbt/cancelRequest" =>
          val param = Converter.fromJson[CancelRequestParams](json(r)).get
          onCancellationRequest(Option(r.id), param)

        case r: JsonRpcRequestMessage if r.method == "sbt/completion" =>
          import sbt.protocol.codec.JsonProtocol._
          val param = Converter.fromJson[CP](json(r)).get
          onCompletionRequest(Option(r.id), param)

      },
      onResponse = PartialFunction.empty,
      onNotification = {
        case n: JsonRpcNotificationMessage if n.method == "textDocument/didSave" =>
          val _ = appendExec(";Test/compile; collectAnalyses", None)
      }
    )
  }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy