/** * 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. */ :- multifile(runner_case/5). :- discontiguous(runner_case/5). :- multifile(runner_pred/5). :- discontiguous(runner_pred/5). :- multifile(runner_file/3). runner_file(adapter, format, 'XLOG 1.2 format'). /****************************************************************/ /* Web Specifiers */ /****************************************************************/ /* format(X, Y, Z) */ runner_pred(format_web, 2, adapter, format, 'XLOG 1.2.1'). runner_case(format_web, 2, adapter, format, 'XLOG 1.2.1, XLOG 8') :- open_output_atom_stream(S), format(S, 'tag ~a header level 1', ['

']), close_output_atom_stream(S, X), X == 'tag <h1> header level 1'. runner_case(format_web, 2, adapter, format, 'XLOG 1.2.1, XLOG 6') :- open_output_atom_stream(S), format(S, 'foo?bar=~c', ['1=2']), close_output_atom_stream(S, X), X == 'foo?bar=1%3D2'. /****************************************************************/ /* Stream Formatter */ /****************************************************************/ /* format(X, Y) */ runner_pred(format, 2, adapter, format, 'XLOG 1.2.2'). runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 1') :- open_output_atom_stream(S), format(S, 'abc ~4e', [0.499999]), close_output_atom_stream(S, X), X == 'abc 5.0000e-01'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 2') :- open_output_atom_stream(S), format(S, '~4f def', [49.9999]), close_output_atom_stream(S, X), X == '49.9999 def'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 3') :- open_output_atom_stream(S), format(S, 'abc ~4g def', [4.99999E10]), close_output_atom_stream(S, X), X == 'abc 5e+10 def'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 4') :- open_output_atom_stream(S), format(S, 'abc ~4f def~n', [2*pi]), close_output_atom_stream(S, X), X == 'abc 6.2832 def\n'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 5') :- open_output_atom_stream(S), format(S, 'abc ~d def', [1.2]), close_output_atom_stream(S, X), X == 'abc 1.2 def'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 6') :- open_output_atom_stream(S), format(S, 'abc ~d~10|def', [1.2]), close_output_atom_stream(S, X), X == 'abc 1.2 def'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 7') :- open_output_atom_stream(S), format(S, 'foo ~3f ~3f bar', [27, 0rNaN]), close_output_atom_stream(S, X), X =='foo 27.000 NaN bar'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 8') :- open_output_atom_stream(S), format(S, 'foo ~3G bar', [0.0000027]), close_output_atom_stream(S, X), X == 'foo 2.7E-06 bar'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 9') :- open_output_atom_stream(S), format(S, 'baz ~3r 456', [nan]), close_output_atom_stream(S, X), X == 'baz NaN 456'. runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 10') :- open_output_atom_stream(S), catch(format(S, '~y', [123.456]), error(E,_), true), E == existence_error(format_character, y). runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 11') :- open_output_atom_stream(S), catch(format(S, 'left~tright', []), error(E, _), true), E == syntax_error(column_missing). runner_case(format, 2, adapter, format, 'XLOG 1.2.2, XLOG 12') :- open_output_atom_stream(S), catch(format(S, 'abc ~w def', [a,b]), error(E,_), true), E == syntax_error(aguments_mismatch). /****************************************************************/ /* Atom Formatter */ /****************************************************************/ /* format_atom(X, Y, Z) */ runner_pred(format_atom, 3, adapter, format, 'XLOG 1.2.3'). runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 1') :- format_atom('abc ~w def', [1+2], X), X == 'abc 1+2 def'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 2') :- format_atom('abc ~k def ~2r', [1+2,7], X), X == 'abc +(1, 2) def 111'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 3') :- format_atom('~0f ~0f def', [1.5, 2.5], X), X == '2 2 def'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 4') :- format_atom('abc ~w def ~q', ['X','Y'], X), X == 'abc X def \'Y\''. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 5') :- format_atom('abc ~~ ~f def', [49.9999], X), X == 'abc ~ 49.999900 def'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 6') :- format_atom('abc~t~w~t~20|def', [1+2], X), X == 'abc 1+2 def'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 7') :- format_atom('foo ~d bar', [inf], X), X = 'foo Inf bar'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 8') :- format_atom('foo ~3E bar', [27], X), X = 'foo 2.700E+01 bar'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 9') :- format_atom('baz ~27R 123', [-7625597484986], X), X = 'baz -QQQQQQQQQ 123'. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 10') :- catch(format_atom(_, [1+2], 'abc 1+2 def'), error(E,_), true), E == instantiation_error. runner_case(format_atom, 3, adapter, format, 'XLOG 1.2.3, XLOG 11') :- catch(format_atom('abc ~w def', [], _), error(E,_), true), E == syntax_error(aguments_mismatch). /****************************************************************/ /* Fancy Formatting */ /****************************************************************/ /* format(X, Y, Z) */ runner_pred(format_fancy, 3, adapter, format, 'XLOG 1.2.4'). runner_case(format_fancy, 3, adapter, format, 'XLOG 1.2.4, XLOG 1') :- open_output_atom_stream(S), dom_output_new(S, W), ir_object_set(W, 'flags', 12), format(W, 'abc ~3f def', [123.456]), flush_output(W), sys_output_atom_stream_get(S, X), X == 'abc 123.456 def'. runner_case(format_fancy, 3, adapter, format, 'XLOG 1.2.4, XLOG 2') :- open_output_atom_stream(S), dom_output_new(S, W), ir_object_set(W, 'flags', 12), format(W, 'foo ~q bar', ['\x1FAEA\']), flush_output(W), sys_output_atom_stream_get(S, X), X == 'foo \x1FAEA\ bar'. runner_case(format_fancy, 3, adapter, format, 'XLOG 1.2.4, XLOG 3') :- open_output_atom_stream(S), dom_output_new(S, W), ir_object_set(W, 'flags', 12), format(W, '𝄞~8|:', []), flush_output(W), sys_output_atom_stream_get(S, X), X == '𝄞 :'. runner_case(format_fancy, 3, adapter, format, 'XLOG 1.2.4, XLOG 4') :- open_output_atom_stream(S), dom_output_new(S, W), ir_object_set(W, 'flags', 12), write(W, '𝄞'), format(W, '~8|:', []), flush_output(W), sys_output_atom_stream_get(S, X), X == '𝄞 :'.