provider/export.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: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export AuthorizationRequest from contracts
export AuthorizationCode from contracts
export AccessGrant from contracts
export IdClaims from contracts
export TokenResponse from contracts
export UserInfo from contracts
export Discovery from discovery
export discovery from discovery
export jwks from discovery
export authorize from authorization
export providerLogin from authorization
export token from token
export userinfo from userinfo

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export AuthorizationRequest from contracts
export AuthorizationCode from contracts
export AccessGrant from contracts
export IdClaims from contracts
export TokenResponse from contracts
export UserInfo from contracts
export Discovery from discovery
export discovery from discovery
export jwks from discovery
export authorize from authorization
export providerLogin from authorization
export token from token
export userinfo from userinfo

Compiled specification

Interactions and sequences

Exports

Export the declaration AuthorizationRequest from contracts.aug. Export the declaration AuthorizationCode from contracts.aug. Export the declaration AccessGrant from contracts.aug. Export the declaration IdClaims from contracts.aug.

Export the declaration TokenResponse from contracts.aug. Export the declaration UserInfo from contracts.aug. Export the declaration Discovery from discovery.aug. Export the declaration discovery from discovery.aug.

Export the declaration jwks from discovery.aug. Export the declaration authorize from authorization.aug. Export the declaration providerLogin from authorization.aug. Export the declaration token from token.aug.

Export the declaration userinfo from userinfo.aug.