! Copyright (C) 2008 John Benediktsson
! See http://factorcode.org/license.txt for BSD license
USING: calendar formatting kernel math math.functions sequences
strings system tools.test ;
IN: formatting.tests

[ "%s" printf ] must-infer
[ "%s" sprintf ] must-infer

{ "" } [ "" sprintf ] unit-test
{ "asdf" } [ "asdf" sprintf ] unit-test
{ "10" } [ 10 "%d" sprintf ] unit-test
{ "+10" } [ 10 "%+d" sprintf ] unit-test
{ "-10" } [ -10 "%d" sprintf ] unit-test
{ " 23" } [ 23 "% d" sprintf ] unit-test
{ "-23" } [ -23 "% d" sprintf ] unit-test
{ "  -10" } [ -10 "%5d" sprintf ] unit-test
{ "-0010" } [ -10 "%05d" sprintf ] unit-test
{ "+0010" } [ 10 "%+05d" sprintf ] unit-test
{ "123.456000" } [ 123.456 "%f" sprintf ] unit-test
{ "2.44" } [ 2.436 "%.2f" sprintf ] unit-test
{ "8.950" } [ 8.950179003580072 "%.3f" sprintf ] unit-test
{ "123.10" } [ 123.1 "%01.2f" sprintf ] unit-test
{ "1.2346" } [ 1.23456789 "%.4f" sprintf ] unit-test
{ "100000000000000000.50000" } [ 17 10^ 1/2 + "%20.5f" sprintf ] unit-test
{ "3.333333" } [ 3+1/3 "%f" sprintf ] unit-test
{ "3.666667" } [ 3+2/3 "%f" sprintf ] unit-test
{ "3.7" } [ 3+2/3 "%.1f" sprintf ] unit-test
{ "-3.7" } [ -3-2/3 "%.1f" sprintf ] unit-test
{ "-3.666667" } [ -3-2/3 "%f" sprintf ] unit-test
{ "-3.333333" } [ -3-1/3 "%f" sprintf ] unit-test
{ "3.14159265358979323846e+00" } [ 2646693125139304345 842468587426513207 / "%.20e" sprintf ] unit-test
{ "-0.500" } [ -1/2 "%.3f" sprintf ] unit-test
{ "0.010" } [ 1/100 "%.3f" sprintf ] unit-test
{ "100000000000000000000000.000000" } [ 23 10^ "%f" sprintf ] unit-test
{ "1.2" } [ 125/100 "%.1f" sprintf ] unit-test
{ "1.4" } [ 135/100 "%.1f" sprintf ] unit-test
{ "2.0" } [ 5/2 "%.0f" sprintf ] unit-test
{ "4.0" } [ 7/2 "%.0f" sprintf ] unit-test
{ "  1.23" } [ 1.23456789 "%6.2f" sprintf ] unit-test
{ "001100" } [ 12 "%06b" sprintf ] unit-test
{ "==14" } [ 12 "%'=4o" sprintf ] unit-test
{ "foo: 1 bar: 2" } [ { 1 2 3 } "foo: %d bar: %s" vsprintf ] unit-test
{ "1.234000e+08" } [ 123400000 "%e" sprintf ] unit-test
{ "-1.234000e+08" } [ -123400000 "%e" sprintf ] unit-test
{ "1.234567e+08" } [ 123456700 "%e" sprintf ] unit-test
{ "3.625e+08" } [ 362525200 "%.3e" sprintf ] unit-test
{ "2.500000e-03" } [ 0.0025 "%e" sprintf ] unit-test
{ "2.500000E-03" } [ 0.0025 "%E" sprintf ] unit-test
{ "   1.0E+01" } [ 10 "%10.1E" sprintf ] unit-test
{ "  -1.0E+01" } [ -10 "%10.1E" sprintf ] unit-test
{ "  -1.0E+01" } [ -10 "%+10.1E" sprintf ] unit-test
{ "  +1.0E+01" } [ 10 "%+10.1E" sprintf ] unit-test
{ "-001.0E+01" } [ -10 "%+010.1E" sprintf ] unit-test
{ "+001.0E+01" } [ 10 "%+010.1E" sprintf ] unit-test
{ "+001.0E-01" } [ 0.1 "%+010.1E" sprintf ] unit-test
{ " e1" } [ 0xe1 "% x" sprintf ] unit-test
{ "+e1" } [ 0xe1 "%+x" sprintf ] unit-test
{ "-e1" } [ -0xe1 "% x" sprintf ] unit-test
{ "-e1" } [ -0xe1 "%+x" sprintf ] unit-test
{ "1.00000e+1000" } [ 1000 10^ "%.5e" sprintf ] unit-test
{ "1.00000e-1000" } [ -1000 10^ "%.5e" sprintf ] unit-test
{ t } [
    1000 10^ "%.5f" sprintf
    "1" ".00000" 1000 CHAR: 0 <string> glue =
] unit-test
{ t } [
    -1000 10^ "%.1004f" sprintf
    "0." "10000" 999 CHAR: 0 <string> glue =
] unit-test
{ "-1.00000e+1000" } [ 1000 10^ neg "%.5e" sprintf ] unit-test
{ "-1.00000e-1000" } [ -1000 10^ neg "%.5e" sprintf ] unit-test
{ t } [
    1000 10^ neg "%.5f" sprintf
    "-1" ".00000" 1000 CHAR: 0 <string> glue =
] unit-test
{ t } [
    -1000 10^ neg "%.1004f" sprintf
    "-0." "10000" 999 CHAR: 0 <string> glue =
] unit-test
{ "9007199254740991.0" } [ 53 2^ 1 - "%.1f" sprintf ] unit-test
{ "9007199254740992.0" } [ 53 2^ "%.1f" sprintf ] unit-test
{ "9007199254740993.0" } [ 53 2^ 1 + "%.1f" sprintf ] unit-test
{ "-9007199254740991.0" } [ 53 2^ 1 - neg "%.1f" sprintf ] unit-test
{ "-9007199254740992.0" } [ 53 2^ neg "%.1f" sprintf ] unit-test
{ "-9007199254740993.0" } [ 53 2^ 1 + neg "%.1f" sprintf ] unit-test

