Home Page
Site Map
Login/out
Message Board
Download(c) 2005-2024 XLOG Technologies AG
/**
* Modern Albufeira Prolog Interpreter
*
* Warranty & Liability
* To the extent permitted by applicable law and unless explicitly
* otherwise agreed upon, XLOG Technologies AG makes no warranties
* regarding the provided information. XLOG Technologies AG assumes
* no liability that any problems might be solved with the information
* provided by XLOG Technologies AG.
*
* Rights & License
* All industrial property rights regarding the information - copyright
* and patent rights in particular - are the sole property of XLOG
* Technologies AG. If the company was not the originator of some
* excerpts, XLOG Technologies AG has at least obtained the right to
* reproduce, change and translate the information.
*
* Reproduction is restricted to the whole unaltered document. Reproduction
* of the information is only allowed for non-commercial uses. Selling,
* giving away or letting of the execution of the library is prohibited.
* The library can be distributed as part of your applications and libraries
* for execution provided this comment remains unchanged.
*
* Restrictions
* Only to be distributed with programs that add significant and primary
* functionality to the library. Not to be distributed with additional
* software intended to replace any components of the library.
*
* Trademarks
* Jekejeke is a registered trademark of XLOG Technologies AG.
*/
import {exec_build, exec_unify, add, check_nonvar,
Compound, check_atom, copy_term, flush_buffer,
make_error, Sink, make_check, deref, stream_flush,
put_atom, stream_close, check_sink, check_integer,
norm_smallint, narrow_float, fiddle_out, fiddle_err
} from "../../dogelog.mjs";
import {xml_escape
} from "../util/auxlib.mjs";
/*****************************************************************/
/* Sink API */
/*****************************************************************/
/**
* ir_is_sink(O):
* The predicate succeeds if O is a sink.
*/
function test_ir_is_sink(args) {
let obj = deref(exec_build(args[0]));
return (obj instanceof Sink);
}
/**
* ir_data_current(W, S):
* The predicate succeeds in S with the underlying stream of the writer W.
*/
function test_ir_data_current(args) {
let obj = deref(exec_build(args[0]))
check_sink(obj);
return exec_unify(args[1], obj.data);
}
/**
* ir_data_set(W, S):
* The predicate succeeds. As a side effect the the
* underlying stream of the writer W is set to S.
*/
function test_ir_data_set(args) {
let obj = deref(exec_build(args[0]))
check_sink(obj);
let at = deref(exec_build(args[1]));
obj.data = at;
return true;
}
/**
* ir_flush_buffer(W):
* The predicate succeeds. As a side effect the buffer of W is flushed.
*/
function test_ir_flush_buffer(args) {
let obj = deref(exec_build(args[0]));
check_sink(obj);
flush_buffer(obj);
return true;
}
/**
* ir_indent_current(W, I):
* The predicate succeeds in I with the indent of the writer W.
*/
function test_ir_indent_current(args) {
let obj = deref(exec_build(args[0]));
check_sink(obj);
return exec_unify(args[1], norm_smallint(obj.indent));
}
/**
* ir_indent_set(W, I):
* The predicate succeeds. As a side effect it sets the indent of the writer W to I.
*/
function test_ir_indent_set(args) {
let obj = deref(exec_build(args[0]));
check_sink(obj);
let alpha = deref(exec_build(args[1]));
check_integer(alpha);
obj.indent = narrow_float(alpha);
return true;
}
/*****************************************************************/
/* DOM API */
/*****************************************************************/
/**
* dom_cell_add(E, T):
* The predicate inserts HTML text T before end of element E.
*/
function test_dom_cell_add(args) {
let at = deref(exec_build(args[0]));
check_element(at);
let buf = deref(exec_build(args[1]));
check_atom(buf);
at.insertAdjacentHTML("beforeend", buf);
return true;
}
export function check_element(beta) {
if (!(beta instanceof Element)) {
check_nonvar(beta);
beta = copy_term(beta);
throw make_error(new Compound("type_error", ["element", beta]));
}
}
/**
* dom_output_new(S, W):
* The predicate succeeds in W with a new DOM writer for the underlying stream S.
*/
function test_dom_output_new(args) {
let obj = deref(exec_build(args[0]));
let dst;
if (obj instanceof Sink) {
dst = new Sink();
dst.data = obj;
dst.send = dom_send;
dst.notify = dom_notify;
dst.release = dom_release;
} else {
dst = new Sink();
dst.data = obj;
dst.send = fiddle_out;
}
return exec_unify(args[1], dst);
}
function dom_send(data, buf) {
let text = xml_escape(buf);
put_atom(data, text);
}
function dom_notify(data) {
stream_flush(data);
}
function dom_release(data) {
stream_close(data);
}
/**
* dom_error_new(S, W):
* The predicate succeeds in W with a new DOM writer for the underlying stream S.
*/
function test_dom_error_new(args) {
let obj = deref(exec_build(args[0]));
let dst;
if (obj instanceof Sink) {
dst = new Sink();
dst.data = obj;
dst.send = dom_alert;
dst.notify = dom_notify;
dst.release = dom_release;
} else {
dst = new Sink();
dst.data = obj;
dst.send = fiddle_err;
}
return exec_unify(args[1], dst);
}
function dom_alert(data, buf) {
let text = "<span style='color: #A52A2A'>"+xml_escape(buf)+"</span>";
put_atom(data, text);
}
/*********************************************************************/
/* Dom Lib Init */
/*********************************************************************/
export function main() {
add("ir_is_sink", 1, make_check(test_ir_is_sink));
add("ir_data_current", 2, make_check(test_ir_data_current));
add("ir_data_set", 2, make_check(test_ir_data_set));
add("ir_flush_buffer", 1, make_check(test_ir_flush_buffer));
add("ir_indent_current", 2, make_check(test_ir_indent_current));
add("ir_indent_set", 2, make_check(test_ir_indent_set));
add("dom_cell_add", 2, make_check(test_dom_cell_add));
add("dom_output_new", 2, make_check(test_dom_output_new));
add("dom_error_new", 2, make_check(test_dom_error_new));
}