main.aug diagrams

JSON benchmark

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

100%

Mermaid source

sequenceDiagram
    participant p0 as Startup
    participant p1 as json/contracts
    participant p2 as August runtime
    Note over p0: Set checksum to 0
    Note over p0: Set index to 0
    opt Try body； stops on a checked failure
    loop While index ‹ 5000
    p0->>p1: parse(input=”｛＼”id＼”:7,＼”message＼”:＼”hello＼”,＼”values＼”:［1,2,3］｝”)
    p1-->>p0: document: Json
    p0->>p0: document.decode‹Payload›()
    p0-->>p0: payload: Payload
    p0->>p0: Json(value=payload)
    p0-->>p0: Json result: Json
    p0->>p0: Json result.stringify()
    p0-->>p0: encoded: string
    p0->>p0: encoded.length()
    p0-->>p0: length result: int
    Note over p0: Set checksum to checksum + payload.id + length result
    Note over p0: Set index to index + 1
    end
    p0->>p2: print(value=checksum)
    end
    opt Catch JsonError
    p0->>p2: exit(status=1)
    end

Called contracts

• parse — package/@git/url_2d3c37c690c0fa115be1@0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug