console.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: "console.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
import Logger from logger
Explanation 1Explanation 2
ConsoleLogger() implements Logger:
Explanation 1Explanation 2
    log(resolve Console console, string message):
Explanation 1Explanation 2
        console.write(value=message)

Braces

// aug-spec: "console.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
import Logger from logger
Explanation 1Explanation 2
ConsoleLogger() implements Logger {
Explanation 1Explanation 2
    log(resolve Console console, string message) {
Explanation 1Explanation 2
        console.write(value=message)
    }
}

Compiled specification

Interactions and sequences

ConsoleLogger · class · source

It implements Logger.

ConsoleLogger.log · source

It takes message as a string. It gets console (Console) from dependency injection. It can call Console.write. It passes message to console.write. source

Checked interface

log(resolve Console console, string message) returns void uses Console.write

It takes message as a string (Text to display). It gets console (Console) from dependency injection. It can call Console.write.

Dependencies

It uses Console (write) from august.io. It uses Logger from logger.