curioustorvald/Terrarum
1
0
Fork 0
mirror of https://github.com/curioustorvald/Terrarum.git synced 2026-06-13 12:04:06 +09:00
Code Issues Packages Projects Releases Wiki Activity

btex: deserialisation of hyperlinks

Browse Source
This commit is contained in:
minjaesong
2024-06-02 16:55:31 +09:00
parent 33acbcea4d
commit 8c6050528d
1 changed files with 31 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
src/net/torvald/btex/BTeXDocument.kt
View File

@@ -17,6 +17,7 @@ import net.torvald.terrarum.modulecomputers.virtualcomputer.tvd.archivers.Cluste
import net.torvald.terrarum.modulecomputers.virtualcomputer.tvd.archivers.Clustfile import net.torvald.terrarum.modulecomputers.virtualcomputer.tvd.archivers.Clustfile
import net.torvald.terrarum.modulecomputers.virtualcomputer.tvd.archivers.ClustfileOutputStream import net.torvald.terrarum.modulecomputers.virtualcomputer.tvd.archivers.ClustfileOutputStream
import net.torvald.terrarum.serialise.Common import net.torvald.terrarum.serialise.Common
import net.torvald.terrarum.toInt
import net.torvald.terrarum.tryDispose import net.torvald.terrarum.tryDispose
import net.torvald.terrarum.ui.Toolkit import net.torvald.terrarum.ui.Toolkit
import net.torvald.terrarum.utils.JsonFetcher import net.torvald.terrarum.utils.JsonFetcher
@@ -107,7 +108,6 @@ class BTeXDocument : Disposable {
doc.fromArchive = true doc.fromArchive = true
doc.pageTextures = Array(pageCount) { null } doc.pageTextures = Array(pageCount) { null }
println("Title: ${doc.theTitle}") println("Title: ${doc.theTitle}")
println("Pages: $pageCount") println("Pages: $pageCount")
@@ -131,7 +131,36 @@ class BTeXDocument : Disposable {
} }
} }
// TODO read hrefs.json doc.pages.let {
it.clear()
repeat(pageCount) { _ ->
it.add(BTeXPage(doc, Color.WHITE, doc.pageTextures[0]!!.regionWidth, doc.pageTextures[0]!!.regionHeight))
}
}
// read hrefs.json
val hrefs = Clustfile(DOM, "/hrefs.json")
if (hrefs.exists()) {
val hrefReader = hrefs.readBytes().toString(Common.CHARSET).reader()
val hrefJson = JsonFetcher.readFromJsonString(hrefReader)
JsonFetcher.forEachSiblings(hrefJson) { pageNum, value ->
val pageNum = pageNum.toInt()
JsonFetcher.forEachSiblings(value) { _, hrefObj ->
doc.pages[pageNum].appendClickable(
BTeXClickable(
hrefObj.get("x").asInt(),
hrefObj.get("y").asInt(),
hrefObj.get("w").asInt(),
hrefObj.get("h").asInt(),
false
) {
hrefObj.get("a").asInt()
}
)
}
}
}
ra.close() ra.close()