logging/export.aug

A small tested application · Source and specification

Files in this project

• main.aug
• calculator.aug
• logging/console.aug
• logging/export.aug
• logging/logger.aug

Code

Indentation

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Logger from logger
export ConsoleLogger from console

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Logger from logger
export ConsoleLogger from console

Compiled specification

Interactions and sequences

Exports

Export the declaration Logger from logger.aug. Export the declaration ConsoleLogger from console.aug.