lsp/io.github.jmltoolkit.lsp/JmlTextDocumentService

JmlTextDocumentService

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

Constructors

constructor(server: JmlLanguageServer)

Properties

highlighters

val highlighters: List<DocumentHighlighter>

jmlDocumentHighlighter

val jmlDocumentHighlighter: JmlDocumentHighlighter

keyDocumentHighlighter

val keyDocumentHighlighter: KeyDocumentHighlighter

repo

val repo: AstRepository

Functions

callHierarchyIncomingCalls

open override fun callHierarchyIncomingCalls(params: CallHierarchyIncomingCallsParams?): CompletableFuture<MutableList<CallHierarchyIncomingCall>>

callHierarchyOutgoingCalls

open override fun callHierarchyOutgoingCalls(params: CallHierarchyOutgoingCallsParams?): CompletableFuture<MutableList<CallHierarchyOutgoingCall>>

codeAction

open override fun codeAction(params: CodeActionParams): CompletableFuture<MutableList<Either<Command, CodeAction>>>

codeLens

open override fun codeLens(params: CodeLensParams): CompletableFuture<MutableList<out CodeLens>>

colorPresentation

open override fun colorPresentation(params: ColorPresentationParams?): CompletableFuture<MutableList<ColorPresentation>>

completion

open override fun completion(position: CompletionParams?): CompletableFuture<Either<MutableList<CompletionItem>, CompletionList>>

declaration

open override fun declaration(params: DeclarationParams): CompletableFuture<Either<MutableList<out Location>, MutableList<out LocationLink>>>

definition

open override fun definition(params: DefinitionParams?): CompletableFuture<Either<MutableList<out Location>, MutableList<out LocationLink>>>

diagnostic

open override fun diagnostic(params: DocumentDiagnosticParams): CompletableFuture<DocumentDiagnosticReport>

didChange

open override fun didChange(params: DidChangeTextDocumentParams)

didClose

open override fun didClose(params: DidCloseTextDocumentParams)

didOpen

open override fun didOpen(params: DidOpenTextDocumentParams)

didSave

open override fun didSave(params: DidSaveTextDocumentParams)

documentColor

open override fun documentColor(params: DocumentColorParams?): CompletableFuture<MutableList<ColorInformation>>

documentHighlight

open fun documentHighlight(params: DocumentHighlightParams?): CompletableFuture<List<out DocumentHighlight?>?>?

documentLink

open override fun documentLink(params: DocumentLinkParams?): CompletableFuture<MutableList<DocumentLink>>

documentLinkResolve

open override fun documentLinkResolve(params: DocumentLink?): CompletableFuture<DocumentLink>

documentSymbol

open override fun documentSymbol(params: DocumentSymbolParams): CompletableFuture<MutableList<Either<SymbolInformation, DocumentSymbol>>>

foldingRange

open override fun foldingRange(params: FoldingRangeRequestParams?): CompletableFuture<MutableList<FoldingRange>>

formatting

open override fun formatting(params: DocumentFormattingParams?): CompletableFuture<MutableList<out TextEdit>>

hover

open override fun hover(params: HoverParams): CompletableFuture<Hover?>

implementation

open override fun implementation(params: ImplementationParams?): CompletableFuture<Either<MutableList<out Location>, MutableList<out LocationLink>>>

inlayHint

open override fun inlayHint(params: InlayHintParams?): CompletableFuture<MutableList<InlayHint>>

inlineCompletion

@ProtocolDraft

@ProtocolSince(value = "3.18.0")

open fun inlineCompletion(params: InlineCompletionParams?): CompletableFuture<Either<List<InlineCompletionItem?>?, InlineCompletionList?>?>?

inlineValue

open override fun inlineValue(params: InlineValueParams?): CompletableFuture<MutableList<InlineValue>>

linkedEditingRange

open override fun linkedEditingRange(params: LinkedEditingRangeParams?): CompletableFuture<LinkedEditingRanges>

moniker

open override fun moniker(params: MonikerParams?): CompletableFuture<MutableList<Moniker>>

onTypeFormatting

open override fun onTypeFormatting(params: DocumentOnTypeFormattingParams?): CompletableFuture<MutableList<out TextEdit>>

prepareCallHierarchy

open override fun prepareCallHierarchy(params: CallHierarchyPrepareParams?): CompletableFuture<MutableList<CallHierarchyItem>>

prepareRename

@ProtocolSince(value = "3.12.0")

open fun prepareRename(params: PrepareRenameParams?): CompletableFuture<Either3<Range?, PrepareRenameResult?, PrepareRenameDefaultBehavior?>?>?

prepareTypeHierarchy

open override fun prepareTypeHierarchy(params: TypeHierarchyPrepareParams?): CompletableFuture<MutableList<TypeHierarchyItem>>

rangeFormatting

open override fun rangeFormatting(params: DocumentRangeFormattingParams?): CompletableFuture<MutableList<out TextEdit>>

rangesFormatting

@ProtocolDraft

@ProtocolSince(value = "3.18.0")

open fun rangesFormatting(params: DocumentRangesFormattingParams?): CompletableFuture<List<out TextEdit?>?>?

references

open override fun references(params: ReferenceParams?): CompletableFuture<MutableList<out Location>>

rename

open override fun rename(params: RenameParams?): CompletableFuture<WorkspaceEdit>

resolveCodeAction

open override fun resolveCodeAction(unresolved: CodeAction?): CompletableFuture<CodeAction>

resolveCodeLens

open override fun resolveCodeLens(unresolved: CodeLens): CompletableFuture<CodeLens>

resolveCompletionItem

open override fun resolveCompletionItem(unresolved: CompletionItem?): CompletableFuture<CompletionItem>

resolveInlayHint

open override fun resolveInlayHint(unresolved: InlayHint?): CompletableFuture<InlayHint>

selectionRange

open override fun selectionRange(params: SelectionRangeParams): CompletableFuture<MutableList<SelectionRange>>

semanticTokensFull

open override fun semanticTokensFull(params: SemanticTokensParams): CompletableFuture<SemanticTokens>

semanticTokensFullDelta

open override fun semanticTokensFullDelta(params: SemanticTokensDeltaParams?): CompletableFuture<Either<SemanticTokens, SemanticTokensDelta>>

semanticTokensRange

open override fun semanticTokensRange(params: SemanticTokensRangeParams?): CompletableFuture<SemanticTokens>

signatureHelp

open override fun signatureHelp(params: SignatureHelpParams): CompletableFuture<SignatureHelp>

typeDefinition

open override fun typeDefinition(params: TypeDefinitionParams?): CompletableFuture<Either<MutableList<out Location>, MutableList<out LocationLink>>>

typeHierarchySubtypes

open override fun typeHierarchySubtypes(params: TypeHierarchySubtypesParams?): CompletableFuture<MutableList<TypeHierarchyItem>>

typeHierarchySupertypes

open override fun typeHierarchySupertypes(params: TypeHierarchySupertypesParams?): CompletableFuture<MutableList<TypeHierarchyItem>>

willSave

open override fun willSave(params: WillSaveTextDocumentParams?)

willSaveWaitUntil

open override fun willSaveWaitUntil(params: WillSaveTextDocumentParams?): CompletableFuture<MutableList<TextEdit>>