mirror of
https://github.com/gorules/zen.git
synced 2026-10-06 08:02:18 +00:00
stefan-gorules
602d214b96
* feat: expression static analysis * fix: cargo fmt * fix: python workflow * fix: python workflow * fix: python workflow * fix: ignore miri test bound by clock * fix: memory leaks
312 lines
6.3 KiB
TOML
312 lines
6.3 KiB
TOML
# Unary expression analysis — conditions tested against $ (current value)
|
|
# return_type is always Bool
|
|
# In unary, $ is the implicit left operand. The caller provides $ in the data.
|
|
|
|
# ── Basic comparisons ────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "greater than literal"
|
|
expression = "> 5"
|
|
input = '{"$": 10}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "less than literal"
|
|
expression = "< 10"
|
|
input = '{"$": 5}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "greater than or equal"
|
|
expression = ">= 100"
|
|
input = '{"$": 100}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "equality check string"
|
|
expression = "== 'active'"
|
|
input = '{"$": "active"}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "not equal"
|
|
expression = "!= null"
|
|
input = '{"$": 5}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── Comparisons with variables ───────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "greater than variable"
|
|
expression = "> threshold"
|
|
input = '{"$": 15, "threshold": 10}'
|
|
reads = [
|
|
{ type = "direct", path = ["threshold"] },
|
|
]
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "equal to member access"
|
|
expression = "== config.minValue"
|
|
input = '{"$": 5, "config": {"minValue": 5}}'
|
|
reads = [
|
|
{ type = "direct", path = ["config", "minValue"] },
|
|
]
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "comparison with two variables"
|
|
expression = "> minPrice and < maxPrice"
|
|
input = '{"$": 50, "minPrice": 10, "maxPrice": 100}'
|
|
reads = [
|
|
{ type = "direct", path = ["minPrice"] },
|
|
{ type = "direct", path = ["maxPrice"] },
|
|
]
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── Logical combinations ─────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "and combination"
|
|
expression = "> 5 and < 10"
|
|
input = '{"$": 7}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "or combination"
|
|
expression = ">= 10 or < 5"
|
|
input = '{"$": 10}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "comma separated (or)"
|
|
expression = "> 10, < -5"
|
|
input = '{"$": 15}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── Intervals ────────────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "closed interval"
|
|
expression = "[-10..10]"
|
|
input = '{"$": 0}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "open interval"
|
|
expression = "(-10..10)"
|
|
input = '{"$": 0}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "interval with variable bounds"
|
|
expression = "[minVal..maxVal]"
|
|
input = '{"$": 50, "minVal": 0, "maxVal": 100}'
|
|
reads = [
|
|
{ type = "direct", path = ["minVal"] },
|
|
{ type = "direct", path = ["maxVal"] },
|
|
]
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "interval combined with comparison"
|
|
expression = "[-10..0] and > -5"
|
|
input = '{"$": -3}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── In operator ──────────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "in array literal"
|
|
expression = "in ['a', 'b', 'c']"
|
|
input = '{"$": "a"}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "in variable array"
|
|
expression = "in allowedValues"
|
|
input = '{"$": "x", "allowedValues": ["x", "y"]}'
|
|
reads = [
|
|
{ type = "direct", path = ["allowedValues"] },
|
|
]
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "not in array"
|
|
expression = "not in ['blocked', 'banned']"
|
|
input = '{"$": "ok"}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── Boolean literals ─────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "true literal"
|
|
expression = "true"
|
|
input = '{"$": true}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
[[test]]
|
|
name = "false literal"
|
|
expression = "false"
|
|
input = '{"$": false}'
|
|
reads = []
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
|
|
# ── References ───────────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "variable reference has spans"
|
|
expression = "> threshold"
|
|
input = '{"$": 15, "threshold": 10}'
|
|
references = [
|
|
{ path = ["threshold"], spans = [[2, 11]] },
|
|
]
|
|
|
|
[test.loose]
|
|
|
|
[test.strict]
|
|
|
|
[[test]]
|
|
name = "member reference has spans"
|
|
expression = "== config.limit"
|
|
input = '{"$": 5, "config": {"limit": 5}}'
|
|
references = [
|
|
{ path = ["config", "limit"], spans = [[3, 9], [10, 15]] },
|
|
]
|
|
|
|
[test.loose]
|
|
|
|
[test.strict]
|
|
|
|
# ── Diagnostics ──────────────────────────────────────────────────────────────
|
|
|
|
[[test]]
|
|
name = "lexer error in unary"
|
|
expression = "@"
|
|
|
|
[test.loose]
|
|
return_type = '"Bool"'
|
|
diagnostics = [
|
|
{ source = "lexer", severity = "error" },
|
|
]
|
|
|
|
[test.strict]
|
|
return_type = '"Bool"'
|
|
diagnostics = [
|
|
{ source = "lexer", severity = "error" },
|
|
]
|