logging.aug

Function and constructor middleware · Source and specification

Files in this project

• main.aug
• app.aug
• interceptors.aug
• logging.aug

Code

Indentation

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

Logger · interface · source

Writes a message to the application log.

Logger.log · source

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

ConsoleLogger · class · source

Console logger shared by interceptor instances and the application. 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.