web/js/config.js).'data-server'(+Server) is clicked, the HTTP handler with id login is called.web/js/config.js).config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour).| attvar.pl | ||
|---|---|---|
| authenticate.pl -- Authentication access for SWISH | ||
| avatar.pl -- Avatar management | ||
| bootstrap.pl -- Bootstrap form generator | ||
| bt_button/6 | | |
| bt_form/4 | Emit a Bootstrap form from Contents. | |
| name_label/2 | Determine a label from a name by upcasing the first character and replacing all underscores by spaces. | |
| chat.pl -- The SWISH collaboration backbone | ||
| broadcast_bell/3 | Adds a bell to indicate central chat messages. | |
| chat_about/2 | Distribute a chat message about DocID. | |
| chat_broadcast/1 | Send Message to all known SWISH clients. | |
| chat_broadcast/2 | Send Message to all known SWISH clients. | |
| chat_to_profile/2 | Send a HTML notification to users logged in using ProfileID. | |
| notifications/3 | The chat element is added to the navbar and managed by web/js/chat.js. | |
| chatstore.pl -- Store chat messages | ||
| chat_messages/3 | Get messages associated with DocID. | |
| chat_store/1 | Add a chat message to the chat store. | |
| chat_count_about/2 | True when Count is the number of messages about DocID. | |
| config.pl -- Make HTTP locations known to JSON code | ||
| config/2 | Define a name/value pair that will end up in the SWISH config object (see web/js/config.js). | |
| login/2 | If a login item with 'data-server'(+Server) is clicked, the HTTP handler with id login is called. | |
| login_item/2 | This hook is called to find all possible login options. | |
| source_alias/2 | Multifile hook that defines properties of file_search_path/2 aliases wrt. | |
| swish_config/2 | Define a name/value pair that will end up in the SWISH config object (see web/js/config.js). | |
| swish_config_hash/2 | True if Hash is the SHA1 of the SWISH config. | |
| swish_reply_config/2 | Emit a configuration object to the client if the client requests for '.../swish_config.json', regardless of the path prefix. | |
| user_info/3 | Each login facility must provide this hook. | |
| content_filter.pl -- Ban list content filter | ||
| cron.pl -- Schedule HTTP server maintenance tasks | ||
| dashboard.pl -- Provide non-programmer query execution | ||
| data_source.pl -- Cached data access | ||
| download.pl -- Provide a button for downloading data | ||
| examples.pl -- Serve example files | ||
| provides/1 | Make examples available through swish_provides/1. | |
| flags.pl | ||
| form.pl -- Form handling utilities | ||
| gitty.pl -- Single-file GIT like version system | ||
| gitty_driver_bdb.pl -- Gitty BDB driver | ||
| gitty_driver_files.pl -- Gitty plain files driver | ||
| attach_pack/2 | Load the index of Pack into memory. | |
| delete_head/2 | Delete Head from Store. | |
| delete_object/2 | Delete an existing object. | |
| fsck_pack/1 | Validate the integrity of the pack file File. | |
| gitty_close/1 | Close resources associated with a store. | |
| gitty_file/4 | True when File entry in the gitty store and Head is the HEAD revision. | |
| gitty_fsck/1 | Validate all packs associated with Store. | |
| gitty_hash/2 | True when Hash is an object in the store. | |
| gitty_open/2 | Driver specific initialization. | |
| gitty_rescan/1 | Update our view of the shared storage for all stores matching Store. | |
| gitty_update_head/5 | Update the head of a gitty store for Name. | |
| load_object/5 | Load the given object. | |
| load_object_from_pack/4 | True when Hash is in a pack and can be loaded. | |
| load_plain_commit/3 | Load the commit data as a dict. | |
| pack_objects/6 | Pack the given objects and pack files into a new pack. | |
| repack_objects/2 | Repack objects of Store for reduced disk usage and enhanced performance. | |
| set_head/3 | Set the head of the given File to Hash. | |
| store_object/4 | Store the actual object. | |
| unpack_pack/2 | Turn a pack back into a plain object files. | |
| unpack_packs/1 | Unpack all packs. | |
| help.pl -- SWISH help system | ||
| highlight.pl -- Highlight token server | ||
| xref_open_source/2 | Open a source. | |
| config/2 | Provides the object config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour). | |
| css/3 | Multifile hook to define additional style to apply in a specific context. | |
| current_highlight_state/2 | Return info on the current highlighter. | |
| server_tokens/1 | These predicates help debugging the server side. | |
| show_mirror/1 | These predicates help debugging the server side. | |
| style/3 | Declare that we map StyleIn as generated by library(prolog_colour) into a token of type SWISHType, providing additional context information based on Attributes. | |
| token_info/3 | Generate HTML, providing details about Token. | |
| html_output.pl -- SWISH HTML Output | ||
| http_version.pl -- Serve version details over HTTP | ||
| include.pl -- Support :- include(File) from SWISH | ||
| jquery.pl -- Call jQuery on the SWISH interface | ||
| logging.pl -- Add SWISH query execution to the HTTP log file | ||
| markdown.pl -- SWISH Notebook markdown support | ||
| md_eval.pl -- Provide evaluable markdown | ||
| messages.pl | ||
| noble_avatar.pl -- Noble Avatar generator | ||
| oauth2.pl -- Oauth2 based login | ||
| page.pl -- Provide the SWISH application as Prolog HTML component | ||
| patch.pl -- Run patch program | ||
| paths.pl -- Setup SWISH search paths | ||
| pep.pl -- SWISH PEP (Policy Enforcement Point) | ||
| not_sandboxed/2 | Called by Pengines to see whether User may call non-sandboxed operations in Application. | |
| approve/3 | This hook is called by approve/2 and deny/2 before the default rules. | |
| approve/2 | | |
| authorized/2 | Verify that Action is authorized. | |
| deny/2 | | |
| ws_authorized/2 | True when WSUser is allowed to perform action. | |
| procps.pl -- Get process statistics from Linux /proc | ||
| profiles.pl | ||
| projection.pl -- Define the projection | ||
| r_swish.pl | ||
| render.pl -- SWISH term-rendering support | ||
| search.pl -- SWISH search from the navigation bar | ||
| session.pl -- Setup SWISH sessions | ||
| storage.pl -- Store files on behalve of web clients | ||
| typeahead/4 | Find files using typeahead from the SWISH search box. | |
| storage_commit/2 | Load the commit data for Hash. | |
| storage_file/1 | True if File is known in the store. | |
| storage_file/3 | True if File is known in the store. | |
| storage_file_extension/2 | True if File is known in the store. | |
| storage_file_extension_head/3 | True if File is known in the store. | |
| storage_fsck/0 | Enumerate and check the consistency of the entire store. | |
| storage_load_term/2 | Add/retrieve terms from the gitty store. | |
| storage_meta_data/2 | True if File is known in the store. | |
| storage_meta_property/2 | True when Meta has Property. | |
| storage_repack/0 | Repack the storage directory. | |
| storage_repack/1 | Repack the storage directory. | |
| storage_store_term/2 | Add/retrieve terms from the gitty store. | |
| storage_unpack/0 | Unpack all packed objects of the store. | |
| use_gitty_file/1 | Load a file from the Gitty store. | |
| use_gitty_file/2 | Load a file from the Gitty store. | |
| swish_chr.pl -- Make CHR available in SWISH | ||
| swish_csv.pl -- Support CSV output from a Pengines server | ||
| swish_debug.pl -- Print debug messages and test assertions | ||
| swish_diagnostics.pl | ||
| pengine_stale_module/1 | True if M seems to be a pengine module with no associated pengine. | |
| pengine_stale_module/2 | True if M seems to be a pengine module with no associated pengine. | |
| redis_consumer_status/2 | True when Status is a dict describing the current status for Consumer. | |
| stale_pengine/1 | True if Pengine is a Pengine who's thread died. | |
| start_swish_stat_collector/0 | Start collecting statistical performance information for the running SWISH server. | |
| swish_cluster_member/2 | | |
| swish_died_thread/2 | True if Id is a thread that died with Status and has not (yet) been joined. | |
| swish_save_stats/1 | Save statistcs to File or the default file. | |
| swish_statistics/1 | True if State is a statistics about SWISH. | |
| swish_stats/2 | Get the collected statistics for the given Period. | |
| swish_redis.pl -- Redis stream connection | ||
| redis_consumer/1 | True when Consumer is the name of this redis node. | |
| reinit_redis/0 | Stop and start the redis thread. | |
| swish_cluster/1 | True when Pairs is a list Consumer-URL of peer SWISH servers in this cluster. | |
| template_hint.pl -- Generate template hints for CondeMirror | ||
| trace.pl -- | ||
| version.pl -- Manage software versions | ||
| web.pl -- Serve /plugin | ||