source context
4b561b4e 9b9d 440c Aa7c B5238a3ea2f0
ctx:claims/beam/4b561b4e-9b9d-440c-aa7c-b5238a3ea2f0No external document is attached to this context. (Many contexts are pure organisational labels.)
Facts in this context
Grouped by subject. Each subject links to its full article.
Login Route30 factsex:login-route
| accesses | Request Form |
| calls | Login User |
| calls | Check Password |
| comparesPassword | Password Param |
| comparesUsername | Username Param |
| conditionalLogic | User and Password Check |
| decoratedBy | App Route Decorator |
| extracts | Password Form Field |
| extracts | Username Form Field |
| failureResponse | Invalid Credentials |
| failureStatusCode | 401 |
| handles | Authentication |
| httpMethod | POST |
| httpResponseCode | 401 |
| iteratesOver | Users Values |
| looksUp | Users Dictionary |
| rdfs:label | /login |
| rdf:type | Route |
| redirectsTo | Home Route |
| responseOnFailure | Error Response |
| responseOnSuccess | Redirect Response |
| returnsOnFailure | 401 |
| searches | Users Values |
| successCondition | User Exists and Password Matches |
| successRedirect | Home Route |
| uses | Next Function |
| uses | Filter Generator |
| usesGeneratorExpression | true |
| usesNextFunction | true |
| validatesCredentials | true |
Admin Route17 factsex:admin-route
| checks | Is Admin Method |
| conditionalResponse | Role Check Result |
| decoratedBy | Login Required Decorator |
| enforcesAuthorization | true |
| failureResponse | Unauthorized Text |
| handles | Authorization |
| httpMethod | GET |
| httpResponseCode | 403 |
| rdfs:label | /admin |
| rdf:type | Route |
| requiresLogin | true |
| requiresRole | admin |
| returnsOnFailure | 403 |
| returnsOnSuccess | Admin Page |
| returnsText | Admin Page Text |
| returnsUnauthorized | Unauthorized Text |
| successResponse | Admin Page Text |
Home Route13 factsex:home-route
| decoratedBy | Login Required Decorator |
| handles | Home Display |
| httpMethod | GET |
| rdfs:label | / |
| rdf:type | Route |
| requiresLogin | true |
| requiresRole | any |
| responseType | Text Response |
| returns | Welcome Message |
| returnsFormattedString | true |
| stringInterpolation | true |
| uses | Current User Username |
| usesFString | true |
User Class13 factsex:user-class
| hasAttribute | Password Hash |
| hasAttribute | Password |
| hasAttribute | User Id |
| hasAttribute | Role |
| hasAttribute | Username |
| hasConstructor | User Constructor |
| hasMethod | Check Password Hash |
| hasMethod | Is Admin |
| hasPasswordHash | true |
| importFrom | Flask Login |
| instantiatedBy | User Constructor |
| rdfs:label | User |
| rdf:type | Class |
Check Password Hash10 factsex:check-password-hash
| calledBy | User Class |
| calls | Check Password Hash Function |
| callsFunction | Check Password Hash Builtin |
| library | Flask-Bcrypt |
| memberOf | User Class |
| parameter | Password |
| rdf:type | Method |
| returns | Boolean |
| takesParameter | Password |
| takesParameter | Password Hash |
Login Manager10 factsex:login-manager
| attachedTo | Flask App |
| configuredWith | Flask App |
| decorates | Load User Function |
| framework | Flask-Login |
| hasMethod | Init App |
| initializedBy | Login Manager Constructor |
| initializedBy | Login Manager Class |
| initializesWith | Flask App |
| rdfs:label | login_manager |
| rdf:type | Login Manager |
Logout Route10 factsex:logout-route
| calls | Logout User |
| decoratedBy | Login Required Decorator |
| handles | Session Termination |
| httpMethod | GET |
| rdfs:label | /logout |
| rdf:type | Route |
| redirectsTo | Login Route |
| requiresLogin | true |
| requiresRole | any |
| successRedirect | Login Route |
Flask App9 factsex:flask-app
| configuredWith | Secret Key Config |
| framework | Flask |
| hasAttribute | Secret Key |
| hasConfig | Secret Key Config |
| hasConfigKey | Secret Key |
| importFrom | Flask |
| initializedBy | Flask Constructor |
| rdfs:label | app |
| rdf:type | Flask Application |
User Constructor9 factsex:user-constructor
| assigns | Id Attribute |
| assigns | Password Attribute |
| assigns | Username Attribute |
| assigns | Role Attribute |
| parameter | User Id Param |
| parameter | Username Param |
| parameter | Password Param |
| parameter | Role Param |
| rdf:type | Constructor |
Users Dictionary9 factsex:users-dictionary
| contains | User 2 |
| contains | User 1 |
| containsKey | 2 |
| containsKey | 1 |
| initializationOrder | Before Routes |
| keyType | integer |
| rdfs:label | users |
| rdf:type | Dictionary |
| valueType | User |
Load User Function8 factsex:load-user-function
| calls | Users Get |
| decoratedBy | Login Manager User Loader |
| decoratedBy | Login Manager User Loader Decorator |
| parameter | User Id |
| rdfs:label | load_user |
| rdf:type | Function |
| registeredAs | User Loader |
| registeredWith | Login Manager |
Is Admin6 factsex:is-admin
| calledBy | Admin Route |
| compares | Role |
| comparesWithValue | admin |
| memberOf | User Class |
| rdf:type | Method |
| returns | Boolean |
User 16 factsex:user-1
| hasId | 1 |
| hasPassword | admin_password |
| hasRole | admin |
| hasUsername | admin |
| instanceOf | User Class |
| rdf:type | User Instance |
User 26 factsex:user-2
| hasId | 2 |
| hasPassword | user_password |
| hasRole | user |
| hasUsername | user |
| instanceOf | User Class |
| rdf:type | User Instance |
Current User4 factsex:current-user
| rdfs:label | current_user |
| rdf:type | Variable |
| usedIn | Admin Route |
| usedIn | Home Route |
Redirect4 factsex:redirect
| calledBy | Logout Route |
| calledBy | Login Route |
| rdfs:label | redirect |
| rdf:type | Function |
Init App3 factsex:init-app
| memberOf | Login Manager |
| parameter | App |
| rdf:type | Method |
Login User3 factsex:login-user
| calledBy | Login Route |
| rdfs:label | login_user |
| rdf:type | Function |
Logout User3 factsex:logout-user
| calledBy | Logout Route |
| rdfs:label | logout_user |
| rdf:type | Function |
Next Function3 factsex:next-function
| appliedTo | Filter Generator |
| rdfs:label | next |
| rdf:type | Function |
Secret Key3 factsex:secret-key
| configValue | your_secret_key |
| rdfs:label | SECRET_KEY |
| rdf:type | Config Attribute |
Secret Key Config3 factsex:secret-key-config
| hasValue | your_secret_key |
| rdfs:label | SECRET_KEY |
| rdf:type | Configuration |
Url for3 factsex:url-for
| calledBy | Login Route |
| rdfs:label | url_for |
| rdf:type | Function |
Users Values3 factsex:users-values
| iterationMethod | Values Method |
| rdfs:label | users.values() |
| rdf:type | Collection |
Admin Page2 factsex:admin-page
| rdfs:label | Admin page |
| rdf:type | Response |
Admin Page Text2 factsex:admin-page-text
| rdfs:label | Admin page |
| rdf:type | Response Text |
App Route Decorator2 factsex:app-route-decorator
| rdfs:label | app.route decorator |
| rdf:type | Decorator |
Authentication2 factsex:authentication
| rdfs:label | User authentication |
| rdf:type | Process |
Authorization2 factsex:authorization
| rdfs:label | Role authorization |
| rdf:type | Process |
Check Password Hash Builtin2 factsex:check-password-hash-builtin
| rdfs:label | check_password_hash |
| rdf:type | Function |
Current User Username2 factsex:current-user-username
| rdfs:label | current_user.username |
| rdf:type | Attribute Access |
Filter Generator2 factsex:filter-generator
| rdfs:label | User filter generator |
| rdf:type | Generator |
Flask Constructor2 factsex:flask-constructor
| rdfs:label | Flask constructor |
| rdf:type | Constructor |
Flask Login2 factsex:flask-login
| rdfs:label | flask_login |
| rdf:type | Module |
Home Display2 factsex:home-display
| rdfs:label | Home page display |
| rdf:type | Process |
Id Attribute2 factsex:id-attribute
| rdfs:label | id |
| rdf:type | Attribute |
Invalid Credentials2 factsex:invalid-credentials
| rdfs:label | Invalid credentials |
| rdf:type | Response |
Login Manager Constructor2 factsex:login-manager-constructor
| rdfs:label | LoginManager constructor |
| rdf:type | Constructor |
Login Manager User Loader Decorator2 factsex:login-manager-user-loader-decorator
| rdfs:label | login_manager.user_loader decorator |
| rdf:type | Decorator |
Login Required Decorator2 factsex:login-required-decorator
| rdfs:label | login_required decorator |
| rdf:type | Decorator |
Password Attribute2 factsex:password-attribute
| rdfs:label | password |
| rdf:type | Attribute |
Request Form2 factsex:request-form
| rdfs:label | request.form |
| rdf:type | Form Data |
Role Attribute2 factsex:role-attribute
| rdfs:label | role |
| rdf:type | Attribute |
Role Check Result2 factsex:role-check-result
| rdfs:label | Admin role check result |
| rdf:type | Condition |
Session Termination2 factsex:session-termination
| rdfs:label | Session termination |
| rdf:type | Process |
Unauthorized Text2 factsex:unauthorized-text
| rdfs:label | Unauthorized |
| rdf:type | Response Text |
User and Password Check2 factsex:user-and-password-check
| rdfs:label | User exists and password check |
| rdf:type | Condition |
User Exists and Password Matches2 factsex:user-exists-and-password-matches
| rdfs:label | User exists and password matches |
| rdf:type | Condition |
User Loader2 factsex:user-loader
| rdfs:label | User loader callback |
| rdf:type | Component |
Username Attribute2 factsex:username-attribute
| rdfs:label | username |
| rdf:type | Attribute |
Users Get2 factsex:users-get
| memberOf | Users Dictionary |
| rdf:type | Method |
Values Method2 factsex:values-method
| memberOf | Users Dictionary |
| rdf:type | Method |
Welcome Message2 factsex:welcome-message
| rdfs:label | Welcome, {username}! |
| rdf:type | Response |
Is Admin Method1 factex:is-admin-method
| memberOf | Current User |
Password1 factex:password
| extractedFrom | Request Form |
Password Param1 factex:password-param
| extractedFrom | Request Form |
Route Definition1 factex:route-definition
| follows | App Configuration |
Username1 factex:username
| extractedFrom | Request Form |
Username Param1 factex:username-param
| extractedFrom | Request Form |