lsp/io.github.jmltoolkit.lsp.actions/WellDefinednessCheck

WellDefinednessCheck

object WellDefinednessCheck : LspAction<Expression> (source)

Properties

open override val id: String

open override val title: String

Functions

open fun command(args: List<Any>? = null): Command

createCodeAction

fun createCodeAction(n: Expression): CodeAction

open override fun createCodeLens(node: Expression): CodeLens

fun createCommand(node: Expression): Command

open override fun execute(server: JmlLanguageServer, value: List<Any>): CompletableFuture<Any>