errors.aug diagrams

Checked failures

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.

load

Source

It takes fail as a boolean.

Failures can raise FileError.

100%

Mermaid source

sequenceDiagram
    participant p0 as load

    alt fail is true
    p0->>p0: FileError()
    p0-->>p0: FileError result: FileError
    Note over p0: Raise checked failure FileError()； required cleanup runs<br/>before exit
    end
    Note over p0: Return ”loaded”； required cleanup runs before exit
    Note over p0: May leave with checked errors: FileError