counters.aug diagrams

Modules and composition

Project overview · Compiled explanation

Class interactions

100%

Mermaid source

flowchart TD
    n0["Counter"]
    n1["State"]
    n2["_Counter"]
    n3["_Initial"]
    n4["_Updated"]
    n2 -->|"implements"| n0
    n2 -->|"calls read； depends on _state"| n1
    n2 -->|"calls"| n4
    n3 -->|"implements"| n1
    n4 -->|"implements"| 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.

State.read

Source

It returns int.

Interface contract; implementation selected at runtime. Explanation.

_Initial constructor

Source

It implements State. It is private to this file.

Explanation.

_Initial.read

Source

Return 0; required cleanup runs before exit. Explanation.

_Updated constructor

Source

It implements State. It is private to this file.

It takes count as an integer, kept read-only.

Receive fields: count. Explanation.

_Updated.read

Source

Return count; required cleanup runs before exit. Explanation.

Counter.increment

Source

It may change self.

Interface contract; implementation selected at runtime. Explanation.

Counter.value

Source

It returns int.

Interface contract; implementation selected at runtime. Explanation.

_Counter constructor

Source

It implements Counter. It is private to this file.

The _state dependency is injected as State and stored mutably and privately.

Receive fields: injected _state. Explanation.

_Counter.increment

Source

It may change self.

100%

Mermaid source

sequenceDiagram
    participant p0 as _Counter.increment
    participant p1 as _state: State
    participant p2 as _Updated
    p0->>p1: read() · interface dispatch
    p1-->>p0: read result: int
    p0->>p2: _Updated(count=read result + 1)
    p2-->>p0: _state: _Updated

_Counter.value

Source

100%

Mermaid source

sequenceDiagram
    participant p0 as _Counter.value
    participant p1 as _state: State
    p0->>p1: read() · interface dispatch
    p1-->>p0: read result: int
    Note over p0: Return _state.read()； required cleanup runs before exit

Called contracts

• Counter — counters.aug
• State — counters.aug
• State.read — counters.aug
• _Updated — counters.aug