main.aug diagrams

A small tested application

Project overview · Compiled explanation

Class interactions

100%

Mermaid source

flowchart TD
    n0["Calculator"]
    n1["load"]
    n2["main.aug"]
    n2 -->|"calls； calls add"| n0
    n2 -->|"calls"| n1

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 Calculator
    participant p2 as calculator: Calculator
    participant p3 as August runtime
    participant p4 as calculator
    opt Try body； stops on a checked failure
    Note over p0: Set numbers to ［1, 2］
    Note over p0: Set pair to (1, ”apple”)
    Note over p0: Set unique to ｛1, 2, 1｝
    Note over p0: Set fruit to ｛1: ”apples”, 2: ”pears”｝
    p0->>p1: Calculator()
    p1-->>p0: calculator: Calculator
    p0->>p0: numbers.get(index=1)
    p0-->>p0: get result: int
    p0->>p0: numbers.get(index=0)
    p0-->>p0: get result 2: int
    p0->>p2: add(right=get result, left=get result 2)
    p2-->>p0: add result: int
    p0->>p3: print(value=add result)
    p0->>p0: pair.get(index=1)
    p0-->>p0: get result 3: string
    p0->>p3: print(value=get result 3)
    p0->>p0: unique.length()
    p0-->>p0: length result: int
    p0->>p3: print(value=length result)
    p0->>p0: fruit.get(key=2)
    p0-->>p0: get result 4: optional string
    p0->>p3: print(value=get result 4)
    opt Try body； stops on a checked failure
    p0->>p4: load(fail=true)
    p4-->>p0: load result: string
    end
    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
    opt Try body； stops on a checked failure
    Note over p0: Sequence continued from the previous view
    p0->>p1: print(value=load result)
    end
    opt Catch FileError
    p0->>p1: print(value=”load failed as expected”)
    end
    end
    opt Catch IndexError
    p0->>p1: print(value=”unexpected index failure”)
    end

Called contracts

• Calculator — calculator.aug
• Calculator.add — calculator.aug
• load — calculator.aug