Function TestRecursiveValidationWithCycleGuard

codegen/validation_test.go:98–130

TestRecursiveValidationWithCycleGuard tests that recursive types are properly handled without infinite loops. The recursion guard should prevent cycles while still allowing validation of the same type in different contexts.

(t *testing.T)

// properly handled without infinite loops. The recursion guard should prevent
// cycles while still allowing validation of the same type in different contexts.
func TestRecursiveValidationWithCycleGuard(t *testing.T) {
	root := RunDSL(t, testdata.RecursiveValidationDSL)
	scope := NewNameScope()

	cases := []struct {
		Name     string
		TypeName string
		Pointer  bool
	}{
		{"recursive-type-pointer", "RecursiveType", true},
		{"recursive-type-required", "RecursiveType", false},
		{"container-with-recursive-array", "ContainerWithRecursiveArray", true},
		{"container-with-recursive-map", "ContainerWithRecursiveMap", true},
		{"nested-recursive-pointer", "NestedRecursive", true},
	}

	for _, c := range cases {
		t.Run(c.Name, func(t *testing.T) {
			ctx := NewAttributeContext(c.Pointer, false, false, "", scope)
			ut := root.UserType(c.TypeName)
			code := ValidationCode(&expr.AttributeExpr{Type: ut}, nil, ctx, !c.Pointer, false, false, "target")
			// Verify code is generated (not empty) and doesn't cause infinite recursion
			if code == "" {
				t.Error("Expected validation code to be generated")
			}
			// Verify the code can be formatted (indicates valid Go code)
			code = FormatTestCode(t, "package foo\nfunc Validate() (err error){\n"+code+"}")
			if code == "" {
				t.Error("Expected formatted code to be generated")
			}
		})
	}
}

// TestMultipleAliasTypesInSameStruct tests that multiple fields with the same
// alias type can be validated independently. Previously, the recursion guard