counter.aug

Private state and helpers · Source and specification

Files in this project

• main.aug
• counter.aug

Code

Indentation

// aug-spec: "counter.aug.md" explains this file. Read it before changes; refresh with aug spec.
interface ICounter:
Explanation 1Explanation 2
    label() returns string
Explanation 1Explanation 2
Counter(mutable int value) implements ICounter:
Explanation 1Explanation 2
    _label():
        return _prefix()
Explanation 1Explanation 2
    label():
        return self._label()
Explanation 1Explanation 2
_prefix():
    return "count"

Braces

// aug-spec: "counter.aug.md" explains this file. Read it before changes; refresh with aug spec.
interface ICounter {
Explanation 1Explanation 2
    label() returns string
}
Explanation 1Explanation 2
Counter(mutable int value) implements ICounter {
Explanation 1Explanation 2
    _label() {
        return _prefix()
    }
Explanation 1Explanation 2
    label() {
        return self._label()
    }
}
Explanation 1Explanation 2
_prefix() {
    return "count"
}

Compiled specification

Interactions and sequences

ICounter · interface · source

ICounter.label · source

It returns string.

Counter · class · source

It implements ICounter. It takes value as an integer, kept mutable.

Counter._label · source

It is private to its defining scope. It returns _prefix. source

Checked interface

_label() returns string

Counter.label · source

It returns self._label. source

Checked interface

label() returns string

_prefix · source

It is private to its defining scope. It returns "count". source

Checked interface

_prefix() returns string