logging/console.aug

Hello world with dependencies · Source and specification

Files in this project

• main.aug
• app/export.aug
• app/greeter.aug
• logging/console.aug
• logging/export.aug
• logging/logger.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 2Explanation 3
        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 2Explanation 3
        console.write(value=message)
    }
}

Compiled specification

Interactions and sequences

ConsoleLogger · class · source

It implements Logger.

ConsoleLogger.log · source

Writes one message. 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 write). 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.