Function TestGetStringEncodingSafety

obligation_property_test.go:478–505

============================================================================= Encoding safety tests ============================================================================= Verifies: SYS-REQ-092 MCDC SYS-REQ-092: getstring_input_has_escaped_unicode=T, getstring_decodes_and_preserves_semantics=T

(t *testing.T)

// Verifies: SYS-REQ-092
// MCDC SYS-REQ-092: getstring_input_has_escaped_unicode=T, getstring_decodes_and_preserves_semantics=T => TRUE
func TestGetStringEncodingSafety(t *testing.T) {
	cases := []struct {
		name     string
		jsonData string
		key      string
		expected string
	}{
		{name: "basic latin escape", jsonData: `{"s":"\u0041"}`, key: "s", expected: "A"},
		{name: "e-acute", jsonData: `{"s":"\u00e9"}`, key: "s", expected: "\u00e9"},
		{name: "emoji surrogate pair", jsonData: `{"s":"\uD83D\uDE00"}`, key: "s", expected: "\U0001F600"},
		{name: "newline escape", jsonData: `{"s":"line1\nline2"}`, key: "s", expected: "line1\nline2"},
		{name: "tab escape", jsonData: `{"s":"col1\tcol2"}`, key: "s", expected: "col1\tcol2"},
		{name: "backslash escape", jsonData: `{"s":"path\\to\\file"}`, key: "s", expected: `path\to\file`},
		{name: "quote escape", jsonData: `{"s":"say \"hello\""}`, key: "s", expected: `say "hello"`},
		{name: "solidus escape", jsonData: `{"s":"a\/b"}`, key: "s", expected: "a/b"},
	}
	for _, tc := range cases {
		t.Run(tc.name, func(t *testing.T) {
			val, err := GetString([]byte(tc.jsonData), tc.key)
			if err != nil {
				t.Fatalf("GetString returned error: %v", err)
			}
			if val != tc.expected {
				t.Fatalf("GetString decoded %q, expected %q", val, tc.expected)
			}
		})
	}
}

// Verifies: SYS-REQ-108
// MCDC SYS-REQ-108: parsestring_input_has_standard_escapes=T, parsestring_roundtrip_preserves_semantics=T => TRUE