language-servers/texlab
1
0
Fork 0
mirror of https://github.com/latex-lsp/texlab.git synced 2025-12-23 09:19:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix resolution of MiKTeX files

Browse source
This commit is contained in:
Eric Förster 2019-03-30 20:23:15 +01:00
parent e9fb12e03e
commit 2f146f96f2
1 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/main/kotlin/texlab/resolver/LatexResolver.kt
View file

@ -99,7 +99,7 @@ class LatexResolver(val filesByName: Map<String, File>) {
.filter { it.extension.matches(Regex("""fndb-\d+""")) }
.map { ByteBuffer.wrap(Files.readAllBytes(it.toPath())) }
.map { it.order(ByteOrder.LITTLE_ENDIAN) }
.flatMap { parseMiktexDatabase(it) }
.flatMap { parseMiktexDatabase(rootDirectories, it) }
} else {
emptySequence()
}
@ -131,7 +131,8 @@ class LatexResolver(val filesByName: Map<String, File>) {
}
}
private fun parseMiktexDatabase(buffer: ByteBuffer): Sequence<File> = sequence {
private fun parseMiktexDatabase(rootDirectories: List<Path>,
buffer: ByteBuffer): Sequence<File> = sequence {
if (buffer.getInt(0) != FNDB_SIGNATURE) {
val error = TexDistributionError.INVALID_DISTRIBUTION
throw InvalidTexDistributionException(error)
@ -144,8 +145,12 @@ class LatexResolver(val filesByName: Map<String, File>) {
val offset = tableAddress + i * FNDB_ENTRY_SIZE
val fileName = buffer.getString(buffer.getInt(offset))
val directory = buffer.getString(buffer.getInt(offset + FNDB_WORD_SIZE))
val file = Paths.get(directory, fileName).toFile()
yield(file)
rootDirectories.forEach {
val file = Paths.get(it.toString(), directory, fileName).toFile()
if (file.exists()) {
yield(file)
}
}
}
}
}