if false

milahu · Apr 2, 2023 · cb15b1e · cb15b1e
1 parent aa12bc5
commit cb15b1e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/database/sqlite3.ksy b/database/sqlite3.ksy
@@ -50,6 +50,12 @@ instances:
     size: header.page_size
     repeat: expr
     repeat-expr: header.num_pages
+    doc: |
+      "if false" is a workaround for lazy parsing of db.pages.
+      the main parser will parse only the first page as db.header
+      and the user is responsible to parse any further pages.
+      TODO how exactly? add example code
+    if: false
 types:
   database_header:
     seq: