strips/pork
2
0
Fork 0
mirror of https://github.com/GayPizzaSpecifications/pork.git synced 2025-11-04 09:59:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

stdlib: generate stdlib.manifest

Browse Source
This commit is contained in:
Alex Zenla
2023-09-10 20:47:50 -04:00
parent e8c984f2dc
commit 033da5b2ea
9 changed files with 87 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
stdlib/src/main/kotlin/gay/pizza/pork/stdlib/PorkStdlib.kt
View File

@ -8,7 +8,7 @@ object PorkStdlib : ContentSource {
private val stdlibClass = PorkStdlib::class.java
private fun readManifestFiles(): List<String> {
val manifestContent = read("stdlib.manifest", check = false)
val manifestContent = read("stdlib.manifest")
return manifestContent.split("\n").filter { line ->
val trimmed = line.trim()
trimmed.isNotEmpty() && !trimmed.startsWith("#")
@ -17,17 +17,21 @@ object PorkStdlib : ContentSource {
val files: List<String> = readManifestFiles()
private fun read(path: String, check: Boolean = true): String {
if (check && !files.contains(path)) {
private fun readPorkFile(path: String): String {
if (!files.contains(path)) {
throw RuntimeException("Stdlib does not contain file '${path}'")
}
val stream = stdlibClass.getResourceAsStream("/pork/stdlib/${path}")
?: throw RuntimeException("Stdlib does not contain file '${path}'")
return read("stdlib/${path}")
}
private fun read(path: String): String {
val stream = stdlibClass.getResourceAsStream("/pork/${path}")
?: throw RuntimeException("Unable to find file '${path}'")
return String(stream.readAllBytes())
}
override fun loadAsCharSource(path: String): CharSource {
return StringCharSource(read(path))
return StringCharSource(readPorkFile(path))
}
override fun stableContentIdentity(path: String): String {

3
stdlib/src/main/pork/stdlib.manifest
View File

@ -1,3 +0,0 @@
lang/prelude.pork
ffi/malloc.pork
numerics/operator.pork