feat(reader): Improved error correction

Add policies to control reading behavior. Implement techniques to support files with erroneous data.
wyskoj · Jul 9, 2024 · 8f8f565 · 8f8f565
1 parent b77d4aa
commit 8f8f565
Show file tree

Hide file tree

Showing 3 changed files with 430 additions and 137 deletions.
diff --git a/src/commonMain/kotlin/org/wysko/kmidi/ArrayInputStream.kt b/src/commonMain/kotlin/org/wysko/kmidi/ArrayInputStream.kt
@@ -29,6 +29,9 @@ internal class ArrayInputStream(
     var position = 0
         private set
 
+    val available: Int
+        get() = bytes.size - position
+
     fun read(): Byte = if (position < bytes.size) bytes[position++] else throw UnexpectedEndOfFileException()
 
     fun readWord(): Short = (read().toShort() shl 8) or read()