main.aug diagrams

Generic dependency injection

Project overview · Compiled explanation

Class interactions

100%

Mermaid source

flowchart TD
    n0["main.aug"]
    n1["Program"]
    n0 -->|"calls start"| 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

100%

Mermaid source

sequenceDiagram
    participant p0 as Startup
    participant p1 as program: Program
    Note over p0: Resolve app from the declared composition
    p0->>p1: start()

Called contracts

• Program.start — types.aug