wiki_file_to_dom(+File, +DOM) is det

DOM is the HTML dom representation for the content of File.

 include(+Object, +Type, +Options)//

 file(+Path, Options)//

Trap translation of \file(+Path, Options)

 wiki_page_title(?Location, ?Title) is nondet

True when Title is the title of the wiki page at Location.

 update_wiki_page_title(Location) is det

Update the cached information about a wiki file.

 index_wiki_pages

Create a (title) index of the available wiki pages. This is started from server/1 in a background thread.

 extract_title(+DOM0, -Title, -DOM) is det

Extract the title from a wiki page. The title is considered to be the first h<N> element.

 title_text(+Title, -Text:atom) is det

Turn the title, represented as an argument to html//1 into a plain string. Turns it into HTML, then parses the HTML and finally extracts the string. First clause avoids this for the common normal case.

 safe_file_name(+Name)

True when Name is a file without references to parent directories.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 existing_linked_file(Arg1, Arg2)

 object_page_header(Arg1, Arg2, Arg3, Arg4)

 nopredref(Arg1, Arg2, Arg3)

 file_header(Arg1, Arg2, Arg3, Arg4)

 doc_write_html(Arg1, Arg2, Arg3)

 print_html_head(Arg1)

 object_footer(Arg1, Arg2, Arg3, Arg4)

 ensure_doc_objects(Arg1)

 objects(Arg1, Arg2, Arg3, Arg4)

 tags(Arg1, Arg2, Arg3)

 object_href(Arg1, Arg2)

 object_name(Arg1, Arg2, Arg3, Arg4)

 object_source_button(Arg1, Arg2, Arg3, Arg4)

 object_tree(Arg1, Arg2, Arg3, Arg4, Arg5)

 is_op_type(Arg1, Arg2)

 source_button(Arg1, Arg2, Arg3, Arg4)

 predref(Arg1, Arg2, Arg3)

 object_page_footer(Arg1, Arg2, Arg3, Arg4)

 doc_resources(Arg1, Arg2, Arg3)

 object_ref(Arg1, Arg2, Arg3, Arg4)

 multifile(Arg1, Arg2)

 flagref(Arg1, Arg2, Arg3)

 object_edit_button(Arg1, Arg2, Arg3, Arg4)

 pred_anchor_name(Arg1, Arg2, Arg3)

 doc_page_dom(Arg1, Arg2, Arg3)

 object_page(Arg1, Arg2, Arg3, Arg4)

 doc_file_objects(Arg1, Arg2, Arg3, Arg4, Arg5)

 term(Arg1, Arg2, Arg3, Arg4, Arg5)

 pred_edit_button(Arg1, Arg2, Arg3, Arg4)

 zoom_button(Arg1, Arg2, Arg3, Arg4)

 unquote_filespec(Arg1, Arg2)

 wiki_extension(Arg1)

 edit_button(Arg1, Arg2, Arg3, Arg4)

 is_pi(Arg1)

 predref(Arg1, Arg2, Arg3, Arg4)

 wiki_file_codes_to_dom(Arg1, Arg2, Arg3)

 cite(Arg1, Arg2, Arg3)

 mode_anchor_name(Arg1, Arg2)

 doc_for_file(Arg1, Arg2)

 file(Arg1, Arg2, Arg3)

 doc_hide_private(Arg1, Arg2, Arg3)

 module_info(Arg1, Arg2, Arg3)

 doc_tag_title(Arg1, Arg2)

 private(Arg1, Arg2)

 object_synopsis(Arg1, Arg2, Arg3, Arg4)

 doc_for_wiki_file(Arg1, Arg2)