lsp/io.github.jmltoolkit.lsp.actions

Package-level declarations

Types

interface LspAction<T : Node>

This class encapsulates both the execution of an action on the ast, and the metadata.

VerifyAgainstParent

object VerifyAgainstParent : LspAction<JmlContract>

WellDefinednessCheck

object WellDefinednessCheck : LspAction<Expression>