NumbersTest.pudu

Pudu85 lines7.1 KB

Copy pathGitHub ↗

1/** @Test.Domain.Numbers.Suite — standard and custom numeric formats */2module PuduLangLog.Domain.NumbersTest34import Std.Io as Io5import Std.Test as Test6import PuduLangLog.Domain.Numbers as Numbers78/// The integer under a format, or `?` when the format is not understood.9fn integer(value: Int, format: Str) -> Str {10  match Numbers.formatInteger(value, format) {11    case Some(text) => text12    case None => "?"13  }14}1516/// The exact number under a format, or `?`.17fn exact(value: Decimal, format: Str) -> Str {18  match Numbers.formatExact(value, format) {19    case Some(text) => text20    case None => "?"21  }22}2324/// The float under a format, or `?`.25fn real(value: Float64, format: Str) -> Str {26  match Numbers.formatReal(value, format) {27    case Some(text) => text28    case None => "?"29  }30}3132/// Runs the suite.33fn main() -> Int {34  let infinity = 1.0 / 0.035  let checks = Test.suite("Domain.Numbers", &[36      Test.equals("digits of an exact number", &Numbers.digitsOf(1200.50d), &Numbers.Digits{negative: false, digits: "12005", exponent: 4}),37      Test.equals("digits of a fraction", &Numbers.digitsOf(-0.0012d), &Numbers.Digits{negative: true, digits: "12", exponent: -2}),38      Test.equals("zero has no digits and no sign", &(Numbers.digitsOf(0d), Numbers.digitsOf(-0.00d)), &(Numbers.Digits{negative: false, digits: "", exponent: 0}, Numbers.Digits{negative: false, digits: "", exponent: 0})),39      Test.equals("fixed digits round half away from zero", &(Numbers.fixed(&Numbers.digitsOf(2.345d), 2), Numbers.fixed(&Numbers.digitsOf(9.995d), 2), Numbers.fixed(&Numbers.digitsOf(0.004d), 2)), &(("2", "35"), ("10", "00"), ("0", "00"))),40      Test.equals("fixed digits pad whole numbers", &Numbers.fixed(&Numbers.digitsOf(1200d), 1), &("1200", "0")),41      Test.equals("decimal integer format", &(integer(42, "D8"), integer(-42, "D5"), integer(-42, "D"), integer(0, "d3")), &("00000042", "-00042", "-42", "000")),42      Test.equals("hexadecimal format", &(integer(255, "X"), integer(255, "x4"), integer(-1, "X"), integer(0, "X2"), integer(-256, "x")), &("FF", "00ff", "FFFFFFFFFFFFFFFF", "00", "ffffffffffffff00")),43      Test.equals("the largest integer in hexadecimal", &integer(9223372036854775807, "X"), &"7FFFFFFFFFFFFFFF"),44      Test.equals("number format groups thousands", &(integer(1234567, "N0"), integer(1234567, "N"), integer(-1234, "n1"), integer(123, "N0")), &("1,234,567", "1,234,567.00", "-1,234.0", "123")),45      Test.equals("fixed format", &(integer(3, "F2"), exact(1234.5678d, "F2"), exact(-0.001d, "F2"), exact(2.5d, "F0"), exact(-2.5d, "F0")), &("3.00", "1234.57", "0.00", "3", "-3")),46      Test.equals("currency format", &(integer(1234, "C"), exact(-5.5d, "C1")), &("¤1,234.00", "-¤5.5")),47      Test.equals("percent format", &(real(1.0, "P"), real(0.1234, "P1"), real(1.5, "P0")), &("100.00 %", "12.3 %", "150 %")),48      Test.equals("exponential format", &(integer(12345, "E"), integer(12345, "e2"), integer(0, "E"), real(-0.00012, "E1")), &("1.234500E+004", "1.23e+004", "0.000000E+000", "-1.2E-004")),49      Test.equals("general format", &(integer(42, "G"), integer(12345, "G2"), exact(12345.678d, "G"), exact(0.000012345d, "G3"), exact(123.456d, "g4")), &("42", "1.2E+04", "12345.678", "1.23E-05", "123.5")),50      Test.equals("general format of floats", &(real(0.1 + 0.2, "G"), real(12345.0, "G2"), real(0.5, "g")), &("0.30000000000000004", "1.2E+04", "0.5")),51      Test.equals("round-trip format", &(integer(-7, "R"), exact(12.50d, "R"), real(0.1, "R")), &("-7", "12.50", "0.1")),52      Test.equals("an unknown standard letter is not understood", &(integer(5, "Q"), exact(5d, "Z2"), real(1.0, "K")), &("?", "?", "?")),53      Test.equals("zero-padded custom format", &(integer(7, "000"), integer(1234, "00"), integer(0, "0")), &("007", "1234", "0")),54      Test.equals("optional digits", &(integer(0, "#"), integer(5, "##"), exact(0.5d, "#.##"), exact(1d, "0.##")), &("", "5", ".5", "1")),55      Test.equals("custom decimals", &(integer(5, "0.00"), exact(2.25d, "0.0"), exact(2.35d, "0.0"), real(1.23456, "0.00"), real(0.5, "0")), &("5.00", "2.3", "2.4", "1.23", "1")),56      Test.equals("custom grouping", &(integer(1234567, "#,##0"), real(1234.5, "#,##0.0"), integer(12, "#,##0")), &("1,234,567", "1,234.5", "12")),57      Test.equals("literals between placeholders", &(integer(123456789, "000-00-0000"), integer(5551234567, "(###) ###-####")), &("123-45-6789", "(555) 123-4567")),58      Test.equals("custom percent", &real(0.1234, "0.00%"), &"12.34%"),59      Test.equals("quoted and escaped literals", &(integer(5, "'#'0"), integer(5, "\\#0"), integer(5, "0\" items\"")), &("#5", "#5", "5 items")),60      Test.equals("a format without placeholders is literal", &integer(5, "abc"), &"abc"),61      Test.equals("integer digits before a point without integer placeholders", &(exact(5.5d, ".00"), exact(0.5d, ".00")), &("5.50", ".50")),62      Test.equals("negative custom values carry a sign", &(integer(-5, "000"), exact(-0.001d, "0.00")), &("-005", "0.00")),63      Test.equals("sections for negative and zero values", &(real(-1234.5, "#,##0.0;(#,##0.0)"), real(0.0, "0;-0;zero"), integer(3, "0;(0);zero"), integer(-3, "0;(0)")), &("(1,234.5)", "zero", "3", "(3)")),64      Test.equals("standard formats without a precision", &(exact(1.5d, "F"), real(1234.5, "N"), exact(0.5d, "P"), exact(2d, "E"), real(2.0, "C")), &("1.50", "1,234.50", "50.00 %", "2.000000E+000", "¤2.00")),65      Test.equals("a two-digit precision", &(exact(1d, "F10"), integer(7, "D10")), &("1.0000000000", "0000000007")),66      Test.equals("percent groups thousands", &real(12345.0, "P0"), &"1,234,500 %"),67      Test.equals("rounding carries into the integer", &(exact(1.95d, "F1"), exact(0.995d, "F2"), exact(19.96d, "0.0")), &("2.0", "1.00", "20.0")),68      Test.equals("zero with two sections uses the first", &integer(0, "0;(0)"), &"0"),69      Test.equals("a quoted section mark is literal", &integer(5, "'a;b'0"), &"a;b5"),70      Test.equals("an escape covers one character only", &integer(-1, "\\;0;neg"), &"neg"),71      Test.equals("a comma before every placeholder does not group", &integer(1234567, ",0"), &"1234567"),72      Test.equals("more fraction placeholders than digits", &exact(1.5d, "0.###"), &"1.5"),73      Test.equals("an escaped section mark is not a section", &integer(-2, "0\\;x"), &"-2;x"),74      Test.equals("shortest float text", &(Numbers.realText(0.1), Numbers.realText(100.0), Numbers.realText(-2.5), Numbers.realText(0.0), Numbers.realText(123456789.125)), &("0.1", "100", "-2.5", "0", "123456789.125")),75      Test.equals("float exponents switch outside -4 to 14", &(Numbers.realText(1.0e30), Numbers.realText(1.0e-7), Numbers.realText(1.0e15), Numbers.realText(1.0e14), Numbers.realText(0.0001), Numbers.realText(0.00001)), &("1E+30", "1E-07", "1E+15", "100000000000000", "0.0001", "1E-05")),76      Test.equals("floats keep every digit of their shortest text", &Numbers.realText(0.1 + 0.2), &"0.30000000000000004"),77      Test.equals("infinities and NaN keep their names", &(Numbers.realText(infinity), real(infinity, "F2"), real(0.0 / 0.0, "N")), &("Infinity", "Infinity", "NaN"))78    ])79  let ran = Test.run(&checks)80  for failure in Test.failuresOf(&ran) {81    let _reported = Io.writeErrorLine(failure)82  }83  Test.report(&ran)84}85