domain/app.aug

Modules and composition · Source and specification

Files in this project

• main.aug
• counters.aug
• domain/app.aug
• domain/export.aug
• domain/models.aug
• domain/numbers.aug

Code

Indentation

// aug-spec: "app.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
import Fruit from models
/** The application's explicit startup operation. */
interface Application:
    /** Writes the fruit names through the selected console. */
Explanation 1Explanation 2
    start() uses Console.write
/** Construction stores dependencies; start performs the visible external work. */
Explanation 1Explanation 2
ApplicationImpl(resolve Console console) implements Application:
Explanation 1Explanation 2
    start():
Explanation 1Explanation 2
        fruit to [Fruit(code=1, name="apple"), Fruit(name="pear", code=2)]
        for item in fruit:
Explanation 1Explanation 2
            console.write(value=item.name)

Braces

// aug-spec: "app.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
import Fruit from models
/** The application's explicit startup operation. */
interface Application {
    /** Writes the fruit names through the selected console. */
Explanation 1Explanation 2
    start() uses Console.write
}
/** Construction stores dependencies; start performs the visible external work. */
Explanation 1Explanation 2
ApplicationImpl(resolve Console console) implements Application {
Explanation 1Explanation 2
    start() {
Explanation 1Explanation 2
        fruit to [Fruit(code=1, name="apple"), Fruit(name="pear", code=2)]
        for item in fruit {
Explanation 1Explanation 2
            console.write(value=item.name)
        }
    }
}

Compiled specification

Interactions and sequences

Application · interface · source

The application's explicit startup operation.

Application.start · source

Writes the fruit names through the selected console. It can call Console.write.

ApplicationImpl · class · source

Construction stores dependencies; start performs the visible external work. It implements Application. The console dependency is injected as Console and stored read-only.

ApplicationImpl.start · source

Writes the fruit names through the selected console. It can call Console.write. It sets fruit to a list containing a Fruit with code 1 and name "apple", a Fruit with name "pear" and code 2. For each item in a snapshot of fruit, it passes item.name to console.write. source

Checked interface

start() returns void uses Console.write

It can call Console.write.

Dependencies

It uses Console (write) from august.io. It uses Fruit (name) from models.