{ "1.5625" } [ 1.5625 "%d" sprintf ] unit-test
{ "1.9p0" } [ 1.5625 "%x" sprintf ] unit-test
{ "1.9P0" } [ 1.5625 "%X" sprintf ] unit-test
{ "1.44p0" } [ 1.5625 "%o" sprintf ] unit-test
{ "1.44P0" } [ 1.5625 "%O" sprintf ] unit-test
{ "1.1001p0" } [ 1.5625 "%b" sprintf ] unit-test
{ "1.1001P0" } [ 1.5625 "%B" sprintf ] unit-test
{ "14+17/20" } [ 14+17/20 "%d" sprintf ] unit-test
{ "e+11/14" } [ 14+17/20 "%x" sprintf ] unit-test
{ "E+11/14" } [ 14+17/20 "%X" sprintf ] unit-test
{ "16+21/24" } [ 14+17/20 "%o" sprintf ] unit-test
{ "1110+10001/10100" } [ 14+17/20 "%b" sprintf ] unit-test

{ "ff" } [ 0xff "%x" sprintf ] unit-test
{ "FF" } [ 0xff "%X" sprintf ] unit-test
{ "0f" } [ 0xf "%02x" sprintf ] unit-test
{ "0F" } [ 0xf "%02X" sprintf ] unit-test
{ "2008-09-10" } [ 2008 9 10 "%04d-%02d-%02d" sprintf ] unit-test
{ "Hello, World!" } [ "Hello, World!" "%s" sprintf ] unit-test
{ "printf test" } [ "printf test" sprintf ] unit-test
{ "char a = 'a'" } [ CHAR: a "char %c = 'a'" sprintf ] unit-test
{ "00" } [ 0x0 "%02x" sprintf ] unit-test
{ "ff" } [ 0xff "%02x" sprintf ] unit-test
{ "0 message(s)" } [ 0 "message" "%d %s(s)" sprintf ] unit-test
{ "0 message(s) with %" } [ 0 "message" "%d %s(s) with %%" sprintf ] unit-test
{ "justif: \"left      \"" } [ "left" "justif: \"%-10s\"" sprintf ] unit-test
{ "justif: \"     right\"" } [ "right" "justif: \"%10s\"" sprintf ] unit-test
{ " 3: 0003 zero padded" } [ 3 " 3: %04d zero padded" sprintf ] unit-test
{ " 3: 3    left justif" } [ 3 " 3: %-4d left justif" sprintf ] unit-test
{ " 3:    3 right justif" } [ 3 " 3: %4d right justif" sprintf ] unit-test
{ " -3: -003 zero padded" } [ -3 " -3: %04d zero padded" sprintf ] unit-test
{ " -3: -3   left justif" } [ -3 " -3: %-4d left justif" sprintf ] unit-test
{ " -3:   -3 right justif" } [ -3 " -3: %4d right justif" sprintf ] unit-test
{ "There are 10 monkeys in the kitchen" } [ 10 "kitchen" "There are %d monkeys in the %s" sprintf ] unit-test
{ "10" } [ 10 "%d" sprintf ] unit-test
{ "[monkey]" } [ "monkey" "[%s]" sprintf ] unit-test
{ "[    monkey]" } [ "monkey" "[%10s]" sprintf ] unit-test
{ "[monkey    ]" } [ "monkey" "[%-10s]" sprintf ] unit-test
{ "[0000monkey]" } [ "monkey" "[%010s]" sprintf ] unit-test
{ "[####monkey]" } [ "monkey" "[%'#10s]" sprintf ] unit-test
{ "[many monke]" } [ "many monkeys" "[%10.10s]" sprintf ] unit-test

{ "{ 1, 2, 3 }" } [ { 1 2 3 } "%[%s, %]" sprintf ] unit-test
{ "{ 1:2, 3:4 }" } [ H{ { 1 2 } { 3 4 } } "%[%s: %s %]" sprintf ] unit-test


[ "%H:%M:%S" strftime ] must-infer

: testtime ( -- timestamp )
    2008 10 9 12 3 15 instant <timestamp> ;

{ t } [ "12:03:15" testtime "%H:%M:%S" strftime = ] unit-test
{ t } [ "12:03:15" testtime "%X" strftime = ] unit-test
{ t } [ "10/09/2008" testtime "%m/%d/%Y" strftime = ] unit-test
{ t } [ "10/09/2008" testtime "%x" strftime = ] unit-test
{ t } [ "10/09/08" testtime "%m/%d/%y" strftime = ] unit-test
{ t } [ "Thu" testtime "%a" strftime = ] unit-test
{ t } [ "Thursday" testtime "%A" strftime = ] unit-test
{ t } [ "Oct" testtime "%b" strftime = ] unit-test
{ t } [ "October" testtime "%B" strftime = ] unit-test
{ t } [ "Thu Oct 09 12:03:15 2008" testtime "%c" strftime = ] unit-test
{ t } [ "PM" testtime "%p" strftime = ] unit-test