Method walkAttributeUserTypes

expr/root.go:290–325

walkAttributeUserTypes traverses att and invokes visit for each encountered user type. The path argument records the traversal path through objects, arrays, maps, and unions and is intended for diagnostics.

(att *AttributeExpr, seen map[string]struct{}, path string, visit func(UserType, string))

// The path argument records the traversal path through objects, arrays, maps,
// and unions and is intended for diagnostics.
func (r *RootExpr) walkAttributeUserTypes(att *AttributeExpr, seen map[string]struct{}, path string, visit func(UserType, string)) {
	if att == nil || att.Type == Empty {
		return
	}
	switch t := att.Type.(type) {
	case UserType:
		if _, ok := seen[t.ID()]; ok {
			return
		}
		seen[t.ID()] = struct{}{}
		visit(t, path)
		r.walkAttributeUserTypes(t.Attribute(), seen, path, visit)
	case *Object:
		for _, nat := range *t {
			next := nat.Name
			if path != "" {
				next = path + "." + nat.Name
			}
			r.walkAttributeUserTypes(nat.Attribute, seen, next, visit)
		}
	case *Array:
		next := path + "[]"
		r.walkAttributeUserTypes(t.ElemType, seen, next, visit)
	case *Map:
		r.walkAttributeUserTypes(t.KeyType, seen, path+"[key]", visit)
		r.walkAttributeUserTypes(t.ElemType, seen, path+"[value]", visit)
	case *Union:
		for _, nat := range t.Values {
			next := nat.Name
			if path != "" {
				next = path + "." + nat.Name
			}
			r.walkAttributeUserTypes(nat.Attribute, seen, next, visit)
		}
	}
}

// Finalize finalizes the server expressions.
func (r *RootExpr) Finalize() {