config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour).| attvar.pl | ||
|---|---|---|
| get_attr/2 | Get the attribute on the current module. | |
| put_attr/2 | Put an attribute on the current module. | |
| authenticate.pl -- Authentication access for SWISH | ||
| authentication_hook/3 | Is called from the /pengine/create request to establish the logged in user. | |
| authenticate/2 | Establish the identity behind the HTTP Request. | |
| user_property/2 | True when Identity has Property. | |
| avatar.pl -- Avatar management | ||
| random_avatar/1 | Generate a random avatar image url. | |
| release_avatar/1 | Release the avatar to the pool of free avatars. | |
| valid_gravatar/1 | True if URL is a real gravatar. | |
| bootstrap.pl -- Bootstrap form generator | ||
| 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 | ||
| config.pl -- Make HTTP locations known to JSON code | ||
| content_filter.pl -- Ban list content filter | ||
| dashboard.pl -- Provide non-programmer query execution | ||
| 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 | ||
| delete_head/2 | Delete the named head. | |
| delete_object/2 | Delete an existing object. | |
| gitty_close/1 | Close the BDB environment associated with a gitty store. | |
| gitty_file/3 | True when File entry in the gitty store and Head is the HEAD revision. | |
| gitty_hash/2 | True when Hash is an object in the store. | |
| gitty_update_head/4 | Update the head of a gitty store for Name. | |
| load_object/5 | Load an object given its Hash. | |
| load_plain_commit/3 | Load the commit data as a dict. | |
| set_head/3 | Set the head of the given File to Hash. | |
| store_object/4 | Store the actual object. | |
| 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_object_file/3 | True when Path is the file at which the object with Hash is stored. | |
| 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 | ||
| include.pl -- Support :- include(File) from SWISH | ||
| jquery.pl -- Call jQuery on the SWISH interface | ||
| markdown.pl -- SWISH Notebook markdown support | ||
| md_eval.pl -- Provide evaluable markdown | ||
| swish_provides/1 | True when Term describes a provided feature of the current SWISH instances. | |
| messages.pl | ||
| noble_avatar.pl -- Noble Avatar generator | ||
| page.pl -- Provide the SWISH application as Prolog HTML component | ||
| logo/3 | Hook to include the top-left logos. | |
| pengine_logo/3 | Emit an <a> element that provides a link to Pengines and SWISH on this server. | |
| swish_content/3 | Generate the SWISH editor, Prolog output area and query editor. | |
| swish_logo/3 | Emit an <a> element that provides a link to Pengines and SWISH on this server. | |
| swish_navbar/3 | Generate the swish navigation bar. | |
| swish_page/3 | Generate the entire SWISH default page. | |
| swish_reply/2 | HTTP handler to reply the default SWISH page. | |
| swish_reply_resource/1 | Serve /swish/Resource files. | |
| swish_resources/2 | Include SWISH CSS and JavaScript. | |
| patch.pl -- Run patch program | ||
| paths.pl -- Setup SWISH search paths | ||
| pep.pl -- SWISH PEP (Policy Enforcement Point) | ||
| procps.pl -- Get process statistics from Linux /proc | ||
| profiles.pl | ||
| projection.pl -- Define the projection | ||
| projection/1 | Specify the result variables. | |
| 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 | ||
| swish_redis.pl -- Redis stream connection | ||
| template_hint.pl -- Generate template hints for CondeMirror | ||
| trace.pl -- | ||
| version.pl -- Manage software versions | ||
| check_prolog_version/1 | Validate the program is running under Prolog version Required or newer. | |
| git_module_property/2 | Property is a property of the named git-component. | |
| prolog_version_atom/1 | Atom describes the current Prolog version. | |
| register_git_module/2 | Register the directory from which the Prolog file was loaded as a GIT component about which to report version information. | |
| web.pl -- Serve /plugin | ||