Function TestTraversalDeepNesting

obligation_property_test.go:716–756

Verifies: SYS-REQ-099 MCDC SYS-REQ-099: traversal_input_is_deeply_nested=T, traversal_handles_deep_nesting_safely=T => TRUE

(t *testing.T)

// Verifies: SYS-REQ-099
// MCDC SYS-REQ-099: traversal_input_is_deeply_nested=T, traversal_handles_deep_nesting_safely=T => TRUE
func TestTraversalDeepNesting(t *testing.T) {
	t.Run("ArrayEach_deep", func(t *testing.T) {
		defer func() {
			if r := recover(); r != nil {
				t.Fatalf("ArrayEach on deep nesting panicked: %v", r)
			}
		}()

		// Build deeply nested array: [[[[...42...]]]]
		depth := 64
		prefix := strings.Repeat("[", depth)
		suffix := strings.Repeat("]", depth)
		data := []byte(prefix + "42" + suffix)

		// ArrayEach on the outer array
		_, err := ArrayEach(data, func(value []byte, dataType ValueType, offset int, err error) {
			// The inner element is another deeply nested array or the final value
		})
		// We accept any result as long as no panic
		_ = err
	})

	t.Run("ObjectEach_deep", func(t *testing.T) {
		defer func() {
			if r := recover(); r != nil {
				t.Fatalf("ObjectEach on deep nesting panicked: %v", r)
			}
		}()

		// Build deeply nested object: {"a":{"a":{"a":...{"a":42}...}}}
		depth := 64
		prefix := strings.Repeat(`{"a":`, depth)
		suffix := strings.Repeat("}", depth)
		data := []byte(prefix + "42" + suffix)

		err := ObjectEach(data, func(key []byte, value []byte, dataType ValueType, offset int) error {
			return nil
		})
		_ = err
	})
}

// Verifies: SYS-REQ-102
// MCDC SYS-REQ-102: mutation_input_has_unicode_keys=T, mutation_handles_unicode_keys_safely=T => TRUE