main.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: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console and SystemConsole from august.io
implement Console with SystemConsole
import Logger from logging
import ConsoleLogger from logging
import Greeter from app
implement Logger with ConsoleLogger
implement app with Greeter
Explanation 1Explanation 2Explanation 3
resolve app to greeter
greeter.greet(name="AugScript")

Braces

// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
import Console and SystemConsole from august.io
implement Console with SystemConsole
import Logger from logging
import ConsoleLogger from logging
import Greeter from app
implement Logger with ConsoleLogger
implement app with Greeter
Explanation 1Explanation 2Explanation 3
resolve app to greeter
greeter.greet(name="AugScript")

Compiled specification

Interactions and sequences

Providers

Console is provided by SystemConsole. The same instance is shared. Logger is provided by ConsoleLogger. The same instance is shared.

app is provided by Greeter. The same instance is shared. It requires bindings for Logger.

Startup

It sets greeter to the instance provided for app. It passes "AugScript" to greeter.greet, using injected Console. source

Dependencies

It uses SystemConsole from august.io. It uses Greeter (greet) from app. It uses ConsoleLogger from logging.