language-server/tools.samt.ls

Package-level declarations

Types

class FileInfo(val diagnosticContext: DiagnosticContext, val sourceFile: SourceFile, val tokens: List<Token> = emptyList(), val fileNode: FileNode? = null)

FolderSnapshot

data class FolderSnapshot(val sourcePath: URI, val files: List<FileInfo>, val semanticModel: SemanticModel?)

SamtDeclarationLookup

class SamtDeclarationLookup : SamtSemanticLookup<Location, UserDeclared>

SamtFolder

class SamtFolder(val configPath: URI, val sourcePath: URI) : Iterable<FileInfo>

SamtLanguageServer

class SamtLanguageServer : LanguageServer, LanguageClientAware, Closeable

SamtReferencesLookup

class SamtReferencesLookup : SamtSemanticLookup<UserDeclared, List<Location>>

SamtSemanticLookup

abstract class SamtSemanticLookup<TKey, TValue>

SamtSemanticTokens

class SamtSemanticTokens : SamtSemanticLookup<Location, SamtSemanticTokens.Metadata>

SamtTextDocumentService

class SamtTextDocumentService(workspace: SamtWorkspace) : TextDocumentService, LanguageClientAware

SamtWorkspace

class SamtWorkspace

SamtWorkspaceService

class SamtWorkspaceService(workspace: SamtWorkspace) : WorkspaceService, LanguageClientAware

Properties

content

val FileInfo.content: String

path

val FileInfo.path: URI

SAMT_CONFIG_FILE_NAME

val SAMT_CONFIG_FILE_NAME: Path

Functions

findAt

fun List<Token>.findAt(position: Position): Token?

Finds a non-structure token at the given position. A token is considered to be at the given position if the position is within the token's location.

findSamtConfigs

fun findSamtConfigs(path: Path): List<Path>

getSymbols

fun FileNode.getSymbols(): List<DocumentSymbol>

main

fun main(args: Array<String>)

parseFile

fun parseFile(sourceFile: SourceFile): FileInfo

readAndParseFile

fun readAndParseFile(uri: URI): FileInfo

redirectLogs

fun redirectLogs(client: LanguageClient)

toDiagnostic

fun DiagnosticMessage.toDiagnostic(): Diagnostic?

toLspSeverity

fun DiagnosticSeverity.toLspSeverity(): DiagnosticSeverity

toRange

fun Location.toRange(): Range

updateWorkspace

fun LanguageClient.updateWorkspace(workspace: SamtWorkspace)