D215: LAG/LEAD negative offsets, POSITION start, SPLIT_PART column delimiter, GENERATOR constants

cases/translation/expressions/operators-arithmetic.add.toml

@@ -0,0 +1,133 @@
+category = "translation"
+construct = "sf.expressions.operators-arithmetic.add"
+session_profile = "utc-v1"
+
+[[case]]
+id = "t001_num_num_380380"
+description = "a NUMBER(38,0) + b NUMBER(38,0). Catches: operands swapped for subtraction or truncated to 32 bits"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["7", "-12"],
+  ["40000000000", "3"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t002_num_num_102380"
+description = "a NUMBER(10,2) + b NUMBER(38,0). Catches: the sum losing the NUMBER(10,2) scale (4 instead of 4.25)"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["1.25", "3"],
+  ["-0.75", "2"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t003_num_num_102124"
+description = "a NUMBER(10,2) + b NUMBER(12,4). Catches: the result scale taken from the left operand only (1.31 instead of 1.3125)"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(12,4)" }]
+rows = [
+  ["1.25", "0.0625"],
+  ["-3.10", "1.0001"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t004_num_float_380"
+description = "a NUMBER(38,0) + b FLOAT. Catches: a FLOAT operand rounded to the integer side"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["3", "0.5"],
+  ["-2", "1e-3"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t005_num_float_102"
+description = "a NUMBER(10,2) + b FLOAT. Catches: the FLOAT operand cast to NUMBER(10,2) (1.00 instead of 1.001) or a fixed-point result type"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["0.10", "0.2"],
+  ["2.50", "-0.25"],
+  ["1.00", "0.001"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t006_float_float"
+description = "a FLOAT + b FLOAT. Catches: float addition replaced by decimal addition (0.30000000000000004 vs 0.3)"
+columns = [{ name = "a", type = "FLOAT" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["0.1", "0.2"],
+  ["1e16", "1"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t007_null_a"
+description = "NULL as a, the other operand set. Catches: NULL treated as 0 instead of propagating"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["NULL", "2.50"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t008_null_b"
+description = "NULL as b, the other operand set. Catches: NULL treated as 0 instead of propagating"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["2.50", "NULL"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t009_max_38"
+description = "38-digit integers that still fit. Catches: arithmetic done in 64 bits"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["9999999999999999999999999999999999999", "9"],
+  ["-9999999999999999999999999999999999999", "-9"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["boundary"]
+
+[[case]]
+id = "t010_negatives"
+description = "Negative fixed-point sums crossing zero. Catches: sign lost or magnitude added"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["-5.25", "2.00"],
+  ["-0.01", "0.02"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["boundary"]
+
+[[case]]
+id = "t011_overflow"
+description = "The sum of two 38-digit integers overflows NUMBER(38,0). Catches: wrapping or a silent switch to FLOAT instead of the out-of-range error"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["99999999999999999999999999999999999999", "99999999999999999999999999999999999999"],
+]
+query = "SELECT a + b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["error"]

cases/translation/expressions/operators-arithmetic.divide.toml

@@ -0,0 +1,133 @@
+category = "translation"
+construct = "sf.expressions.operators-arithmetic.divide"
+session_profile = "utc-v1"
+
+[[case]]
+id = "t001_num_num_380380"
+description = "a NUMBER(38,0) / b NUMBER(38,0). Catches: integer division (3 instead of 3.5) or a truncated rather than rounded scale-6 quotient (0.666666 vs 0.666667)"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["7", "2"],
+  ["-7", "2"],
+  ["2", "3"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t002_num_num_102380"
+description = "a NUMBER(10,2) / b NUMBER(38,0). Catches: the quotient scale (s+6) handled wrongly"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["1.25", "4"],
+  ["-10.00", "3"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t003_num_num_102124"
+description = "a NUMBER(10,2) / b NUMBER(12,4). Catches: quotient scale taken from the divisor"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(12,4)" }]
+rows = [
+  ["1.00", "0.0300"],
+  ["5.50", "2.2000"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t004_num_float_380"
+description = "a NUMBER(38,0) / b FLOAT. Catches: FLOAT divisor rounded"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["1", "3.0"],
+  ["-5", "0.25"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t005_num_float_102"
+description = "a NUMBER(10,2) / b FLOAT. Catches: fixed-point / FLOAT result type swapped"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["1.00", "8.0"],
+  ["3.00", "-0.5"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t006_float_float"
+description = "a FLOAT / b FLOAT. Catches: float division done in decimal"
+columns = [{ name = "a", type = "FLOAT" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["1", "3"],
+  ["-0.5", "4"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t007_null_a"
+description = "NULL as a, the other operand set. Catches: NULL treated as 0"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["NULL", "2.00"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t008_null_b"
+description = "NULL as b, the other operand set. Catches: NULL divisor turned into the division-by-zero error or 0"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["2.00", "NULL"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t009_scale_12"
+description = "Scales near the 12-digit quotient cap. Catches: the quotient scale not capped at 12"
+columns = [{ name = "a", type = "NUMBER(20,8)" }, { name = "b", type = "NUMBER(20,8)" }]
+rows = [
+  ["1.00000000", "3.00000000"],
+  ["2.00000000", "7.00000000"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["boundary"]
+
+[[case]]
+id = "t010_neg_quotient"
+description = "Negative quotients that round at the last digit. Catches: rounding toward zero instead of half away from zero"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["-2", "3"],
+  ["-1", "6"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["boundary"]
+
+[[case]]
+id = "t011_div_zero"
+description = "Division by zero is an error. Catches: NULL, 0 or infinity instead of the division-by-zero error"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["5", "0"],
+]
+query = "SELECT a / b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["error"]

cases/translation/expressions/operators-arithmetic.modulo.toml

@@ -0,0 +1,120 @@
+category = "translation"
+construct = "sf.expressions.operators-arithmetic.modulo"
+session_profile = "utc-v1"
+
+[[case]]
+id = "t001_num_num_380380"
+description = "a NUMBER(38,0) % b NUMBER(38,0). Catches: floor-based modulo (2 instead of -1): MOD truncates toward zero"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["-7", "3"],
+  ["7", "-3"],
+  ["7", "3"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t002_num_num_102380"
+description = "a NUMBER(10,2) % b NUMBER(38,0). Catches: fractional remainder dropped"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["7.50", "2"],
+  ["-7.50", "2"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t003_num_num_102124"
+description = "a NUMBER(10,2) % b NUMBER(12,4). Catches: result scale taken from one operand"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(12,4)" }]
+rows = [
+  ["5.25", "1.0001"],
+  ["-0.75", "0.5000"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t004_num_float_380"
+description = "a NUMBER(38,0) % b FLOAT. Catches: FLOAT divisor rounded"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["7", "2.5"],
+  ["-7", "2.5"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t005_float_float"
+description = "a FLOAT % b FLOAT. Catches: floor-based float modulo"
+columns = [{ name = "a", type = "FLOAT" }, { name = "b", type = "FLOAT" }]
+rows = [
+  ["5.5", "2"],
+  ["-5.5", "2"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["type-combination"]
+
+[[case]]
+id = "t006_null_a"
+description = "NULL as a, the other operand set. Catches: NULL treated as 0"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["NULL", "3.00"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t007_null_b"
+description = "NULL as b, the other operand set. Catches: NULL treated as 0"
+columns = [{ name = "a", type = "NUMBER(10,2)" }, { name = "b", type = "NUMBER(10,2)" }]
+rows = [
+  ["3.00", "NULL"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["null"]
+
+[[case]]
+id = "t008_both_negative"
+description = "Both operands negative. Catches: remainder made non-negative (Euclidean or ABS): 2 instead of -1 for -7 % -3, 4 instead of -1 for -1 % -5"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["-7", "-3"],
+  ["-1", "-5"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["boundary"]
+
+[[case]]
+id = "t009_mod_text"
+description = "A non-numeric string operand. Catches: the string silently read as 0 instead of the conversion error"
+columns = [{ name = "a", type = "VARCHAR" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["'abc'", "3"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["error"]
+
+[[case]]
+id = "t010_zero_divisor"
+description = "A zero divisor: records what Snowflake returns there; re-kinded to boundary after capture if Snowflake returns a value instead of an error. Catches: NULL for x % 0 (DuckDB) where Snowflake raises division by zero"
+columns = [{ name = "a", type = "NUMBER(38,0)" }, { name = "b", type = "NUMBER(38,0)" }]
+rows = [
+  ["5", "0"],
+]
+query = "SELECT a % b AS r FROM input ORDER BY ordinal"
+order = "ordered"
+tags = ["error"]