types.aug diagrams

Generic types and functions

Project overview · Compiled explanation

Class interactions

100%

Mermaid source

flowchart TD
    n0["Box"]
    n1["Formatter"]
    n2["IBox"]
    n3["TextFormatter"]
    n0 -->|"implements"| n2
    n3 -->|"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.

Formatter.format

Source

The type parameters are T.

It takes value as T.

It returns string.

Interface contract; implementation selected at runtime. Explanation.

Formatter.title

Source

Return "formatted"; required cleanup runs before exit. Explanation.

TextFormatter constructor

Source

It implements Formatter.

It inherits the default implementations of Formatter.title.

Explanation.

TextFormatter.format

Source

It takes value as T.

Return "generic method called"; required cleanup runs before exit. Explanation.

Box constructor

Source

It implements IBox<T>. The type parameters are T.

It takes value as T, kept read-only.

Receive fields: value. Explanation.

Box.get

Source

Return value; required cleanup runs before exit. Explanation.

IBox.get

Source

It returns T.

Interface contract; implementation selected at runtime. Explanation.

Called contracts

• Formatter — types.aug
• IBox — types.aug