1/*  Part of ClioPatria
    2
    3    Author:        Jan Wielemaker
    4    E-mail:        J.Wielemaker@vu.nl
    5    WWW:           http://www.swi-prolog.org
    6    Copyright (c)  2010-2012 University of Amsterdam
    7                             CWI, Asterdam
    8                             VU University Amsterdam
    9    All rights reserved.
   10
   11    Redistribution and use in source and binary forms, with or without
   12    modification, are permitted provided that the following conditions
   13    are met:
   14
   15    1. Redistributions of source code must retain the above copyright
   16       notice, this list of conditions and the following disclaimer.
   17
   18    2. Redistributions in binary form must reproduce the above copyright
   19       notice, this list of conditions and the following disclaimer in
   20       the documentation and/or other materials provided with the
   21       distribution.
   22
   23    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
   24    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
   25    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
   26    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
   27    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
   28    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
   29    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
   30    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
   31    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
   32    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
   33    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
   34    POSSIBILITY OF SUCH DAMAGE.
   35*/
   36
   37:- module(cp_help, []).   38:- use_module(library(doc_http)).               % Load pldoc
   39:- use_module(library(pldoc/doc_index)).        % PlDoc Search menu
   40:- use_module(library(http/http_hook)).         % Get hook signatures
   41:- use_module(library(http/http_dispatch)).     % Get hook signatures
   42:- use_module(library(http/html_write)).   43:- use_module(library(http/html_head)).   44:- include(library(pldoc/hooks)).
   45
   46:- use_module(cliopatria(parms)).       % Get paths
   47:- use_module(skin(cliopatria)).        % Skinning primitives
   48:- use_module(wiki).                    % Our own help-pages
   49:- use_module(http_help).               % Help on HTTP server
   50:- use_module(ac_predicate).            % Predicate autocompletion
   51:- use_module(components(menu)).        % ClioPatria Menu

   60:- if(current_predicate(doc_enable/1)).   61:- initialization
   62    doc_enable(true).   63:- endif.   64
   65%       http:location(pldoc, Location, Options) is det.
   66%
   67%       Rebase PlDoc to <prefix>/help/source/
   68
   69http:location(pldoc, root('help/source'), [priority(10)]).
   70
   71:- http_handler(root(help/source), cp_help, []).   72:- http_handler(cliopatria('help/'),
   73                serve_page(help), [prefix, id(wiki_help)]).   74:- http_handler(cliopatria('tutorial/'),
   75                serve_page(tutorial), [prefix, id(tutorial)]).

 prolog:doc_directory(+Dir) is semidet

True if we allow PlDoc to serve files from Dir. This allows serving all files in the ClioPatria hierarchy.

   82prolog:doc_directory(Dir) :-
   83    absolute_file_name(cliopatria(.), CpDir,
   84                       [ file_type(directory),
   85                         access(read)
   86                       ]),
   87    sub_atom(Dir, 0, _, _, CpDir).

 cp_help(+Request)

HTTP handler that integrates a customised version of PlDoc for ClioPatria. The opening page shows the file RoadMap.txt.

   94cp_help(Request) :-
   95    http_location_by_id(pldoc_doc, Location),
   96    absolute_file_name(cliopatria('RoadMap'), HelpFile,
   97                       [ extensions([txt]),
   98                         access(read)
   99                       ]),
  100    atom_concat(Location, HelpFile, StartPage),
  101    http_redirect(moved, StartPage, Request).

 cliopatria:menu_item(-Item, -Label) is nondet

Extends the help popup with links to the source-code and the HTTP services.

  108:- multifile
  109    cliopatria:menu_item/2.  110
  111cliopatria:menu_item(100=help/wiki_help, 'Documentation').
  112cliopatria:menu_item(150=help/tutorial,  'Tutorial').
  113cliopatria:menu_item(200=help/cp_help,   'Roadmap').
  114cliopatria:menu_item(300=help/http_help, 'HTTP Services').

 user:body(+Style, :Body)// is det

The multi-file implementation defines the overall layout of HTML pages with the Style pldoc(_).

  121:- multifile
  122    user:body//2.  123
  124user:body(pldoc(wiki), Content) -->
  125    { absolute_file_name(cliopatria(.), Dir,
  126                         [ file_type(directory),
  127                           access(read)
  128                         ])
  129    },
  130    html_requires(cliopatria),
  131    html(body(class('yui-skin-sam cliopatria'),
  132              [ div(class(menu), \cp_menu),
  133                br(clear(all)),
  134                div(class(content),
  135                    [ \doc_links(Dir, [])
  136                    | Content
  137                    ]),
  138                \server_address('ClioPatria')
  139              ])).
  140user:body(pldoc(_), Content) -->
  141    html_requires(cliopatria),
  142    html(body(class('yui-skin-sam cliopatria'),
  143              [ div(class(menu), \cp_menu),
  144                br(clear(all)),
  145                div(class(content), Content),
  146                \server_address('ClioPatria')
  147              ]))