Function TestParseStringEncodingSafetyRoundtrip

obligation_property_test.go:509–550

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

(t *testing.T)

// Verifies: SYS-REQ-108
// MCDC SYS-REQ-108: parsestring_input_has_standard_escapes=T, parsestring_roundtrip_preserves_semantics=T => TRUE
func TestParseStringEncodingSafetyRoundtrip(t *testing.T) {
	cases := []struct {
		name     string
		input    string
		expected string
	}{
		{name: "newline", input: `hello\nworld`, expected: "hello\nworld"},
		{name: "tab", input: `col1\tcol2`, expected: "col1\tcol2"},
		{name: "backslash", input: `path\\to\\file`, expected: `path\to\file`},
		{name: "quote", input: `say \"hi\"`, expected: `say "hi"`},
		{name: "unicode BMP", input: `\u0048\u0065\u006C\u006C\u006F`, expected: "Hello"},
		{name: "solidus", input: `a\/b`, expected: "a/b"},
		{name: "backspace", input: `a\bc`, expected: "a\bc"},
		{name: "formfeed", input: `a\fc`, expected: "a\fc"},
		{name: "carriage return", input: `a\rc`, expected: "a\rc"},
	}
	for _, tc := range cases {
		t.Run(tc.name, func(t *testing.T) {
			decoded, err := ParseString([]byte(tc.input))
			if err != nil {
				t.Fatalf("ParseString returned error: %v", err)
			}
			if decoded != tc.expected {
				t.Fatalf("ParseString decoded %q, expected %q", decoded, tc.expected)
			}

			// Round-trip check: re-encode and verify the decoded string marshals
			// back to JSON that, when decoded again, gives the same Go string.
			reEncoded, err := json.Marshal(decoded)
			if err != nil {
				t.Fatalf("json.Marshal failed: %v", err)
			}
			var reDecoded string
			if err := json.Unmarshal(reEncoded, &reDecoded); err != nil {
				t.Fatalf("json.Unmarshal failed: %v", err)
			}
			if reDecoded != decoded {
				t.Fatalf("Round-trip mismatch: original %q, round-tripped %q", decoded, reDecoded)
			}
		})
	}
}

// =============================================================================
// Edge case tests