packages/@greenpandastudios/aug-pytorch/0.2.0/contracts.aug

CPU tensors with PyTorch · Dependency source and specification

This is the exact dependency version used by this example.

Code

Indentation

// Generated by aug spec. This is a copy of the installed dependency source.
// aug-spec: "contracts.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
TensorError(int code, string message) implements Error:
    /** Explain the native failure without losing its original message. */
Explanation 1Explanation 2
    explain() returns string:
        return message

Braces

// Generated by aug spec. This is a copy of the installed dependency source.
// aug-spec: "contracts.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
TensorError(int code, string message) implements Error {
    /** Explain the native failure without losing its original message. */
Explanation 1Explanation 2
    explain() returns string {
        return message
    }
}

Compiled specification

Interactions and sequences

TensorError · class · source

It implements Error. It takes code as an integer, kept read-only and message as a string, kept read-only.

TensorError.explain · source

Explain the native failure without losing its original message. It returns message. source

Checked interface

explain() returns string