- library
- pldoc
- doc_process.pl -- Process source documentation
- doc_register.pl
- doc_modes.pl -- Analyse PlDoc mode declarations
- doc_wiki.pl -- PlDoc wiki parser
- doc_htmlsrc.pl -- HTML source pretty-printer
- doc_colour.pl -- Source colouring support
- doc_html.pl -- PlDoc HTML backend
- doc_for_file/2
- doc_resources//1
- doc_file_objects/5
- ensure_doc_objects/1
- module_info/3
- doc_hide_private/3
- private/2
- multifile/2
- file_header//2
- edit_button//2
- zoom_button//2
- source_button//2
- objects//2
- is_pi/1
- object_page//2
- object_page_footer//2
- object_synopsis//2
- unquote_filespec/2
- doc_write_html/3
- doc_page_dom/3
- print_html_head/1
- tags//1
- doc_tag_title/2
- object_tree//3
- pred_edit_button//2
- object_edit_button//2
- object_source_button//2
- is_op_type/2
- term//3
- predref//1
- predref//2
- object_ref//2
- object_href/2
- object_href/3
- object_name//2
- file//1
- file//2
- existing_linked_file/2
- include//3
- doc_for_wiki_file/2
- mode_anchor_name/2
- pred_anchor_name/3
- doc_is_public_object/1
- doc_man.pl -- Process SWI-Prolog HTML manuals
- doc_search.pl -- Search form and reply
- doc_index.pl -- Create indexes
- doc_util.pl -- PlDoc utilities
- doc_access.pl
- doc_pack.pl -- PlDoc for Prolog extension packs
- pldoc
- file(+FileName)// is det
- file(+FileName, +Options)// is det
- Create a link to another filename if the file exists. Called by
\
file(File)terms in the DOM term generated bywiki.pl. Supported options are:- label(+Label)
- Label to use for the link to the file.
- absolute_path(+Path)
- Absolute location of the referenced file.
- href(+HREF)
- Explicitely provided link; overrule link computation.
- map_extension(+Pairs)
- Map the final extension if OldExt-NewExt is in Pairs.
- files(+Map)
- List of
file(Name, Link)that specifies that we must user Link for the given physical file Name. - edit_handler(+Id)
- HTTP handler Id to call if the user clicks the edit button.
- To be done
- - Translation of files to HREFS is a mess. How to relate these elegantly?