comparison cpack/dml/lib/pengutils.pl @ 0:718306e29690 tip

commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:718306e29690
1 /* Part of DML (Digital Music Laboratory)
2 Copyright 2014-2015 Samer Abdallah, University of London
3
4 This program is free software; you can redistribute it and/or
5 modify it under the terms of the GNU General Public License
6 as published by the Free Software Foundation; either version 2
7 of the License, or (at your option) any later version.
8
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
13
14 You should have received a copy of the GNU General Public
15 License along with this library; if not, write to the Free Software
16 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
17 */
18
19 :- module(pengutils,
20 [ write_html/1
21 , term_rendering//3
22 ]).
23
24 :- meta_predicate write_html(:).
25
26 :- use_module(library(http/html_write)).
27 :- use_module(library(pengines)).
28 :- use_module(library(sandbox)).
29 :- use_module(library(swish/render)).
30
31 :- register_renderer(html,"Render HTML").
32
33 :- meta_predicate write_html(:).
34 sandbox:safe_meta(pengutils:write_html(_),[]).
35
36 %% write_html(+HTML) is det.
37 % Takes HTML elements as accepted by html//1 and outputs
38 % them to the pengine.
39 write_html(M:H) :-
40 debug(pengutils,'write_html(~w)',[M:H]),
41 html(M:H,Tokens,[]),
42 with_output_to(string(S),print_html(Tokens)),
43 debug(pengutils,'write_html output: ~s',[S]),
44 pengine_output(S).
45
46 term_rendering(html(Stuff),_,Opts) -->
47 {option(module(M),Opts)},
48 {debug(pengutils,'Rendering as HTML: ~q',[Stuff])},
49 html(M:Stuff).
50