common/settings.aug

OpenID Connect login application · Source and specification

Files in this project

• main.aug
• client/contracts.aug
• client/endpoints.aug
• client/export.aug
• client/login.aug
• client/logout.aug
• client/protocol.aug
• client/session.aug
• client/views.aug
• common/export.aug
• common/headers.aug
• common/keys.aug
• common/settings.aug
• common/views.aug
• provider/authorization.aug
• provider/contracts.aug
• provider/credentials.aug
• provider/discovery.aug
• provider/export.aug
• provider/token.aug
• provider/userinfo.aug
• provider/views.aug

Code

Indentation

// aug-spec: "settings.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Explicit loopback development settings. The provider accepts one registered client and its exact callback URI. */
Explanation 1Explanation 2
record Settings(string baseUrl, string issuer, string clientId, string callback, int sessionSeconds, bool secureCookies)
Explanation 1Explanation 2
settings():
    return Settings(
        baseUrl="http://127.0.0.1:8787",
        issuer="http://127.0.0.1:8787/provider",
        clientId="august-login-app",
        callback="http://127.0.0.1:8787/login/callback",
        sessionSeconds=900,
        secureCookies=false
    )

Braces

// aug-spec: "settings.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Explicit loopback development settings. The provider accepts one registered client and its exact callback URI. */
Explanation 1Explanation 2
record Settings(string baseUrl, string issuer, string clientId, string callback, int sessionSeconds, bool secureCookies)
Explanation 1Explanation 2
settings() {
    return Settings(
        baseUrl="http://127.0.0.1:8787",
        issuer="http://127.0.0.1:8787/provider",
        clientId="august-login-app",
        callback="http://127.0.0.1:8787/login/callback",
        sessionSeconds=900,
        secureCookies=false
    )
}

Compiled specification

Interactions and sequences

Settings · immutable record · source

Explicit loopback development settings. The provider accepts one registered client and its exact callback URI. It takes baseUrl, issuer, clientId, and callback as strings, kept read-only, sessionSeconds as an integer, kept read-only, and secureCookies as a boolean, kept read-only.

settings · source

It returns a Settings with baseUrl "http://127.0.0.1:8787", issuer "http://127.0.0.1:8787/provider", clientId "august-login-app", callback "http://127.0.0.1:8787/login/callback", sessionSeconds 900, and secureCookies false. source

Checked interface

settings() returns Settings