types.aug

Generic types and functions · Source and specification

Files in this project

• main.aug
• types.aug

Code

Indentation

// aug-spec: "types.aug.md" explains this file. Read it before changes; refresh with aug spec.
interface Formatter:
Explanation 1Explanation 2
    format<T>(T value) returns string
Explanation 1Explanation 2
    title():
        return "formatted"
Explanation 1Explanation 2
TextFormatter() implements Formatter:
Explanation 1Explanation 2
    format<T>(T value):
        return "generic method called"
Explanation 1Explanation 2
Box<T>(T value) implements IBox<T>:
Explanation 1Explanation 2
    get():
        return value
interface IBox<T>:
Explanation 1Explanation 2
    get() returns T

Braces

// aug-spec: "types.aug.md" explains this file. Read it before changes; refresh with aug spec.
interface Formatter {
Explanation 1Explanation 2
    format<T>(T value) returns string
Explanation 1Explanation 2
    title() {
        return "formatted"
    }
}
Explanation 1Explanation 2
TextFormatter() implements Formatter {
Explanation 1Explanation 2
    format<T>(T value) {
        return "generic method called"
    }
}
Explanation 1Explanation 2
Box<T>(T value) implements IBox<T> {
Explanation 1Explanation 2
    get() {
        return value
    }
}
interface IBox<T> {
Explanation 1Explanation 2
    get() returns T
}

Compiled specification

Interactions and sequences

Formatter · interface · source

Formatter.format · source

The type parameters are T. It takes value as T. It returns string.

Formatter.title · source

It returns "formatted". source

Checked interface

title() returns string

TextFormatter · class · source

It implements Formatter. It inherits the default implementations of Formatter.title.

TextFormatter.format · source

It takes value as T. It returns "generic method called". source

Checked interface

format<T>(T value) returns string

The type parameters are T. It takes value as T.

Box · class · source

It implements IBox<T>. The type parameters are T. It takes value as T, kept read-only.

Box.get · source

It returns value. source

Checked interface

get() returns T

IBox · interface · source

The type parameters are T.

IBox.get · source

It returns T.