main.aug diagrams

Read access and mutable borrows

Project overview · Compiled explanation

Class interactions

100%

Mermaid source

flowchart TD
    n0["Counter"]
    n1["main.aug"]
    n1 -->|"calls； calls increment； calls read"| n0

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

100%

Mermaid source

sequenceDiagram
    participant p0 as Startup
    participant p1 as Counter
    participant p2 as counter: Counter
    participant p3 as August runtime
    p0->>p1: Counter(value=1)
    p1-->>p0: counter: Counter
    Note over p0: Own counter； release on scope exits
    p0->>p2: increment()
    p0->>p2: read()
    p2-->>p0: read result: int
    p0->>p3: print(value=read result)

Called contracts

• Counter — counter.aug
• Counter.increment — counter.aug
• Counter.read — counter.aug