Function TestSetBeyondLengthScalarArrayPreservesElements_SYS110

parser_test.go:2493–2521

Verifies: SYS-REQ-110 [boundary] SYS-REQ-110:boundary:negative SYS-REQ-110:element_type_partition:nominal Positive/nominal witness for the element_type_partition obligation: Set with a beyond-length array index on a non-empty nested array of SCALAR elements must append at end and preserve all existi

(t *testing.T)

//   strings, bools, nulls, nested arrays) were silently replaced with
//   [value], destroying all data.
func TestSetBeyondLengthScalarArrayPreservesElements_SYS110(t *testing.T) {
	cases := []struct {
		name     string
		data     string
		keys     []string
		setValue string
		want     string
	}{
		{"number_array", `{"a":[1,2,3]}`, []string{"a", "[9]"}, `99`, `{"a":[1,2,3,99]}`},
		{"string_array", `{"a":["x","y"]}`, []string{"a", "[9]"}, `"z"`, `{"a":["x","y","z"]}`},
		{"bool_array", `{"a":[true,false]}`, []string{"a", "[9]"}, `true`, `{"a":[true,false,true]}`},
		{"null_array", `{"a":[null,null]}`, []string{"a", "[9]"}, `null`, `{"a":[null,null,null]}`},
		{"nested_number_array", `{"a":[[1,2]]}`, []string{"a", "[9]"}, `99`, `{"a":[[1,2],99]}`},
		{"mixed_first_number", `{"a":[1,{"x":2}]}`, []string{"a", "[9]"}, `99`, `{"a":[1,{"x":2},99]}`},
		{"index_equals_len", `{"a":[1,2,3]}`, []string{"a", "[3]"}, `99`, `{"a":[1,2,3,99]}`},
		{"index_len_plus_one", `{"a":[1,2,3]}`, []string{"a", "[4]"}, `99`, `{"a":[1,2,3,99]}`},
	}
	for _, c := range cases {
		t.Run(c.name, func(t *testing.T) {
			got, err := Set([]byte(c.data), []byte(c.setValue), c.keys...)
			if err != nil {
				t.Fatalf("Set(%s,%v) returned error: %v", c.data, c.keys, err)
			}
			if string(got) != c.want {
				t.Fatalf("Set(%s,%v) = %s; want %s (scalar array elements must be preserved on beyond-length append)", c.data, c.keys, string(got), c.want)
			}
		})
	}
}

// Verifies: SYS-REQ-029 [malformed_input]
// SYS-REQ-029:malformed_input:negative