domain/export.aug

Modules and composition · Source and specification

Files in this project

• main.aug
• counters.aug
• domain/app.aug
• domain/export.aug
• domain/models.aug
• domain/numbers.aug

Code

Indentation

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Application from app
export ApplicationImpl from app
export Fruit from models
export double from numbers
export RangeError from numbers

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Application from app
export ApplicationImpl from app
export Fruit from models
export double from numbers
export RangeError from numbers

Compiled specification

Interactions and sequences

Exports

Export the declaration Application from app.aug. Export the declaration ApplicationImpl from app.aug. Export the declaration Fruit from models.aug. Export the declaration double from numbers.aug.

Export the declaration RangeError from numbers.aug.