lsp/io.github.jmltoolkit.lsp/AstRepository

AstRepository

class AstRepository(val server: JmlLanguageServer)(source)

Constructors

constructor(server: JmlLanguageServer)

Properties

val cached: MutableMap<Uri, ParseResult<CompilationUnit>>

val config: ParserConfiguration

val inParsing: MutableMap<Uri, CompletableFuture<ParseResult<CompilationUnit>>>

val server: JmlLanguageServer

val symbolSolver: JavaSymbolSolver

val typeSolver: TypeSolver

val version: MutableMap<Uri, Long>

Functions

addSourceFolder

fun addSourceFolder(folder: Path)

fun crc32(content: String): Long

createJavaParser

fun createJavaParser(): JavaParser

fun get(path: Uri): CompletableFuture<ParseResult<CompilationUnit>>

fun getDiagnostics(path: Uri): CompletableFuture<MutableList<Diagnostic>>

updateTypeSolver

fun updateTypeSolver()