lib

Prolog files

attvar.plShow source
get_attr/2Get the attribute on the current module.Source
put_attr/2Put an attribute on the current module.Source
authenticate.pl  -- Authentication access for SWISHShow source
avatar.pl  -- Avatar managementShow source
bootstrap.pl  -- Bootstrap form generatorShow source
chat.pl  -- The SWISH collaboration backboneShow source
chatstore.pl  -- Store chat messagesShow source
chat_messages/3Get messages associated with DocID.Source
chat_store/1Add a chat message to the chat store.Source
chat_count_about/2True when Count is the number of messages about DocID.Source
config.pl  -- Make HTTP locations known to JSON codeShow source
config/2Define a name/value pair that will end up in the SWISH config object (see web/js/config.js).Source
login/2If a login item with 'data-server'(+Server) is clicked, the HTTP handler with id login is called.Source
login_item/2This hook is called to find all possible login options.Source
source_alias/2Multifile hook that defines properties of file_search_path/2 aliases wrt.Source
swish_config/2Define a name/value pair that will end up in the SWISH config object (see web/js/config.js).Source
swish_config_hash/2True if Hash is the SHA1 of the SWISH config.Source
swish_reply_config/2Emit a configuration object to the client if the client requests for '.../swish_config.json', regardless of the path prefix.Source
user_info/3Each login facility must provide this hook.Source
content_filter.pl  -- Ban list content filterShow source
cron.pl  -- Schedule HTTP server maintenance tasksShow source
dashboard.pl  -- Provide non-programmer query executionShow source
data_source.pl  -- Cached data accessShow source
goal_expansion/2Translate a Dict where the tag is the identifier of a data source and the keys are columns pf this source into a goal on the data.Source
data materialized/3Called by a data plugin to indicate that loading the data has finished.Source
data_dump/3Table is a list of rows in the indicated range.Source
data_flush/1Drop the data associated with hash.Source
data_property/2True when Property is a known property about the data source Id.Source
data_record/2True when Record is a dict representing a row in the dataset identified by Id.Source
data_row/2True when Row is a term Id(Arg, ...), where the first row contains the column names.Source
data_row/4True when Row is a term Id(Arg, ...), where the first row contains the column names.Source
data_source/2Create a data source Id from the source definition Source.Source
record/2True when Record is a dict representing a row in the dataset identified by Id.Source
download.pl  -- Provide a button for downloading dataShow source
download_button/2Emit a button in the SWISH output window for downloading Data.Source
examples.pl  -- Serve example filesShow source
provides/1Make examples available through swish_provides/1.Source
flags.plShow source
form.pl  -- Form handling utilitiesShow source
gitty.pl  -- Single-file GIT like version systemShow source
data_diff/3Diff two data strings line-by-line.Source
delete_head/2Delete Head from the administration.Source
delete_object/2Delete an existing object.Source
fsck_object/2Test the integrity of object Hash in Store.Source
gitty_close/1Close access to the Store.Source
gitty_commit/3True if Meta holds the commit data of NameOrHash.Source
gitty_create/5Create a new object Name from Data and meta information.Source
gitty_data/4Get the data in object Name and its meta-data.Source
gitty_diff/4True if Dict representeds the changes in Hash1 to FileOrHash2.Source
gitty_driver/2Get the current gitty driver.Source
gitty_file/3True when Hash is an entry in the gitty Store and Head is the HEAD revision.Source
gitty_file/4True when Hash is an entry in the gitty Store and Head is the HEAD revision.Source
gitty_fsck/1Check the integrity of store.Source
gitty_hash/2True when Hash is an object in the store.Source
gitty_load/4Low level objects store.Source
gitty_open/2Open a gitty store according to Options.Source
gitty_plain_commit/3Load the commit object with Hash.Source
gitty_reserved_meta/1True when Key is a gitty reserved key for the commit meta-data.Source
gitty_save/4Low level objects store.Source
gitty_update/5Update document Name using Data and the given meta information.Source
is_gitty_hash/1True if Term is a possible gitty (SHA1) hash.Source
set_head/3Register Head as the Head hash for File, removing possible old head.Source
udiff_string/2True when String is the string representation of UDiff.Source
gitty_driver_bdb.pl  -- Gitty BDB driverShow source
delete_head/2Delete the named head.Source
delete_object/2Delete an existing object.Source
gitty_close/1Close the BDB environment associated with a gitty store.Source
gitty_file/3True when File entry in the gitty store and Head is the HEAD revision.Source
gitty_hash/2True when Hash is an object in the store.Source
gitty_update_head/4Update the head of a gitty store for Name.Source
load_object/5Load an object given its Hash.Source
load_plain_commit/3Load the commit data as a dict.Source
set_head/3Set the head of the given File to Hash.Source
store_object/4Store the actual object.Source
gitty_driver_files.pl  -- Gitty plain files driverShow source
attach_pack/2Load the index of Pack into memory.Source
delete_head/2Delete Head from Store.Source
delete_object/2Delete an existing object.Source
fsck_pack/1Validate the integrity of the pack file File.Source
gitty_close/1Close resources associated with a store.Source
gitty_file/4True when File entry in the gitty store and Head is the HEAD revision.Source
gitty_fsck/1Validate all packs associated with Store.Source
gitty_hash/2True when Hash is an object in the store.Source
gitty_open/2Driver specific initialization.Source
gitty_rescan/1Update our view of the shared storage for all stores matching Store.Source
gitty_update_head/5Update the head of a gitty store for Name.Source
load_object/5Load the given object.Source
load_object_from_pack/4True when Hash is in a pack and can be loaded.Source
load_plain_commit/3Load the commit data as a dict.Source
pack_objects/6Pack the given objects and pack files into a new pack.Source
repack_objects/2Repack objects of Store for reduced disk usage and enhanced performance.Source
set_head/3Set the head of the given File to Hash.Source
store_object/4Store the actual object.Source
unpack_pack/2Turn a pack back into a plain object files.Source
unpack_packs/1Unpack all packs.Source
help.pl  -- SWISH help systemShow source
highlight.pl  -- Highlight token serverShow source
xref_open_source/2Open a source.Source
config/2Provides the object config.swish.style, a JSON object that maps style properties of user-defined extensions of library(prolog_colour).Source
css/3Multifile hook to define additional style to apply in a specific context.Source
current_highlight_state/2Return info on the current highlighter.Source
server_tokens/1These predicates help debugging the server side.Source
show_mirror/1These predicates help debugging the server side.Source
style/3Declare that we map StyleIn as generated by library(prolog_colour) into a token of type SWISHType, providing additional context information based on Attributes.Source
token_info/3Generate HTML, providing details about Token.Source
html_output.pl  -- SWISH HTML OutputShow source
html/1Insert HTML into the output.Source
html/3Sandbox respecting version of html_write:html//1.Source
safe_raw_html/1Helper for variables in html(\List).Source
http_version.pl  -- Serve version details over HTTPShow source
include.pl  -- Support :- include(File) from SWISHShow source
xref_source_file/3Deal with the above expansion for :- include(program) to support the cross-referencer.Source
include/2Include file at a specific version.Source
jquery.pl  -- Call jQuery on the SWISH interfaceShow source
jquery/2Run a jQuery query in the SWISH interface.Source
jquery/3Run a jQuery query in the SWISH interface.Source
logging.pl  -- Add SWISH query execution to the HTTP log fileShow source
markdown.pl  -- SWISH Notebook markdown supportShow source
file/4Hook that deals with linking other notebooks using the following markdown syntax:.Source
md_eval.pl  -- Provide evaluable markdownShow source
swish_provides/1True when Term describes a provided feature of the current SWISH instances.Source
messages.plShow source
noble_avatar.pl  -- Noble Avatar generatorShow source
oauth2.pl  -- Oauth2 based loginShow source
login/3Multifile hook to realise the actual login.Source
oauth2_claim/2True when Claim is the claim made in TokenInfo.Source
oauth2_login/2HTTP handler to login using oauth2.Source
oauth2_reply/2HTTP handler for the redirect we get back from the oauth2 server.Source
oauth2_user_info/3Given the token details obtained in oauth2_reply/2, get extended information about the user from the identity provider.Source
oauth2_validate_access_token/3Validates the AccessToken with Unity (implicit or hybrid flow).Source
server_attribute/3Multifile hook that defines available oauth2 servers.Source
page.pl  -- Provide the SWISH application as Prolog HTML componentShow source
patch.pl  -- Run patch programShow source
patch/4Patch the string Orig using Diff.Source
paths.pl  -- Setup SWISH search pathsShow source
pep.pl  -- SWISH PEP (Policy Enforcement Point)Show source
not_sandboxed/2Called by Pengines to see whether User may call non-sandboxed operations in Application.Source
approve/3This hook is called by approve/2 and deny/2 before the default rules.
approve/2Source
authorized/2Verify that Action is authorized.Source
deny/2Source
ws_authorized/2True when WSUser is allowed to perform action.Source
procps.pl  -- Get process statistics from Linux /procShow source
profiles.plShow source
projection.pl  -- Define the projectionShow source
r_swish.plShow source
r_console/2Relay Rserve captured output to SWISH using writeln.Source
r_console_property/1Relay the size of the console.Source
r_display_images/1Relay received images to the SWISH console using pengine_output/1.Source
r_download/0Provide download buttons for all created files.Source
r_download/1Provide a download button for the indicates file.Source
render.pl  -- SWISH term-rendering supportShow source
search.pl  -- SWISH search from the navigation barShow source
match/3True if Line matches Query, respecting Options.Source
search_box/3Render a Bootstrap search box.Source
typeahead/4Find typeahead suggestions for a specific search category (Type).Source
session.pl  -- Setup SWISH sessionsShow source
storage.pl  -- Store files on behalve of web clientsShow source
typeahead/4Find files using typeahead from the SWISH search box.Source
storage_commit/2Load the commit data for Hash.Source
storage_file/1True if File is known in the store.Source
storage_file/3True if File is known in the store.Source
storage_file_extension/2True if File is known in the store.Source
storage_file_extension_head/3True if File is known in the store.Source
storage_fsck/0Enumerate and check the consistency of the entire store.Source
storage_load_term/2Add/retrieve terms from the gitty store.Source
storage_meta_data/2True if File is known in the store.Source
storage_meta_property/2True when Meta has Property.Source
storage_repack/0Repack the storage directory.Source
storage_repack/1Repack the storage directory.Source
storage_store_term/2Add/retrieve terms from the gitty store.Source
storage_unpack/0Unpack all packed objects of the store.Source
use_gitty_file/1Load a file from the Gitty store.Source
use_gitty_file/2Load a file from the Gitty store.Source
swish_chr.pl  -- Make CHR available in SWISHShow source
swish_csv.pl  -- Support CSV output from a Pengines serverShow source
write_result/3Hook into library(pengines) that makes pengines support CSV output.Source
swish_debug.pl  -- Print debug messages and test assertionsShow source
debug/1Add/remove a topic from being printed.Source
list_debug_topics/0List currently known topics for debug/3 and their setting.Source
list_debug_topics/1List currently known topics for debug/3 and their setting.Source
nodebug/1Add/remove a topic from being printed.Source
swish_debug/3Format a message if debug topic is enabled.Source
swish_debugging/1Examine debug topics.Source
swish_diagnostics.plShow source
pengine_stale_module/1True if M seems to be a pengine module with no associated pengine.Source
pengine_stale_module/2True if M seems to be a pengine module with no associated pengine.Source
redis_consumer_status/2True when Status is a dict describing the current status for Consumer.Source
stale_pengine/1True if Pengine is a Pengine who's thread died.Source
start_swish_stat_collector/0Start collecting statistical performance information for the running SWISH server.Source
swish_cluster_member/2Source
swish_died_thread/2True if Id is a thread that died with Status and has not (yet) been joined.Source
swish_save_stats/1Save statistcs to File or the default file.Source
swish_statistics/1True if State is a statistics about SWISH.Source
swish_stats/2Get the collected statistics for the given Period.Source
swish_redis.pl  -- Redis stream connectionShow source
template_hint.pl  -- Generate template hints for CondeMirrorShow source
trace.pl  -- Show source
version.pl  -- Manage software versionsShow source
web.pl  -- Serve /pluginShow source