lsp/io.github.jmltoolkit.lsp

Package-level declarations

Types

class AstRepository(val server: JmlLanguageServer)

CodeActionCollector

class CodeActionCollector(val context: CodeActionContext?, range: Range) : ResultingVisitor<MutableList<Either<Command, CodeAction>>>

This visitor gathers actions, that can be executed on nodes within the given range.

CodeLensCollector

class CodeLensCollector : ResultingVisitor<MutableList<out CodeLens>>

Runs through the AST and collect code lens actions.

JmlLanguageServer

class JmlLanguageServer : LanguageServer, LanguageClientAware

class JmlLspCommand : CliktCommand

JmlNotebookDocumentServices

class JmlNotebookDocumentServices : NotebookDocumentService

JmlTextDocumentService

class JmlTextDocumentService(server: JmlLanguageServer) : TextDocumentService

JmlWorkspaceService

class JmlWorkspaceService(val jmlLanguageServer: JmlLanguageServer) : WorkspaceService

object Main

ProjectDefinitionService

class ProjectDefinitionService

ResultingVisitor

abstract class ResultingVisitor<T> : VoidVisitorAdapter<Unit?>

Defines a visitor which produces a result of type T.

data class SmtResult(val out: String, val err: String, val exitCode: Int)

class SmtRunner(val z3Path: String)

value class Uri(val value: String)

Represents URIs send from the client. These are different than Java URI class! Incoming URIs have full protocol specifiers: file://<path with root>.

Properties

val JavaToken.asEndPosition: Position?

val Range.asEndPosition: Position

val Position.asPosition: Position

val Position.asPosition: Position

val Range.asRange: Range

val TokenRange?.asRange: Range?

val Node.asRange: Range

val Optional<TokenRange>.asRange: Range

val Range.asRange: Range

asStartPosition

val Range.asStartPosition: Position

val Position?.toPosition: Position?

Functions

fun Optional<Range>.asRange(): Range