Function boundOfArg

analysis/validation.go:1409–1559

(x ast.BaseTerm, varRanges map[ast.Variable]ast.BaseTerm, nameTrie symbols.NameTrie)

}

func boundOfArg(x ast.BaseTerm, varRanges map[ast.Variable]ast.BaseTerm, nameTrie symbols.NameTrie) ast.BaseTerm {
	switch z := x.(type) {
	case ast.Variable:
		if bound, ok := varRanges[z]; ok {
			return bound
		}
		return ast.AnyBound

	case ast.Constant:
		switch z.Type {
		case ast.NumberType:
			return ast.NumberBound
		case ast.Float64Type:
			return ast.Float64Bound
		case ast.StringType:
			return ast.StringBound
		case ast.TimeType:
			return ast.TimeBound
		case ast.DurationType:
			return ast.DurationBound
		case ast.NameType:
			// Find a name prefix type, or fall back to /name.
			return nameTrie.PrefixName(z.Symbol)
		case ast.ListShape:
			var args []ast.BaseTerm
			z.ListValues(func(arg ast.Constant) error {
				args = append(args, arg)
				return nil
			}, func() error {
				return nil
			})

			return boundOfArg(ast.ApplyFn{symbols.List, args}, varRanges, nameTrie)
		case ast.MapShape:
			var args []ast.BaseTerm
			z.MapValues(func(keyArg, valArg ast.Constant) error {
				args = append(args, keyArg)
				args = append(args, valArg)
				return nil
			}, func() error {
				return nil
			})
			return boundOfArg(ast.ApplyFn{symbols.Map, args}, varRanges, nameTrie)
		case ast.StructShape:
			var args []ast.BaseTerm
			z.StructValues(func(fieldArg, valArg ast.Constant) error {
				args = append(args, fieldArg)
				args = append(args, valArg)
				return nil
			}, func() error {
				return nil
			})
			return boundOfArg(ast.ApplyFn{symbols.Struct, args}, varRanges, nameTrie)

		default:
			return ast.AnyBound // This cannot happen
		}