package/@git/url_2d3c37c690c0fa115be1@0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug diagrams

OpenID Connect login application

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.

_aug_json_parse

Source

It is private to its defining scope.

It takes input as a string.

It returns Json. Failures can raise JsonError.

Native C implementation; only its declared contract is visible here.

May leave with checked errors: JsonError. Native implementation; only the declared contract is known. Explanation.

parse

Source

Parse strict UTF-8 JSON. Duplicate keys, invalid Unicode, oversized integers, and nesting beyond 64 levels raise JsonError.

It takes input as a string.

Failures can raise JsonError.

100%

Mermaid source

sequenceDiagram
    participant p0 as parse

    rect rgb(245, 240, 241)
    Note over p0: Enter unsafe scope
    p0->>p0: _aug_json_parse(input=input) · native boundary
    p0-->>p0: _aug_json_parse result: Json
    Note over p0: Return _aug_json_parse(input)； required cleanup runs<br/>before exit
    Note over p0: Leave unsafe scope
    end
    Note over p0: May leave with checked errors: JsonError

Called contracts

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