Skip to main content

module testing::lang::pico::LanguageServer

rascal-0.43.0
org.rascalmpl.rascal-lsp-2.23.0

Usage​

import testing::lang::pico::LanguageServer;

Dependencies​

extend demo::lang::pico::LanguageServer;
import Node;

data Command​

data Command  
     = testValueEncoding()
     | browseRascalSite()
     | editPico(loc uri)
     | addTodo(loc at)
     | removeTodo(loc at)
     | showWarning(str message, loc at)
     | showContents(str contents)
     | copyFileContents(loc from, loc to)
     | showRascalVersion()
     ;

function testingExecutionService​

Command handler to test JSON serialization of various Rascal value types.

value testingExecutionService(testValueEncoding())

function testingExecutionService​

Command handler from the ((browseRascal)) command

value testingExecutionService(browseRascalSite())

function testingExecutionService​

Command handler from the ((editPico)) command

value testingExecutionService(editPico(loc uri))

function testingExecutionService​

Command handler from the ((registerDiagnostics)) command

value testingExecutionService(addTodo(loc at))

function testingExecutionService​

Command handler from the ((unregisterDiagnostics)) command

value testingExecutionService(removeTodo(loc at))

value testingExecutionService(showWarning(str msg, loc at))

value testingExecutionService(showContents(str contents))

value testingExecutionService(copyFileContents(loc from, loc to))

value testingExecutionService(showRascalVersion())

function declOffset​

loc declOffset(start[Program] input, int off)

function testingCodeLensService​

lrel[loc, Command] testingCodeLensService(start[Program] input)

function amendContributions​

set[LanguageService] amendContributions(set[LanguageService] contributions, set[LanguageService] replacements)

function testingLanguageServer​

set[LanguageService] testingLanguageServer(bool allowRecovery)

function testingLanguageServerSlowSummary​

set[LanguageService] testingLanguageServerSlowSummary(bool allowRecovery)

function testingLanguageServer​

set[LanguageService] testingLanguageServer()

function testingLanguageServerWithRecovery​

set[LanguageService] testingLanguageServerWithRecovery()

function testingLanguageServerSlowSummary​

set[LanguageService] testingLanguageServerSlowSummary()

function testingLanguageServerSlowSummaryWithRecovery​

set[LanguageService] testingLanguageServerSlowSummaryWithRecovery()

function getPicoPathConfig​

PathConfig getPicoPathConfig()

function register​

void register(bool errorRecovery=true)