language-server/tools.samt.ls/SamtTextDocumentService

SamtTextDocumentService

class SamtTextDocumentService(workspace: SamtWorkspace) : TextDocumentService, LanguageClientAware

Constructors

constructor(workspace: SamtWorkspace)

Functions

open fun callHierarchyIncomingCalls(p0: CallHierarchyIncomingCallsParams): CompletableFuture<MutableList<CallHierarchyIncomingCall>>

callHierarchyOutgoingCalls

open fun callHierarchyOutgoingCalls(p0: CallHierarchyOutgoingCallsParams): CompletableFuture<MutableList<CallHierarchyOutgoingCall>>

codeAction

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

codeLens

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

colorPresentation

open fun colorPresentation(p0: ColorPresentationParams): CompletableFuture<MutableList<ColorPresentation>>

completion

open fun completion(p0: CompletionParams): CompletableFuture<Either<MutableList<CompletionItem>, CompletionList>>

connect

open override fun connect(client: LanguageClient)

declaration

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

definition

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

diagnostic

open fun diagnostic(p0: 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 fun documentColor(p0: DocumentColorParams): CompletableFuture<MutableList<ColorInformation>>

documentHighlight

open fun documentHighlight(p0: DocumentHighlightParams): CompletableFuture<MutableList<out DocumentHighlight>>

documentLink

open fun documentLink(p0: DocumentLinkParams): CompletableFuture<MutableList<DocumentLink>>

documentLinkResolve

open fun documentLinkResolve(p0: DocumentLink): CompletableFuture<DocumentLink>

documentSymbol

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

foldingRange

open fun foldingRange(p0: FoldingRangeRequestParams): CompletableFuture<MutableList<FoldingRange>>

formatting

open fun formatting(p0: DocumentFormattingParams): CompletableFuture<MutableList<out TextEdit>>

hover

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

implementation

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

inlayHint

open fun inlayHint(p0: InlayHintParams): CompletableFuture<MutableList<InlayHint>>

inlineValue

open fun inlineValue(p0: InlineValueParams): CompletableFuture<MutableList<InlineValue>>

linkedEditingRange

open fun linkedEditingRange(p0: LinkedEditingRangeParams): CompletableFuture<LinkedEditingRanges>

moniker

open fun moniker(p0: MonikerParams): CompletableFuture<MutableList<Moniker>>

onTypeFormatting

open fun onTypeFormatting(p0: DocumentOnTypeFormattingParams): CompletableFuture<MutableList<out TextEdit>>

prepareCallHierarchy

open fun prepareCallHierarchy(p0: CallHierarchyPrepareParams): CompletableFuture<MutableList<CallHierarchyItem>>

prepareRename

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

prepareTypeHierarchy

open fun prepareTypeHierarchy(p0: TypeHierarchyPrepareParams): CompletableFuture<MutableList<TypeHierarchyItem>>

rangeFormatting

open fun rangeFormatting(p0: DocumentRangeFormattingParams): CompletableFuture<MutableList<out TextEdit>>

references

open override fun references(params: ReferenceParams): CompletableFuture<List<Location>>

rename

open fun rename(p0: RenameParams): CompletableFuture<WorkspaceEdit>

resolveCodeAction

open fun resolveCodeAction(p0: CodeAction): CompletableFuture<CodeAction>

resolveCodeLens

open fun resolveCodeLens(p0: CodeLens): CompletableFuture<CodeLens>

resolveCompletionItem

open fun resolveCompletionItem(p0: CompletionItem): CompletableFuture<CompletionItem>

resolveInlayHint

open fun resolveInlayHint(p0: InlayHint): CompletableFuture<InlayHint>

selectionRange

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

semanticTokensFull

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

semanticTokensFullDelta

open fun semanticTokensFullDelta(p0: SemanticTokensDeltaParams): CompletableFuture<Either<SemanticTokens, SemanticTokensDelta>>

semanticTokensRange

open fun semanticTokensRange(p0: SemanticTokensRangeParams): CompletableFuture<SemanticTokens>

signatureHelp

open fun signatureHelp(p0: SignatureHelpParams): CompletableFuture<SignatureHelp>

typeDefinition

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

typeHierarchySubtypes

open fun typeHierarchySubtypes(p0: TypeHierarchySubtypesParams): CompletableFuture<MutableList<TypeHierarchyItem>>

typeHierarchySupertypes

open fun typeHierarchySupertypes(p0: TypeHierarchySupertypesParams): CompletableFuture<MutableList<TypeHierarchyItem>>

willSave

open fun willSave(p0: WillSaveTextDocumentParams)

willSaveWaitUntil

open fun willSaveWaitUntil(p0: WillSaveTextDocumentParams): CompletableFuture<MutableList<TextEdit>>