Add tests for KEYS, VALUES, KEYIN, and VALUEIN.

python-processing-unit · python-processing-unit · commit 81bdd941f460 · 2026-04-06T06:24:53.000-04:00
diff --git a/tests/cases/failing/keyin-arity-one.pre b/tests/cases/failing/keyin-arity-one.pre
@@ -0,0 +1 @@
+KEYIN("a")
diff --git a/tests/cases/failing/keyin-arity-three.pre b/tests/cases/failing/keyin-arity-three.pre
@@ -0,0 +1 @@
+KEYIN("a", <"a" = 0d1>, 0d1)
diff --git a/tests/cases/failing/keyin-arity-zero.pre b/tests/cases/failing/keyin-arity-zero.pre
@@ -0,0 +1 @@
+KEYIN()
diff --git a/tests/cases/failing/keyin-first-bool.pre b/tests/cases/failing/keyin-first-bool.pre
@@ -0,0 +1 @@
+KEYIN(TRUE, <"a" = 0d1>)
diff --git a/tests/cases/failing/keyin-first-func.pre b/tests/cases/failing/keyin-first-func.pre
@@ -0,0 +1 @@
+KEYIN(LAMBDA INT: (){}, <"a" = 0d1>)
diff --git a/tests/cases/failing/keyin-first-map.pre b/tests/cases/failing/keyin-first-map.pre
@@ -0,0 +1 @@
+KEYIN(<"a" = 0d1>, <"a" = 0d1>)
diff --git a/tests/cases/failing/keyin-first-thr.pre b/tests/cases/failing/keyin-first-thr.pre
@@ -0,0 +1 @@
+KEYIN(ASYNC{}, <"a" = 0d1>)
diff --git a/tests/cases/failing/keyin-first-tns.pre b/tests/cases/failing/keyin-first-tns.pre
@@ -0,0 +1 @@
+KEYIN([0d1], <"a" = 0d1>)
diff --git a/tests/cases/failing/keyin-second-bool.pre b/tests/cases/failing/keyin-second-bool.pre
@@ -0,0 +1 @@
+KEYIN("a", TRUE)
diff --git a/tests/cases/failing/keyin-second-flt.pre b/tests/cases/failing/keyin-second-flt.pre
@@ -0,0 +1 @@
+KEYIN("a", 0d1.5)
diff --git a/tests/cases/failing/keyin-second-func.pre b/tests/cases/failing/keyin-second-func.pre
@@ -0,0 +1 @@
+KEYIN("a", LAMBDA INT: (){})
diff --git a/tests/cases/failing/keyin-second-int.pre b/tests/cases/failing/keyin-second-int.pre
@@ -0,0 +1 @@
+KEYIN("a", 0d1)
diff --git a/tests/cases/failing/keyin-second-str.pre b/tests/cases/failing/keyin-second-str.pre
@@ -0,0 +1 @@
+KEYIN("a", "map")
diff --git a/tests/cases/failing/keyin-second-thr.pre b/tests/cases/failing/keyin-second-thr.pre
@@ -0,0 +1 @@
+KEYIN("a", ASYNC{})
diff --git a/tests/cases/failing/keyin-second-tns.pre b/tests/cases/failing/keyin-second-tns.pre
@@ -0,0 +1 @@
+KEYIN("a", [0d1])
diff --git a/tests/cases/failing/keys-arity-two.pre b/tests/cases/failing/keys-arity-two.pre
@@ -0,0 +1 @@
+KEYS(<"a" = 0d1>, <"b" = 0d2>)
diff --git a/tests/cases/failing/keys-arity-zero.pre b/tests/cases/failing/keys-arity-zero.pre
@@ -0,0 +1 @@
+KEYS()
diff --git a/tests/cases/failing/keys-bool.pre b/tests/cases/failing/keys-bool.pre
@@ -0,0 +1 @@
+KEYS(TRUE)
diff --git a/tests/cases/failing/keys-flt.pre b/tests/cases/failing/keys-flt.pre
@@ -0,0 +1 @@
+KEYS(0d1.5)
diff --git a/tests/cases/failing/keys-func.pre b/tests/cases/failing/keys-func.pre
@@ -0,0 +1 @@
+KEYS(LAMBDA INT: (){})
diff --git a/tests/cases/failing/keys-int.pre b/tests/cases/failing/keys-int.pre
@@ -0,0 +1 @@
+KEYS(0d1)
diff --git a/tests/cases/failing/keys-str.pre b/tests/cases/failing/keys-str.pre
@@ -0,0 +1 @@
+KEYS("map")
diff --git a/tests/cases/failing/keys-thr.pre b/tests/cases/failing/keys-thr.pre
@@ -0,0 +1 @@
+KEYS(ASYNC{})
diff --git a/tests/cases/failing/keys-tns.pre b/tests/cases/failing/keys-tns.pre
@@ -0,0 +1 @@
+KEYS([0d1])
diff --git a/tests/cases/failing/valuein-arity-one.pre b/tests/cases/failing/valuein-arity-one.pre
@@ -0,0 +1 @@
+VALUEIN("a")
diff --git a/tests/cases/failing/valuein-arity-three.pre b/tests/cases/failing/valuein-arity-three.pre
@@ -0,0 +1 @@
+VALUEIN("a", <"a" = "x">, 0d1)
diff --git a/tests/cases/failing/valuein-arity-zero.pre b/tests/cases/failing/valuein-arity-zero.pre
@@ -0,0 +1 @@
+VALUEIN()
diff --git a/tests/cases/failing/valuein-second-bool.pre b/tests/cases/failing/valuein-second-bool.pre
@@ -0,0 +1 @@
+VALUEIN("a", TRUE)
diff --git a/tests/cases/failing/valuein-second-flt.pre b/tests/cases/failing/valuein-second-flt.pre
@@ -0,0 +1 @@
+VALUEIN("a", 0d1.5)
diff --git a/tests/cases/failing/valuein-second-func.pre b/tests/cases/failing/valuein-second-func.pre
@@ -0,0 +1 @@
+VALUEIN("a", LAMBDA INT: (){})
diff --git a/tests/cases/failing/valuein-second-int.pre b/tests/cases/failing/valuein-second-int.pre
@@ -0,0 +1 @@
+VALUEIN("a", 0d1)
diff --git a/tests/cases/failing/valuein-second-str.pre b/tests/cases/failing/valuein-second-str.pre
@@ -0,0 +1 @@
+VALUEIN("a", "map")
diff --git a/tests/cases/failing/valuein-second-thr.pre b/tests/cases/failing/valuein-second-thr.pre
@@ -0,0 +1 @@
+VALUEIN("a", ASYNC{})
diff --git a/tests/cases/failing/valuein-second-tns.pre b/tests/cases/failing/valuein-second-tns.pre
@@ -0,0 +1 @@
+VALUEIN("a", [0d1])
diff --git a/tests/cases/failing/values-arity-two.pre b/tests/cases/failing/values-arity-two.pre
@@ -0,0 +1 @@
+VALUES(<"a" = 0d1>, <"b" = 0d2>)
diff --git a/tests/cases/failing/values-arity-zero.pre b/tests/cases/failing/values-arity-zero.pre
@@ -0,0 +1 @@
+VALUES()
diff --git a/tests/cases/failing/values-bool.pre b/tests/cases/failing/values-bool.pre
@@ -0,0 +1 @@
+VALUES(TRUE)
diff --git a/tests/cases/failing/values-flt.pre b/tests/cases/failing/values-flt.pre
@@ -0,0 +1 @@
+VALUES(0d1.5)
diff --git a/tests/cases/failing/values-func.pre b/tests/cases/failing/values-func.pre
@@ -0,0 +1 @@
+VALUES(LAMBDA INT: (){})
diff --git a/tests/cases/failing/values-int.pre b/tests/cases/failing/values-int.pre
@@ -0,0 +1 @@
+VALUES(0d1)
diff --git a/tests/cases/failing/values-str.pre b/tests/cases/failing/values-str.pre
@@ -0,0 +1 @@
+VALUES("map")
diff --git a/tests/cases/failing/values-thr.pre b/tests/cases/failing/values-thr.pre
@@ -0,0 +1 @@
+VALUES(ASYNC{})
diff --git a/tests/cases/failing/values-tns.pre b/tests/cases/failing/values-tns.pre
@@ -0,0 +1 @@
+VALUES([0d1])
diff --git a/tests/cases/passing/keyin-basic.pre b/tests/cases/passing/keyin-basic.pre
@@ -0,0 +1,5 @@
+MAP: m = <"a" = 0d1, "b" = 0d2>
+
+ASSERT(KEYIN("a", m))
+ASSERT(NOT(KEYIN("missing", m)))
+ASSERT(EQ(TYPE(KEYIN("a", m)), "BOOL"))
diff --git a/tests/cases/passing/keyin-key-types.pre b/tests/cases/passing/keyin-key-types.pre
@@ -0,0 +1,7 @@
+MAP: m = <0d1 = "int", 0d2.5 = "flt", "three" = "str">
+
+ASSERT(KEYIN(0d1, m))
+ASSERT(KEYIN(0d2.5, m))
+ASSERT(KEYIN("three", m))
+ASSERT(NOT(KEYIN(0d1.0, m)))
+ASSERT(NOT(KEYIN("0d1", m)))
diff --git a/tests/cases/passing/keys-insertion-order.pre b/tests/cases/passing/keys-insertion-order.pre
@@ -0,0 +1,3 @@
+MAP: m = <"alpha" = 0d1, "beta" = 0d2, "gamma" = 0d3>
+
+ASSERT(EQ(KEYS(m), ["alpha", "beta", "gamma"]))
diff --git a/tests/cases/passing/keys-mixed-key-types.pre b/tests/cases/passing/keys-mixed-key-types.pre
@@ -0,0 +1,3 @@
+MAP: m = <0d1 = "one", 0d2.5 = "two_point_five", "three" = "three">
+
+ASSERT(EQ(KEYS(m), [0d1, 0d2.5, "three"]))
diff --git a/tests/cases/passing/keys-result-is-1d.pre b/tests/cases/passing/keys-result-is-1d.pre
@@ -0,0 +1,5 @@
+MAP: m = <"x" = 0d1, "y" = 0d2>
+
+TNS: k = KEYS(m)
+ASSERT(EQ(TYPE(k), "TNS"))
+ASSERT(EQ(SHAPE(k), [0d2]))
diff --git a/tests/cases/passing/valuein-any-type.pre b/tests/cases/passing/valuein-any-type.pre
@@ -0,0 +1,12 @@
+MAP: bool_map = <"t" = TRUE, "f" = FALSE>
+MAP: int_map = <"i" = 0d7>
+MAP: flt_map = <"p" = 0d2.5>
+MAP: str_map = <"s" = "text">
+MAP: tns_map = <"vec" = [0d1, 0d2]>
+
+ASSERT(VALUEIN(TRUE, bool_map))
+ASSERT(VALUEIN(0d7, int_map))
+ASSERT(VALUEIN(0d2.5, flt_map))
+ASSERT(VALUEIN("text", str_map))
+ASSERT(VALUEIN([0d1, 0d2], tns_map))
+ASSERT(NOT(VALUEIN([0d2, 0d1], tns_map)))
diff --git a/tests/cases/passing/valuein-basic.pre b/tests/cases/passing/valuein-basic.pre
@@ -0,0 +1,5 @@
+MAP: m = <"x" = "cat", "y" = "dog">
+
+ASSERT(VALUEIN("cat", m))
+ASSERT(NOT(VALUEIN("bird", m)))
+ASSERT(EQ(TYPE(VALUEIN("cat", m)), "BOOL"))
diff --git a/tests/cases/passing/values-insertion-order.pre b/tests/cases/passing/values-insertion-order.pre
@@ -0,0 +1,3 @@
+MAP: m = <"alpha" = "first", "beta" = "second", "gamma" = "third">
+
+ASSERT(EQ(VALUES(m), ["first", "second", "third"]))
diff --git a/tests/cases/passing/values-result-is-1d.pre b/tests/cases/passing/values-result-is-1d.pre
@@ -0,0 +1,3 @@
+MAP: m = <0d1 = 0d10, 0d2 = 0d20, 0d3 = 0d30>
+
+ASSERT(EQ(VALUES(m), [0d10, 0d20, 0d30]))
