data.aug

Record allocation benchmark · Source and specification

Files in this project

• main.aug
• data.aug

Code

Indentation

// aug-spec: "data.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
record Item(int id, string name)

Braces

// aug-spec: "data.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
record Item(int id, string name)

Compiled specification

Interactions and sequences

Item · immutable record · source

It takes id as an integer, kept read-only and name as a string, kept read-only.