package/@git/url_c092cd151499c4e1d8a1@0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug diagrams
OpenID Connect login application
Project overview · Compiled explanation
Class interactions
Mermaid source
flowchart TD
n0["Clock"]
n1["SystemClock"]
n2["_aug_time_now"]
n1 -->|"implements"| n0
n1 -->|"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.
Clock.now
Read whole Unix seconds in UTC.
It returns int. It can call Clock.now. Failures can raise TimeError.
May leave with checked errors: TimeError. Interface contract; implementation selected at runtime. Explanation.
_aug_time_now
It is private to its defining scope.
It returns int. It can call Clock.now. Failures can raise TimeError.
Native C implementation; only its declared contract is visible here.
May leave with checked errors: TimeError. Native implementation; only the declared contract is known. Explanation.
SystemClock constructor
Operating-system wall clock. It implements Clock.
SystemClock.now
Read whole Unix seconds in UTC.
It can call Clock.now. Failures can raise TimeError.
Mermaid source
sequenceDiagram
participant p0 as SystemClock.now
rect rgb(245, 240, 241)
Note over p0: Enter unsafe scope
p0->>p0: _aug_time_now() · native boundary
p0-->>p0: _aug_time_now result: int
Note over p0: Return _aug_time_now()； required cleanup runs before<br/>exit
Note over p0: Leave unsafe scope
end
Note over p0: May leave with checked errors: TimeError
Called contracts
- Clock — package/@git/url_c092cd151499c4e1d8a1@0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug
- _aug_time_now — package/@git/url_c092cd151499c4e1d8a1@0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug