language-server/tools.samt.ls/SamtWorkspace

SamtWorkspace

class SamtWorkspace

Constructors

constructor()

Functions

fun addFolder(folder: SamtFolder)

buildSemanticModel

fun buildSemanticModel()

fun clearChanges()

fun containsFile(path: URI): Boolean

fun getFile(path: URI): FileInfo?

getFolderSnapshot

fun getFolderSnapshot(path: URI): FolderSnapshot?

getPendingMessages

fun getPendingMessages(): Map<URI, List<DiagnosticMessage>>

getSemanticModel

fun getSemanticModel(path: URI): SemanticModel?

removeDirectory

fun removeDirectory(path: URI)

fun removeFile(path: URI)

fun removeFolder(configPath: URI)

fun setFile(file: FileInfo)