jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
lsp
/
io.github.jmltoolkit.lsp
/
JmlLanguageServer
Jml
Language
Server
class
JmlLanguageServer
:
LanguageServer
,
LanguageClientAware
(
source
)
Members
Constructors
Jml
Language
Server
Link copied to clipboard
constructor
(
)
Properties
notebook
Document
Service
Link copied to clipboard
open
override
val
notebookDocumentService
:
NotebookDocumentService
text
Document
Service
Link copied to clipboard
open
override
val
textDocumentService
:
TextDocumentService
workspace
Service
Link copied to clipboard
open
override
val
workspaceService
:
WorkspaceService
Functions
cancel
Progress
Link copied to clipboard
@
ProtocolSince
(
value
=
"3.15.0"
)
open
fun
cancelProgress
(
params
:
WorkDoneProgressCancelParams
?
)
connect
Link copied to clipboard
open
override
fun
connect
(
client
:
LanguageClient
)
exit
Link copied to clipboard
open
override
fun
exit
(
)
get
Notebook
Document
Service
Link copied to clipboard
open
override
fun
getNotebookDocumentService
(
)
:
NotebookDocumentService
get
Text
Document
Service
Link copied to clipboard
open
override
fun
getTextDocumentService
(
)
:
TextDocumentService
get
Workspace
Service
Link copied to clipboard
open
override
fun
getWorkspaceService
(
)
:
WorkspaceService
initialize
Link copied to clipboard
open
override
fun
initialize
(
params
:
InitializeParams
)
:
CompletableFuture
<
InitializeResult
>
initialized
Link copied to clipboard
@
ProtocolDeprecated
open
fun
initialized
(
)
open
fun
initialized
(
params
:
InitializedParams
?
)
set
Trace
Link copied to clipboard
@
ProtocolSince
(
value
=
"3.16.0"
)
open
fun
setTrace
(
params
:
SetTraceParams
?
)
shutdown
Link copied to clipboard
open
override
fun
shutdown
(
)
:
CompletableFuture
<
Any
>