package
semanticdb3
Type Members
-
final
case class
Diagnostic(range: Option[Range] = scala.None, severity: Severity = ..., message: String = "") extends GeneratedMessage with Message[Diagnostic] with Updatable[Diagnostic] with Product with Serializable
-
final
case class
Range(startLine: Int = 0, startCharacter: Int = 0, endLine: Int = 0, endCharacter: Int = 0) extends GeneratedMessage with Message[Range] with Updatable[Range] with Product with Serializable
-
sealed
trait
Schema extends GeneratedEnum
-
final
case class
SymbolInformation(symbol: String = "", language: String = "", kind: Kind = ..., properties: Int = 0, name: String = "", range: Option[Range] = scala.None, signature: Option[TextDocument] = scala.None, members: collection.Seq[String] = scala.collection.Seq.empty[Nothing], overrides: collection.Seq[String] = scala.collection.Seq.empty[Nothing]) extends GeneratedMessage with Message[SymbolInformation] with Updatable[SymbolInformation] with Product with Serializable
-
final
case class
SymbolOccurrence(range: Option[Range] = scala.None, symbol: String = "", role: Role = ...) extends GeneratedMessage with Message[SymbolOccurrence] with Updatable[SymbolOccurrence] with Product with Serializable
-
final
case class
Synthetic(range: Option[Range] = scala.None, text: Option[TextDocument] = scala.None) extends GeneratedMessage with Message[Synthetic] with Updatable[Synthetic] with Product with Serializable
-
final
case class
TextDocument(schema: Schema = ..., uri: String = "", text: String = "", language: String = "", symbols: collection.Seq[SymbolInformation] = scala.collection.Seq.empty[Nothing], occurrences: collection.Seq[SymbolOccurrence] = scala.collection.Seq.empty[Nothing], diagnostics: collection.Seq[Diagnostic] = scala.collection.Seq.empty[Nothing], synthetics: collection.Seq[Synthetic] = scala.collection.Seq.empty[Nothing]) extends GeneratedMessage with Message[TextDocument] with Updatable[TextDocument] with Product with Serializable
-
final
case class
TextDocuments(documents: collection.Seq[TextDocument] = scala.collection.Seq.empty[Nothing]) extends GeneratedMessage with Message[TextDocuments] with Updatable[TextDocuments] with Product with Serializable