lsp/io.github.jmltoolkit.lsp/JmlTextDocumentService

JmlTextDocumentService

class JmlTextDocumentService(server: JmlLanguageServer) : TextDocumentService(source)

Constructors

Link copied to clipboard
constructor(server: JmlLanguageServer)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun callHierarchyIncomingCalls(params: CallHierarchyIncomingCallsParams?): CompletableFuture<List<CallHierarchyIncomingCall?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun callHierarchyOutgoingCalls(params: CallHierarchyOutgoingCallsParams?): CompletableFuture<List<CallHierarchyOutgoingCall?>?>?
Link copied to clipboard
open override fun codeAction(params: CodeActionParams): CompletableFuture<MutableList<Either<Command, CodeAction>>>
Link copied to clipboard
open override fun codeLens(params: CodeLensParams): CompletableFuture<MutableList<out CodeLens>>
Link copied to clipboard
@ProtocolSince(value = "3.6.0")
open fun colorPresentation(params: ColorPresentationParams?): CompletableFuture<List<ColorPresentation?>?>?
Link copied to clipboard
open fun completion(position: CompletionParams?): CompletableFuture<Either<List<CompletionItem?>?, CompletionList?>?>?
Link copied to clipboard
open override fun declaration(params: DeclarationParams): CompletableFuture<Either<MutableList<out Location>, MutableList<out LocationLink>>>
Link copied to clipboard
open fun definition(params: DefinitionParams?): CompletableFuture<Either<List<out Location?>?, List<out LocationLink?>?>?>?
Link copied to clipboard
open override fun diagnostic(params: DocumentDiagnosticParams): CompletableFuture<DocumentDiagnosticReport>
Link copied to clipboard
open override fun didChange(params: DidChangeTextDocumentParams)
Link copied to clipboard
open override fun didClose(params: DidCloseTextDocumentParams)
Link copied to clipboard
open override fun didOpen(params: DidOpenTextDocumentParams)
Link copied to clipboard
open override fun didSave(params: DidSaveTextDocumentParams)
Link copied to clipboard
@ProtocolSince(value = "3.6.0")
open fun documentColor(params: DocumentColorParams?): CompletableFuture<List<ColorInformation?>?>?
Link copied to clipboard
open fun documentHighlight(params: DocumentHighlightParams?): CompletableFuture<List<out DocumentHighlight?>?>?
Link copied to clipboard
open fun documentLink(params: DocumentLinkParams?): CompletableFuture<List<DocumentLink?>?>?
Link copied to clipboard
open fun documentLinkResolve(params: DocumentLink?): CompletableFuture<DocumentLink?>?
Link copied to clipboard
open override fun documentSymbol(params: DocumentSymbolParams): CompletableFuture<MutableList<Either<SymbolInformation, DocumentSymbol>>>
Link copied to clipboard
open override fun foldingRange(params: FoldingRangeRequestParams): CompletableFuture<List<FoldingRange>>
Link copied to clipboard
open fun formatting(params: DocumentFormattingParams?): CompletableFuture<List<out TextEdit?>?>?
Link copied to clipboard
open override fun hover(params: HoverParams): CompletableFuture<Hover?>
Link copied to clipboard
@ProtocolSince(value = "3.6.0")
open fun implementation(params: ImplementationParams?): CompletableFuture<Either<List<out Location?>?, List<out LocationLink?>?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun inlayHint(params: InlayHintParams?): CompletableFuture<List<InlayHint?>?>?
Link copied to clipboard
@ProtocolDraft
@ProtocolSince(value = "3.18.0")
open fun inlineCompletion(params: InlineCompletionParams?): CompletableFuture<Either<List<InlineCompletionItem?>?, InlineCompletionList?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun inlineValue(params: InlineValueParams?): CompletableFuture<List<InlineValue?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun linkedEditingRange(params: LinkedEditingRangeParams?): CompletableFuture<LinkedEditingRanges?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun moniker(params: MonikerParams?): CompletableFuture<List<Moniker?>?>?
Link copied to clipboard
open fun onTypeFormatting(params: DocumentOnTypeFormattingParams?): CompletableFuture<List<out TextEdit?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun prepareCallHierarchy(params: CallHierarchyPrepareParams?): CompletableFuture<List<CallHierarchyItem?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.12.0")
open fun prepareRename(params: PrepareRenameParams?): CompletableFuture<Either3<Range?, PrepareRenameResult?, PrepareRenameDefaultBehavior?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun prepareTypeHierarchy(params: TypeHierarchyPrepareParams?): CompletableFuture<List<TypeHierarchyItem?>?>?
Link copied to clipboard
open fun rangeFormatting(params: DocumentRangeFormattingParams?): CompletableFuture<List<out TextEdit?>?>?
Link copied to clipboard
@ProtocolDraft
@ProtocolSince(value = "3.18.0")
open fun rangesFormatting(params: DocumentRangesFormattingParams?): CompletableFuture<List<out TextEdit?>?>?
Link copied to clipboard
open fun references(params: ReferenceParams?): CompletableFuture<List<out Location?>?>?
Link copied to clipboard
open fun rename(params: RenameParams?): CompletableFuture<WorkspaceEdit?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun resolveCodeAction(unresolved: CodeAction?): CompletableFuture<CodeAction?>?
Link copied to clipboard
open override fun resolveCodeLens(unresolved: CodeLens): CompletableFuture<CodeLens>
Link copied to clipboard
open fun resolveCompletionItem(unresolved: CompletionItem?): CompletableFuture<CompletionItem?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun resolveInlayHint(unresolved: InlayHint?): CompletableFuture<InlayHint?>?
Link copied to clipboard
open override fun selectionRange(params: SelectionRangeParams): CompletableFuture<MutableList<SelectionRange>>
Link copied to clipboard
open override fun semanticTokensFull(params: SemanticTokensParams): CompletableFuture<SemanticTokens>
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun semanticTokensFullDelta(params: SemanticTokensDeltaParams?): CompletableFuture<Either<SemanticTokens?, SemanticTokensDelta?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.16.0")
open fun semanticTokensRange(params: SemanticTokensRangeParams?): CompletableFuture<SemanticTokens?>?
Link copied to clipboard
open override fun signatureHelp(params: SignatureHelpParams): CompletableFuture<SignatureHelp>
Link copied to clipboard
@ProtocolSince(value = "3.6.0")
open fun typeDefinition(params: TypeDefinitionParams?): CompletableFuture<Either<List<out Location?>?, List<out LocationLink?>?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun typeHierarchySubtypes(params: TypeHierarchySubtypesParams?): CompletableFuture<List<TypeHierarchyItem?>?>?
Link copied to clipboard
@ProtocolSince(value = "3.17.0")
open fun typeHierarchySupertypes(params: TypeHierarchySupertypesParams?): CompletableFuture<List<TypeHierarchyItem?>?>?
Link copied to clipboard
open fun willSave(params: WillSaveTextDocumentParams?)
Link copied to clipboard
open fun willSaveWaitUntil(params: WillSaveTextDocumentParams?): CompletableFuture<List<TextEdit?>?>?
Generated by Dokka
© 2026 Copyright