lib

Prolog files

attvar.plShow source
authenticate.pl  -- Authentication access for SWISHShow source
authentication_hook/3Is called from the /pengine/create request to establish the logged in user.Source
authenticate/2Establish the identity behind the HTTP Request.Source
user_property/2True when Identity has Property.Source
avatar.pl  -- Avatar managementShow source
bootstrap.pl  -- Bootstrap form generatorShow source
chat.pl  -- The SWISH collaboration backboneShow source
broadcast_bell/3Adds a bell to indicate central chat messages.Source
chat_about/2Distribute a chat message about DocID.Source
chat_broadcast/1Send Message to all known SWISH clients.Source
chat_broadcast/2Send Message to all known SWISH clients.Source
chat_to_profile/2Send a HTML notification to users logged in using ProfileID.Source
notifications/3The chat element is added to the navbar and managed by web/js/chat.js.Source
chatstore.pl  -- Store chat messagesShow 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
dashboard.pl  -- Provide non-programmer query executionShow 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
gitty_driver_bdb.pl  -- Gitty BDB driverShow source
gitty_driver_files.pl  -- Gitty plain files driverShow 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
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
xref_source_identifier/2Map swish://file to a file from the gitty store.Source
include/2Include file at a specific version.Source
jquery.pl  -- Call jQuery on the SWISH interfaceShow source
markdown.pl  -- SWISH Notebook markdown supportShow source
md_eval.pl  -- Provide evaluable markdownShow source
messages.plShow source
noble_avatar.pl  -- Noble Avatar generatorShow source
oauth2.pl  -- Oauth2 based loginShow source
page.pl  -- Provide the SWISH application as Prolog HTML componentShow source
patch.pl  -- Run patch programShow 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.plShow source
profiles.plShow source
projection.pl  -- Define the projectionShow source
render.pl  -- SWISH term-rendering supportShow source
search.pl  -- SWISH search from the navigation barShow source
session.pl  -- Setup SWISH sessionsShow source
storage.pl  -- Store files on behalve of web clientsShow 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.plShow source
template_hint.pl  -- Generate template hints for CondeMirrorShow source
trace.pl  -- Show source
prepare_goal/3Handle the breakpoints(List) option to set breakpoints prior to execution of the query.Source
open_source/2Open SWISH non-file sources.Source
$swish wrapper/2Wrap a SWISH goal in '$swish wrapper'.Source
post_context/3Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced.Source
pre_context/3Multifile hooks to extract additional information from the Pengine, either just before Goal is started or after an answer was produced.Source
version.pl  -- Manage software versionsShow source
web.pl  -- Serve /pluginShow source