Did you know ... Search Documentation:
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:
If true (default), only emit documentation for exported predicates.
If true, provide edit buttons. Default, these buttons are suppressed.
Specify the page title. Default is the base name of the file.
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.
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.
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 object_ref(Arg1, Arg2, Arg3, Arg4)
Source object_source_button(Arg1, Arg2, Arg3, Arg4)
Source object_name(Arg1, Arg2, Arg3, Arg4)
Source zoom_button(Arg1, Arg2, Arg3, Arg4)
Source object_footer(Arg1, Arg2, Arg3, Arg4)
Source object_page(Arg1, Arg2, Arg3, Arg4)
Source term(Arg1, Arg2, Arg3, Arg4, Arg5)
Source file_header(Arg1, Arg2, Arg3, Arg4)
Source source_button(Arg1, Arg2, Arg3, Arg4)
Source file(Arg1, Arg2, Arg3)
Source nopredref(Arg1, Arg2, Arg3)
Source objects(Arg1, Arg2, Arg3, Arg4)
Source predref(Arg1, Arg2, Arg3)
Source doc_resources(Arg1, Arg2, Arg3)
Source include(Arg1, Arg2, Arg3, Arg4, Arg5)
Source file(Arg1, Arg2, Arg3, Arg4)
Source pred_edit_button(Arg1, Arg2, Arg3, Arg4)
Source edit_button(Arg1, Arg2, Arg3, Arg4)
Source tags(Arg1, Arg2, Arg3)
Source object_synopsis(Arg1, Arg2, Arg3, Arg4)
Source object_tree(Arg1, Arg2, Arg3, Arg4, Arg5)
Source object_page_footer(Arg1, Arg2, Arg3, Arg4)
Source cite(Arg1, Arg2, Arg3)
Source object_page_header(Arg1, Arg2, Arg3, Arg4)
Source object_edit_button(Arg1, Arg2, Arg3, Arg4)
Source flagref(Arg1, Arg2, Arg3)
Source predref(Arg1, Arg2, Arg3, Arg4)