lsp/io.github.jmltoolkit.lsp.actions/VerifyAgainstParent

VerifyAgainstParent

object VerifyAgainstParent : LspAction<JmlContract> (source)

Properties

open override val id: String

open override val title: String

Functions

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

open override fun createCodeLens(node: JmlContract): CodeLens

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