swish

Prolog files

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
random_avatar/1Generate a random avatar image url.Source
release_avatar/1Release the avatar to the pool of free avatars.Source
valid_gravatar/1True if URL is a real gavatar.Source
bootstrap.pl  -- Bootstrap form generatorShow source
bt_button/6Source
bt_form/4Emit a Bootstrap form from Contents.Source
name_label/2Determine a label from a name by upcasing the first character and replacing all underscores by spaces.Source
chat.pl  -- The SWISH collaboration backboneShow source
chat_about/2Distribute a chat message about DocID.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
chat_messages/2Get all 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
cp_authenticate.pl  -- SWISH login managementShow source
examples.pl  -- Serve example filesShow source
form.pl  -- Form handling utilitiesShow source
validate_field/4True when Value is a valid value for Field from Dict according to Options.Source
validate_form/2Run validate_field/4 on all specified fields, combining the error message.Source
gitty.pl  -- Single-file GIT like version systemShow source
data_diff/3Diff two data strings line-by-line.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_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_history/4History is a list of dicts representating the history of Name in Store.Source
gitty_open/2Open a gitty store according to Options.Source
gitty_reserved_meta/1True when Key is a gitty reserved key for the commit meta-data.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
udiff_string/2True when String is the string representation of UDiff.Source
gitty_driver_files.pl  -- Gitty plain files driverShow source
delete_head/2Delete Head from Store.Source
delete_object/2Delete an existing object.Source
gitty_close/1Close resources associated with a 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_rescan/1Update our view of the shared storage for all stores matching Store.Source
gitty_update_head/4Update the head of a gitty store for Name.Source
load_object/5Load the given object.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
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
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
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
logging.pl  -- Add SWISH query execution to the HTTP log fileShow source
markdown.pl  -- SWISH Notebook markdown supportShow source
messages.plShow source
noble_avatar.pl  -- Noble Avatar generatorShow source
create_avatar/2(Re-)create avatar with basename PNG.Source
existing_noble_avatar/2True when Image is the image file of a previously generated avatar of Gender.Source
noble_avatar/2True when File is the image file name for a generated avatar of Gender.Source
noble_avatar/3True when File is the image file name for a generated avatar of Gender.Source
page.pl  -- Provide the SWISH application as Prolog HTML componentShow source
logo/3Hook to include the top-left logos.
pengine_logo/3Emit an <a> element that provides a link to Pengines and SWISH on this server.Source
swish_content/3Generate the SWISH editor, Prolog output area and query editor.Source
swish_logo/3Emit an <a> element that provides a link to Pengines and SWISH on this server.Source
swish_navbar/3Generate the swish navigation bar.Source
swish_page/3Generate the entire SWISH default page.Source
swish_reply/2HTTP handler to reply the default SWISH page.Source
swish_resources/2Include SWISH CSS and JavaScript.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/2Source
authorized/2Verify that Action is authorized.Source
deny/2Source
profiles.plShow source
render.pl  -- SWISH term-rendering supportShow source
current_renderer/2True when renderer Name is declared with Comment.Source
register_renderer/2Register a module as SWISH rendering component.Source
use_rendering/1Register an answer renderer.Source
use_rendering/2Register an answer renderer with options.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
storage.pl  -- Store files on behalve of web clientsShow source
typeahead/4Find files using typeahead from the SWISH search box.Source
storage_file/1True if File is known in the store.Source
storage_file/3True if File is known in the store.Source
storage_meta_data/2True if File is known in the store.Source
storage_meta_property/2True when Meta has Property.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
template_hint.pl  -- Generate template hints for CondeMirrorShow source
config/2Provides the object config.swish.templates, a JSON object that provides the templates for hinting in CodeMirror.Source
predicate_template/2Source
visible_predicate/3True when PI is a plain predicate indicator for a predicate that can be called in Module.Source
visible_predicate_templates/3True when Templates is a JSON dict holding autocompletion templates for Module.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