main.aug diagrams

Lists, tuples, sets, and maps

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.

Startup

Source

Sequence 1 of 2

100%

Mermaid source

sequenceDiagram
    participant p0 as Startup
    participant p1 as August runtime
    opt Try body； stops on a checked failure
    p0->>p0: List‹int›(input 1=2, input 2=4)
    p0-->>p0: numbers: List‹int›
    rect rgb(245, 240, 241)
    Note over p0: Enter borrow scope
    p0->>p0: numbers.append(value=6)
    Note over p0: Leave borrow scope
    end
    p0->>p0: numbers.length()
    p0-->>p0: length result: int
    p0->>p1: print(value=length result)
    p0->>p0: numbers.get(index=1)
    p0-->>p0: get result: int
    p0->>p1: print(value=get result)
    p0->>p0: Map‹string, int›()
    p0-->>p0: scores: Map‹string, int›
    rect rgb(245, 240, 241)
    Note over p0: Enter borrow scope
    p0->>p0: scores.set(value=42, key=”ada”)
    Note over p0: Leave borrow scope
    end
    p0->>p0: scores.contains(key=”ada”)
    p0-->>p0: contains result: bool
    p0->>p1: print(value=contains result)
    p0->>p0: scores.get(key=”ada”)
    p0-->>p0: get result 2: optional int
    p0->>p1: print(value=get result 2)
    p0->>p0: scores.length()
    p0-->>p0: length result 2: int
    end

Sequence 2 of 2 (continued)

100%

Mermaid source

sequenceDiagram
    participant p0 as Startup
    participant p1 as August runtime
    opt Try body； stops on a checked failure
    Note over p0: Sequence continued from the previous view
    p0->>p1: print(value=length result 2)
    end
    opt Catch IndexError
    p0->>p1: print(value=”unexpected index failure”)
    end