Did you know ... Search Documentation:
doc_html.pl
PublicShow source

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

Source doc_for_file(+File, +Options) is det
HTTP handler that writes documentation for File as HTML. Options:
public_only(+Bool)
If true (default), only emit documentation for exported predicates.
edit(Bool)
If true, provide edit buttons. Default, these buttons are suppressed.
title(+Title)
Specify the page title. Default is the base name of the file.
Arguments:
File- Prolog file specification or xref source id.
Source doc_file_objects(+FileSpec, -File, -Objects, -FileOptions, +Options) is det
Extracts relevant information for FileSpec from the PlDoc database. FileOptions contains:
  • file(Title:string, Comment:string)
  • module(Module:atom)
  • public(Public:list(predicate_indicator)

Objects contains

  • doc(PI:predicate_indicator, File:Line, Comment)

We distinguish three different states for FileSpec:

  1. File was cross-referenced with collection enabled. All information is in the xref database.
  2. File was loaded. If comments are not loaded, cross-reference the file, while storing the comments as the compiler would do.
  3. Neither of the above. In this case we cross-reference the file.
Arguments:
FileSpec- File specification as used for load_files/2.
File- Prolog canonical filename
Source ensure_doc_objects(+File) is det
Ensure we have documentation about File. If we have no comments for the file because it was loaded before comment collection was enabled, run the cross-referencer on it to collect the comments and meta-information.
Arguments:
File- is a canonical filename that is loaded.
Source module_info(+File, -ModuleOptions, +OtherOptions) is det
Add options module(Name), public(Exports) to OtherOptions if File is a module file.
Source doc_hide_private(+Objs, +Public, +Options)
Remove the private objects from Objs according to Options.
Source private(+Obj, +Options) is semidet
True if Obj is not exported from Options. This means Options defined a module and Obj is not member of the exports of the module.
Source multifile(+Obj, +Options) is semidet
True if Obj is a multifile predicate.
Source is_pi(@Term) is semidet
True if Term is a predicate indicator.
Source unquote_filespec(+Spec, -Unquoted) is det
Translate e.g. library('semweb/rdf_db') into library(semweb/rdf_db).
Source doc_write_html(+Out:stream, +Title:atomic, +DOM) is det
Write HTML for the documentation page DOM using Title to Out.
Source doc_page_dom(+Title, +Body, -DOM) is det
Create the complete HTML DOM from the Title and Body. It adds links to the style-sheet and javaScript files.
Source print_html_head(+Out:stream) is det
Print the DOCTYPE line.
Source doc_tag_title(+Tag, -Title) is det
Title is the name to use for Tag in the generated documentation.
Source is_op_type(+Atom, ?Type)
True if Atom is an operator of Type. Type is one of prefix, infix or postfix.
Source object_href(+Object, -HREF) is det
Source object_href(+Object, -HREF, +Options) is det
HREF is the URL to access Object.
Source existing_linked_file(+File, -Path) is semidet
True if File is a path to an existing file relative to the current file. Path is the absolute location of File.
Source doc_for_wiki_file(+File, +Options) is det
Write HTML for the File containing wiki data.
Source mode_anchor_name(+Mode, -Anchor:atom) is det
Get the anchor name for a mode.
Source pred_anchor_name(+Head, -PI:atom/integer, -Anchor:atom) is det
Create an HTML anchor name from Head.

Undocumented predicates

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

Source file_header(Arg1, Arg2, Arg3, Arg4)
Source object_page(Arg1, Arg2, Arg3, Arg4)
Source flagref(Arg1, Arg2, Arg3)
Source tags(Arg1, Arg2, Arg3)
Source object_footer(Arg1, Arg2, Arg3, Arg4)
Source predref(Arg1, Arg2, Arg3)
Source cite(Arg1, Arg2, Arg3)
Source doc_resources(Arg1, Arg2, Arg3)
Source object_synopsis(Arg1, Arg2, Arg3, Arg4)
Source pred_edit_button(Arg1, Arg2, Arg3, Arg4)
Source include(Arg1, Arg2, Arg3, Arg4, Arg5)
Source object_tree(Arg1, Arg2, Arg3, Arg4, Arg5)
Source object_source_button(Arg1, Arg2, Arg3, Arg4)
Source source_button(Arg1, Arg2, Arg3, Arg4)
Source zoom_button(Arg1, Arg2, Arg3, Arg4)
Source predref(Arg1, Arg2, Arg3, Arg4)
Source object_ref(Arg1, Arg2, Arg3, Arg4)
Source object_name(Arg1, Arg2, Arg3, Arg4)
Source file(Arg1, Arg2, Arg3, Arg4)
Source nopredref(Arg1, Arg2, Arg3)
Source term(Arg1, Arg2, Arg3, Arg4, Arg5)
Source edit_button(Arg1, Arg2, Arg3, Arg4)
Source object_edit_button(Arg1, Arg2, Arg3, Arg4)
Source objects(Arg1, Arg2, Arg3, Arg4)
Source object_page_header(Arg1, Arg2, Arg3, Arg4)
Source object_page_footer(Arg1, Arg2, Arg3, Arg4)
Source file(Arg1, Arg2, Arg3)