math.aug

Labeled calls and injection · Source and specification

Files in this project

• main.aug
• console.aug
• greeter.aug
• logger.aug
• math.aug

Code

Indentation

// aug-spec: "math.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
increment(int value):
    return value + 1

Braces

// aug-spec: "math.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
increment(int value) {
    return value + 1
}

Compiled specification

Interactions and sequences

increment · source

It takes value as an integer. It returns value plus 1. source

Checked interface

increment(int value) returns int

It takes value as an integer.