logging/logger.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: "logger.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
/** Writes messages to an application log. */
interface Logger:
    /**
    * Writes one message.
    * @param message Text to write.
    */
Explanation 1Explanation 2
    log(resolve Console console, string message) uses Console.write

Braces

// aug-spec: "logger.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console from august.io
/** Writes messages to an application log. */
interface Logger {
    /**
    * Writes one message.
    * @param message Text to write.
    */
Explanation 1Explanation 2
    log(resolve Console console, string message) uses Console.write
}

Compiled specification

Interactions and sequences

Logger · interface · source

Writes messages to an application log.

Logger.log · source

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