From 06d9212e5901b8b73e17bb8938b0c4542a42770b Mon Sep 17 00:00:00 2001 From: nea Date: Fri, 13 Aug 2021 00:54:39 +0200 Subject: test basics --- src/main/kotlin/Path.kt | 75 ----------------------------------- src/main/kotlin/WebOS.kt | 80 ------------------------------------- src/main/kotlin/files.kt | 86 ---------------------------------------- src/main/kotlin/util/sequence.kt | 5 --- src/main/resources/index.html | 17 -------- 5 files changed, 263 deletions(-) delete mode 100644 src/main/kotlin/Path.kt delete mode 100644 src/main/kotlin/WebOS.kt delete mode 100644 src/main/kotlin/files.kt delete mode 100644 src/main/kotlin/util/sequence.kt delete mode 100644 src/main/resources/index.html (limited to 'src/main') diff --git a/src/main/kotlin/Path.kt b/src/main/kotlin/Path.kt deleted file mode 100644 index 0e209cf..0000000 --- a/src/main/kotlin/Path.kt +++ /dev/null @@ -1,75 +0,0 @@ -import util.expandWith - -sealed interface Path { - val parts: List - fun toAbsolutePath(relativeTo: Absolute): Absolute { - return relativeTo.resolve(this) - } - - fun resolve(path: Path): Path - - companion object { - val root = Absolute(listOf()) - - fun ofShell(string: String, userHome: Absolute): Path = - ofShell(string.split("/"), userHome) - - fun ofShell(vararg parts: String, userHome: Absolute): Path = - ofShell(parts.toList(), userHome) - - fun of(vararg parts: String): Path = - of(parts.toList()) - - fun of(string: String): Path = - of(string.split("/")) - - fun ofShell(parts: List, userHome: Absolute): Path { - if (parts.firstOrNull() == "~") - return userHome.resolve(Relative(parts.subList(1, parts.size).filter { it.isNotEmpty() })) - return of(parts) - } - - fun of(parts: List): Path { - if (parts.isEmpty()) - return root - if (parts[0] == "") // Starts with a / - return Absolute(parts.subList(1, parts.size).filter { it.isNotEmpty() }) - return Relative(parts.filter { it.isNotEmpty() }) - } - } - - data class Relative internal constructor(override val parts: List) : Path { - override fun resolve(path: Path): Path { - if (path is Absolute) return path - return Relative(this.parts + path.parts) - } - } - - data class Absolute internal constructor(override val parts: List) : Path { - override fun resolve(path: Path): Absolute { - if (path is Absolute) return path - return Absolute(this.parts + path.parts) - } - - fun relativize(path: Path): Relative = when (path) { - is Relative -> path - is Absolute -> { - var commonPrefix = true - val partList = mutableListOf() - var returns = 0 - for ((idx, part) in path.parts.withIndex()) { - if (idx < this.parts.size) { - if (this.parts[idx] == part && commonPrefix) { - continue - } else { - commonPrefix = false - returns++ - } - } - partList.add(part) - } - Relative(List(returns) { ".." } + partList) - } - } - } -} diff --git a/src/main/kotlin/WebOS.kt b/src/main/kotlin/WebOS.kt deleted file mode 100644 index 9160a75..0000000 --- a/src/main/kotlin/WebOS.kt +++ /dev/null @@ -1,80 +0,0 @@ -import kotlinx.browser.document -import kotlinx.browser.window -import org.w3c.dom.Element -import org.w3c.dom.asList - -fun main() { - console.log("Hello from Kotlin") - val webos = WebOS() - document.body?.addEventListener("load", { - document.body?.querySelectorAll(".webosconsole")?.asList()?.forEach { - if (it !is Element) return@forEach - webos.registerConsole(it) - } - }) -} - -data class CharacterRun(val text: String, val color: String) - -abstract class Activity(val console: Console) { - abstract fun render(columns: Int, rows: Int): List> -} - -class Console(val os: WebOS, val renderElement: Element?) { - val isVirtual get() = renderElement == null - val activityStack = ArrayDeque() - - var columns: Int = 80 - var rows: Int = 46 - - var shouldRerender = true - - var currentUser: User? = null - - private var _workingDirectory: Path.Absolute? = null - - var workingDirectory: Path.Absolute - get() = _workingDirectory ?: currentUser?.homeDirectory ?: Path.root - set(value) { - _workingDirectory = value - } - - fun openActivity(activity: Activity) { - activityStack.addLast(activity) - invalidateRender() - } - - fun render() { - if (renderElement == null) return - if (!shouldRerender) return - shouldRerender = false - activityStack.last() - } - - fun invalidateRender() { - shouldRerender = true - window.requestAnimationFrame { render() } - } - - fun resize(newColumns: Int, newRows: Int) { - invalidateRender() - } - - // TODO: Handle resizes of the renderElement - -} - -class WebOS { - private val _consoles = mutableListOf() - val consoles get() = _consoles.toList() - val files = IOHandler() - fun registerConsole(element: Element) { - _consoles.add(Console(this, element)) - } -} - -data class User( - val name: String, - val homeDirectory: Path.Absolute -) - diff --git a/src/main/kotlin/files.kt b/src/main/kotlin/files.kt deleted file mode 100644 index 990ae7e..0000000 --- a/src/main/kotlin/files.kt +++ /dev/null @@ -1,86 +0,0 @@ -class IOHandler { - val mounts = mutableListOf() - fun mount(absolutePath: Path.Absolute, fileSystem: FileSystem) { - if (mounts.any { it.mountPoint == absolutePath }) - return // TODO sensible error message handling - mounts += Mount(absolutePath, fileSystem) - } - - fun unmount(mountPoint: Path.Absolute) { - mounts.removeAll { it.mountPoint == mountPoint } - } - - fun findMountFor( - workingDirectory: Path.Absolute, - path: Path, - operation: FileSystem.(relativePath: Path) -> T - ): T { - val absolutPath = path.toAbsolutePath(workingDirectory) - val mount = mounts.filter { - it.mountPoint.parts.zip(absolutPath.parts).all { (a, b) -> a == b } - }.maxByOrNull { it.mountPoint.parts.size } ?: throw IllegalStateException("No mount present") - return mount.fileSystem.operation( - Path.Absolute( - absolutPath.parts.subList( - mount.mountPoint.parts.size, - absolutPath.parts.size - ) - ) // TODO: unangenehm - ) - } - - fun findINode(absolutePath: Path.Absolute): INode { - val mount = mounts.filter { - it.mountPoint.parts.zip(absolutePath.parts).all { (a, b) -> a == b } - }.maxByOrNull { it.mountPoint.parts.size } ?: throw IllegalStateException("No mount present") - val iNode = mount.fileSystem.getINode(absolutePath.relativize(mount.mountPoint)) - return when (iNode) { - is INodeResult.File -> iNode.op - is INodeResult.ResolveAgain -> findINode(absolutePath.resolve(iNode.relativeToOriginal)) - } - } - - fun read(workingDirectory: Path.Absolute, path: Path): ReadResult = - findMountFor(workingDirectory, path) { read(it) } - - fun write(workingDirectory: Path.Absolute, path: Path, data: ByteArray): Unit = - findMountFor(workingDirectory, path) { write(it, data) } - - fun stat(workingDirectory: Path.Absolute, path: Path): Unit = - findMountFor(workingDirectory, path) { stat(it) } -} - -interface INode { - val fs: FileSystem -} - -sealed interface INodeResult { - class File(val op: INode) : INodeResult - class ResolveAgain(val relativeToOriginal: Path): INodeResult -} - -interface FileSystem { - fun getINode(relativePath: Path.Relative): INodeResult - fun read(relativePath: Path): ReadResult - fun write(path: Path, data: ByteArray): Unit // Write result - fun stat(path: Path): Unit // TODO Stat result -} - -sealed class ReadResult { - class Success(val text: String) : ReadResult() - object NotFound : ReadResult() - object NoAccess : ReadResult() -} - -data class Mount( - val mountPoint: Path.Absolute, - val fileSystem: FileSystem -) - -data class Stat( - val exists: Boolean, - var owner: User, - val created: Long, - val edited: Long, - val size: Long -) diff --git a/src/main/kotlin/util/sequence.kt b/src/main/kotlin/util/sequence.kt deleted file mode 100644 index 72b07dc..0000000 --- a/src/main/kotlin/util/sequence.kt +++ /dev/null @@ -1,5 +0,0 @@ -package util - -fun Iterable.expandWith(t: T): Sequence = - this.asSequence() + generateSequence { t }.asSequence() - diff --git a/src/main/resources/index.html b/src/main/resources/index.html deleted file mode 100644 index 719506b..0000000 --- a/src/main/resources/index.html +++ /dev/null @@ -1,17 +0,0 @@ - - - - - - - WebOs - - - -
- -
- - - -- cgit