counter.aug diagrams
Project overview · Compiled explanation
Class interactions
100%
Mermaid source
flowchart TD
n0["Counter"]
n1["ICounter"]
n2["_prefix"]
n0 -->|"calls _label"| n0
n0 -->|"implements"| n1
n0 -->|"calls"| n2
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.
ICounter.label
It returns string.
Interface contract; implementation selected at runtime. Explanation.
Counter constructor
It implements ICounter.
It takes value as an integer, kept mutable.
Receive fields: value. Explanation.
Counter._label
It is private to its defining scope.
100%
Mermaid source
sequenceDiagram
participant p0 as Counter._label
p0->>p0: _prefix()
p0-->>p0: _prefix result: string
Note over p0: Return _prefix()； required cleanup runs before exit
Counter.label
100%
Mermaid source
sequenceDiagram
participant p0 as Counter.label
participant p1 as self: Counter
p0->>p1: _label()
p1-->>p0: _label result: string
Note over p0: Return self._label()； required cleanup runs before exit
_prefix
It is private to its defining scope.
Return "count"; required cleanup runs before exit. Explanation.
Called contracts
- Counter._label — counter.aug
- ICounter — counter.aug
- _prefix — counter.aug