client/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 LoginTransaction from contracts
export SessionClaims from contracts
export home from endpoints
export me from endpoints
export logout from logout
export startLogin from login
export loginCallback from login

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export LoginTransaction from contracts
export SessionClaims from contracts
export home from endpoints
export me from endpoints
export logout from logout
export startLogin from login
export loginCallback from login

Compiled specification

Interactions and sequences

Exports

Export the declaration LoginTransaction from contracts.aug. Export the declaration SessionClaims from contracts.aug. Export the declaration home from endpoints.aug. Export the declaration me from endpoints.aug.

Export the declaration logout from logout.aug. Export the declaration startLogin from login.aug. Export the declaration loginCallback from login.aug.