package/@greenpandastudios/aug-sqlite@0.2.0/contracts.aug diagrams

A database with SQLite

Project overview · Compiled explanation

Sequences

Call arrows identify checked targets; loop and branch frames determine when they run. Open that target’s module to follow its implementation. Branches describe alternatives; loops describe repeated work. Native calls and interface dispatch stop at their declared contracts. Exit notes end that path; enclosing recovery and cleanup remain visible.

SqliteError constructor

Source

It implements Error.

It takes code as an integer, kept read-only and message as a string, kept read-only.

Receive fields: code, message. Explanation.

DatabaseStorage.open

Source

It takes path as a string.

It returns ownership of Database. It can call DatabaseStorage.open. Failures can raise SqliteError.

May leave with checked errors: SqliteError. Interface contract; implementation selected at runtime. Explanation.