resource.aug

Resource cleanup · Source and specification

Files in this project

• main.aug
• resource.aug

Code

Indentation

// aug-spec: "resource.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
Resource() implements IResource:
Explanation 1Explanation 2
    drop():
        pass
interface IResource:
    pass

Braces

// aug-spec: "resource.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
Resource() implements IResource {
Explanation 1Explanation 2
    drop() {
        pass
    }
}
interface IResource {
    pass
}

Compiled specification

Interactions and sequences

Resource · class · source

It implements IResource.

Resource.drop · source

It continues without an operation. source

Checked interface

drop() returns void

IResource · interface · source