ExpressionsTest.pudu

Pudu114 lines11.1 KB

Copy pathGitHub ↗

1/** @Test.Expressions.Suite — filter expressions and their evaluation */2module PuduLangLog.ExpressionsTest34import Std.Io as Io5import Std.Test as Test6import PuduLangLog.Domain.Capture as Capture7import PuduLangLog.Event as Event8import PuduLangLog.Expressions as Expressions9import PuduLangLog.Failure as Failure10import PuduLangLog as Log11import PuduLangLog.Value as Value1213/// The event every expression in this suite reads.14fn sample() -> Log.Event {15  let base = Event.create(Log.Timestamp{millis: 1790604309123, offset: 120}, Log.Warning, "User \{User\} bought \{Count\} items for \{Total:0.00\}", [16      Value.property("User", Value.text("Ada")),17      Value.property("Count", Value.int(3)),18      Value.property("Total", Value.decimal(12.5d)),19      Value.property("Tags", Value.list([Value.text("new"), Value.text("vip")])),20      Value.property("Cart", Value.object([("Items", Value.list([Value.object([("Price", Value.int(5))]), Value.object([("Price", Value.int(20))])]))])),21      Value.property("Meta", Value.dictionary([("region", Value.text("eu"))])),22      Value.property("SourceContext", Value.text("App.Web.Api")),23      Value.property("Http.Method", Value.text("GET")),24      Value.property("Nothing", Value.nothing()),25      Value.property("Ratio", Value.float(0.5)),26      Value.property("Order", Value.structure("Order", [("Id", Value.int(7))]))27    ])28  Event.withTrace(&Event.withFailure(&base, Failure.of("IoError", "disk full")), "t1", "s1")29}3031/// The value of an expression for the sample event, or `?` text when it does not compile.32fn value(text: Str) -> Option[Log.Value] {33  match Expressions.compile(text) {34    case Ok(compiled) => Expressions.evaluate(&compiled, &sample())35    case Err(reason) => Some(Value.text("? " + reason))36  }37}3839/// Whether an expression is true for the sample event.40fn holds(text: Str) -> Bool { value(text) == Some(Value.bool(true)) }4142/// The error an expression fails to compile with.43fn problem(text: Str) -> Str {44  match Expressions.compile(text) {45    case Ok(_) => "compiled"46    case Err(reason) => reason47  }48}4950/// Runs the suite.51fn main() -> Int {52  let checks = Test.suite("Expressions", &[53      Test.equals("literals", &[value("42"), value("-1.5"), value("0xFF"), value("'it''s'"), value("true"), value("null")], &[Some(Value.int(42)), Some(Value.decimal(-1.5d)), Some(Value.int(255)), Some(Value.text("it's")), Some(Value.bool(true)), Some(Value.nothing())]),54      Test.equals("properties and members", &[value("User"), value("Cart.Items[1].Price"), value("Meta['region']"), value("@p['Http.Method']"), value("Order.Id")], &[Some(Value.text("Ada")), Some(Value.int(20)), Some(Value.text("eu")), Some(Value.text("GET")), Some(Value.int(7))]),55      Test.equals("missing properties are undefined", &(value("Missing"), value("User.Name"), value("Tags[9]")), &(None, None, None)),56      Test.equals("built-in properties", &[value("@l"), value("@mt"), value("@m"), value("@x"), value("@tr"), value("@sp"), value("@r")], &[Some(Value.text("Warning")), Some(Value.text("User \{User\} bought \{Count\} items for \{Total:0.00\}")), Some(Value.text("User Ada bought 3 items for 12.50")), Some(Value.text("IoError: disk full")), Some(Value.text("t1")), Some(Value.text("s1")), Some(Value.list([Value.text("12.50")]))]),57      Test.equals("the timestamp and identifier", &(value("@t"), value("@i")), &(Some(Value.moment(Log.Timestamp{millis: 1790604309123, offset: 120})), Some(Value.int(3342254646)))),58      Test.that("equality", holds("User = 'Ada'") && holds("Count = 3") && holds("Count = 3.0") && holds("Ratio = 0.5") && !holds("User = 'ada'") && holds("User = 'ada' ci") && holds("User <> 'Bob'")),59      Test.equals("equality with an undefined side is undefined", &(value("Missing = 1"), value("Missing <> 1")), &(None, None)),60      Test.that("ordering of numbers", holds("Count > 2") && holds("Count >= 3") && holds("Count < 4") && holds("Count <= 3") && !holds("Count < 3") && !holds("Count > 3")),61      Test.equals("ordering of text is undefined", &value("User > 'A'"), &None),62      Test.that("like", holds("SourceContext like 'App.%'") && holds("User like 'A_a'") && !holds("User like 'a%'") && holds("User like 'a%' ci") && holds("SourceContext not like 'Other%'")),63      Test.that("like escapes", holds("'50%' like '50%%'") && !holds("'500' like '50%%'") && holds("'a_b' like 'a__b'")),64      Test.that("membership", holds("User in ['Ada', 'Bob']") && holds("'vip' in Tags") && !holds("'x' in Tags") && holds("'VIP' in Tags ci") && holds("'x' not in Tags")),65      Test.that("null tests", holds("Nothing is null") && holds("Missing is null") && holds("User is not null") && !holds("Nothing is not null")),66      Test.that("logic", holds("Count = 3 and User = 'Ada'") && holds("Count = 1 or User = 'Ada'") && holds("not (Count = 1)") && !holds("Missing = 1 or false") && !holds("not Missing")),67      Test.equals("arithmetic", &[value("Count + 2"), value("Count * Total"), value("Count - 5"), value("7 % 3"), value("1 / 4"), value("2 ^ 10"), value("-Count")], &[Some(Value.decimal(5d)), Some(Value.decimal(37.5d)), Some(Value.decimal(-2d)), Some(Value.decimal(1d)), Some(Value.decimal(0.25d)), Some(Value.float(1024.0)), Some(Value.decimal(-3d))]),68      Test.equals("division by zero is undefined", &(value("1 / 0"), value("1 % 0"), value("'a' + 1")), &(None, None, None)),69      Test.equals("precedence", &[value("1 + 2 * 3"), value("(1 + 2) * 3"), value("2 ^ 3 ^ 2"), value("-2 ^ 2")], &[Some(Value.decimal(7d)), Some(Value.decimal(9d)), Some(Value.float(512.0)), Some(Value.float(4.0))]),70      Test.equals("conditionals", &(value("if Count > 2 then 'many' else 'few'"), value("if Missing then 1 else 2")), &(Some(Value.text("many")), Some(Value.int(2)))),71      Test.equals("array literals and spreads", &value("[1, ..Tags, Missing]"), &Some(Value.list([Value.int(1), Value.text("new"), Value.text("vip")]))),72      Test.equals("object literals, bare names, spreads, and undefined members", &value("\{a: 1, 'b c': 2, User, ..Order, Id: Undefined()\}"), &Some(Value.object([("a", Value.int(1)), ("b c", Value.int(2)), ("User", Value.text("Ada"))]))),73      Test.that("wildcards", holds("Tags[?] = 'vip'") && !holds("Tags[*] = 'vip'") && holds("Tags[*] like '%e%' or Tags[?] like 'v%'") && !holds("Tags[*] like '%e%' or Tags[*] like '%i%'") && holds("Cart.Items[?].Price > 10") && !holds("Cart.Items[*].Price > 10") && holds("StartsWith(Tags[?], 'n')")),74      Test.that("wildcards over nothing", !holds("Missing[?] = 1") && holds("[][*] = 1")),75      Test.equals("text functions", &[value("StartsWith(User, 'A')"), value("EndsWith(User, 'A') ci"), value("Contains(SourceContext, 'Web')"), value("IndexOf(User, 'a')"), value("LastIndexOf(SourceContext, '.')"), value("LastIndexOf(User, 'z')"), value("Length(User)"), value("Length(Tags)")], &[Some(Value.bool(true)), Some(Value.bool(true)), Some(Value.bool(true)), Some(Value.int(2)), Some(Value.int(7)), Some(Value.int(-1)), Some(Value.int(3)), Some(Value.int(2))]),76      Test.equals("more text functions", &[value("Substring(SourceContext, 4)"), value("Substring(SourceContext, 4, 3)"), value("Replace(SourceContext, '.', '/')"), value("Replace(User, 'A', 'e') ci"), value("Concat(User, '-', 'x')"), value("Substring(SourceContext, LastIndexOf(SourceContext, '.') + 1)")], &[Some(Value.text("Web.Api")), Some(Value.text("Web")), Some(Value.text("App/Web/Api")), Some(Value.text("ede")), Some(Value.text("Ada-x")), Some(Value.text("Api"))]),77      Test.equals("regular expressions", &[value("IsMatch(User, '^A.a$')"), value("IndexOfMatch(SourceContext, 'W[a-z]+')"), value("IsMatch(User, '^ADA$') ci"), value("IsMatch(User, '(')")], &[Some(Value.bool(true)), Some(Value.int(4)), Some(Value.bool(true)), None]),78      Test.equals("definition and coalescing", &[value("IsDefined(Missing)"), value("IsDefined(Nothing)"), value("Coalesce(Missing, Nothing, User)"), value("Coalesce(Missing)")], &[Some(Value.bool(false)), Some(Value.bool(true)), Some(Value.text("Ada")), None]),79      Test.equals("type functions", &[value("TypeOf(User)"), value("TypeOf(Count)"), value("TypeOf(Tags)"), value("TypeOf(Order)"), value("TypeOf(Meta)"), value("TypeOf(Missing)"), value("TypeOf(Nothing)"), value("TagOf(Order)")], &[Some(Value.text("Str")), Some(Value.text("Int")), Some(Value.text("array")), Some(Value.text("object")), Some(Value.text("dictionary")), Some(Value.text("undefined")), Some(Value.text("null")), Some(Value.text("Order"))]),80      Test.equals("conversions", &[value("ToString(Total, '0.0')"), value("ToString(User)"), value("Round(2.345, 2)"), value("Round(2.5, 0)"), value("ElementAt(Tags, 1)"), value("ElementAt(@p, 'user') ci")], &[Some(Value.text("12.5")), Some(Value.text("Ada")), Some(Value.decimal(2.34d)), Some(Value.decimal(2d)), Some(Value.text("vip")), Some(Value.text("Ada"))]),81      Test.equals("moments", &(value("UtcDateTime(@t)"), value("TypeOf(Now())")), &(Some(Value.moment(Log.Timestamp{millis: 1790604309123, offset: 0})), Some(Value.text("Timestamp")))),82      Test.equals("nesting dotted names", &value("Nest(\{'a.b': 1, 'a.c': 2, d: 3\})"), &Some(Value.object([("a", Value.object([("b", Value.int(1)), ("c", Value.int(2))])), ("d", Value.int(3))]))),83      Test.equals("inspecting the failure", &value("Inspect(@x).Message"), &Some(Value.text("disk full"))),84      Test.equals("undefined arguments make calls undefined", &(value("StartsWith(Missing, 'a')"), value("Length(Count)")), &(None, None)),85      Test.equals("function names ignore case", &value("startswith(User, 'A')"), &Some(Value.bool(true))),86      Test.equals("syntax errors", &[problem("User ="), problem("'open"), problem("User # 1"), problem("Frob(User)"), problem("(User"), problem("User User")], &["the expression ends too soon", "unterminated text starting at 0", "unexpected `#` at 5", "unknown function `frob`", "expected `)` at 5", "unexpected `User` at 5"]),87      Test.that("a predicate from text", match Expressions.predicate("@l = 'Warning' and Count >= 3") {88          case Ok(test) => test(&sample()) && !test(&Log.Event{..sample(), level: Log.Information})89          case Err(_) => false90        }),91      Test.equals("a computed property", &match Expressions.computed("Area", "Substring(SourceContext, 4)") {92          case Ok(enricher) => Event.property(&enricher(sample(), &Capture.defaults()), "Area")93          case Err(_) => None94        }, &Some(Value.text("Web.Api"))),95      Test.equals("a computed property keeps an existing one and skips undefined values", &match (Expressions.computed("User", "'other'"), Expressions.computed("Gone", "Missing")) {96          case (Ok(existing), Ok(undefined)) => (Event.property(&existing(sample(), &Capture.defaults()), "User"), Event.property(&undefined(sample(), &Capture.defaults()), "Gone"))97          case _ => (None, Some(Value.nothing()))98        }, &(Some(Value.text("Ada")), None)),99      Test.that("a computed property refuses bad text", match Expressions.computed("X", "(") {100          case Ok(_) => false101          case Err(_) => true102        }),103      Test.that("a predicate refuses bad text", match Expressions.predicate("Count >") {104          case Ok(_) => false105          case Err(_) => true106        })107    ])108  let ran = Test.run(&checks)109  for failure in Test.failuresOf(&ran) {110    let _reported = Io.writeErrorLine(failure)111  }112  Test.report(&ran)113}114