diff --git a/ext/typeexpr/defaults.go b/ext/typeexpr/defaults.go index b30f0a64..f2962139 100644 --- a/ext/typeexpr/defaults.go +++ b/ext/typeexpr/defaults.go @@ -1,12 +1,16 @@ package typeexpr import ( + "sort" + "strconv" + "github.com/zclconf/go-cty/cty" + "github.com/zclconf/go-cty/cty/convert" ) // Defaults represents a type tree which may contain default values for // optional object attributes at any level. This is used to apply nested -// defaults to a given cty.Value. +// defaults to a given cty.Value before converting it to a concrete type. type Defaults struct { // Type of the node for which these defaults apply. This is necessary in // order to determine how to inspect the Defaults and Children collections. @@ -28,135 +32,175 @@ type Defaults struct { // Apply walks the given value, applying specified defaults wherever optional // attributes are missing. The input and output values may have different -// types, to avoid this the input value should be converted into the desired -// type first. +// types, and the result may still require type conversion to the final desired +// type. // // This function is permissive and does not report errors, assuming that the // caller will have better context to report useful type conversion failure // diagnostics. func (d *Defaults) Apply(val cty.Value) cty.Value { - val, err := cty.TransformWithTransformer(val, &defaultsTransformer{defaults: d}) - - // The transformer should never return an error. - if err != nil { - panic(err) - } - - return val + return d.apply(val) } -// defaultsTransformer implements cty.Transformer, as a pre-order traversal, -// applying defaults as it goes. The pre-order traversal allows us to specify -// defaults more loosely for structural types, as the defaults for the types -// will be applied to the default value later in the walk. -type defaultsTransformer struct { - defaults *Defaults -} - -var _ cty.Transformer = (*defaultsTransformer)(nil) - -func (t *defaultsTransformer) Enter(p cty.Path, v cty.Value) (cty.Value, error) { - // Cannot apply defaults to an unknown value, and should not apply defaults - // to a null value. - // - // A quick clarification, we should still override null values *inside* the - // object or map with defaults. But if the actual object or map itself is - // null then we skip it. +func (d *Defaults) apply(v cty.Value) cty.Value { + // We don't apply defaults to null values or unknown values. To be clear, + // we will overwrite children values with defaults if they are null but not + // if the actual value is null. if !v.IsKnown() || v.IsNull() { - return v, nil + return v } - // Look up the defaults for this path. - defaults := t.defaults.traverse(p) - - // If we have no defaults, nothing to do. - if len(defaults) == 0 { - return v, nil + // Also, do nothing if we have no defaults to apply. + if len(d.DefaultValues) == 0 && len(d.Children) == 0 { + return v } - // Ensure we are working with an object or map. - vt := v.Type() - if !vt.IsObjectType() && !vt.IsMapType() { - // Cannot apply defaults because the value type is incompatible. - // We'll ignore this and let the later conversion stage display a - // more useful diagnostic. - return v, nil + v, marks := v.Unmark() + + switch { + case v.Type().IsSetType(), v.Type().IsListType(), v.Type().IsTupleType(): + values := d.applyAsSlice(v) + + if v.Type().IsSetType() { + if len(values) == 0 { + v = cty.SetValEmpty(v.Type().ElementType()) + break + } + if converts := d.unifyAsSlice(values); len(converts) > 0 { + v = cty.SetVal(converts).WithMarks(marks) + break + } + } else if v.Type().IsListType() { + if len(values) == 0 { + v = cty.ListValEmpty(v.Type().ElementType()) + break + } + if converts := d.unifyAsSlice(values); len(converts) > 0 { + v = cty.ListVal(converts) + break + } + } + v = cty.TupleVal(values) + case v.Type().IsObjectType(), v.Type().IsMapType(): + values := d.applyAsMap(v) + + for key, defaultValue := range d.DefaultValues { + if value, ok := values[key]; !ok || value.IsNull() { + if defaults, ok := d.Children[key]; ok { + values[key] = defaults.apply(defaultValue) + continue + } + values[key] = defaultValue + } + } + + if v.Type().IsMapType() { + if len(values) == 0 { + v = cty.MapValEmpty(v.Type().ElementType()) + break + } + if converts := d.unifyAsMap(values); len(converts) > 0 { + v = cty.MapVal(converts) + break + } + } + v = cty.ObjectVal(values) } - // Unmark the value and reapply the marks later. - v, valMarks := v.Unmark() + return v.WithMarks(marks) +} - // Convert the given value into an attribute map (if it's non-null and - // non-empty). - attrs := make(map[string]cty.Value) - if !v.IsNull() && v.LengthInt() > 0 { - attrs = v.AsValueMap() +func (d *Defaults) applyAsSlice(value cty.Value) []cty.Value { + var elements []cty.Value + for ix, element := range value.AsValueSlice() { + if childDefaults := d.getChild(ix); childDefaults != nil { + element = childDefaults.apply(element) + elements = append(elements, element) + continue + } + elements = append(elements, element) } + return elements +} - // Apply defaults where attributes are missing, constructing a new - // value with the same marks. - for attr, defaultValue := range defaults { - if attrValue, ok := attrs[attr]; !ok || attrValue.IsNull() { - attrs[attr] = defaultValue +func (d *Defaults) applyAsMap(value cty.Value) map[string]cty.Value { + elements := make(map[string]cty.Value) + for key, element := range value.AsValueMap() { + if childDefaults := d.getChild(key); childDefaults != nil { + elements[key] = childDefaults.apply(element) + continue } + elements[key] = element } - - // We construct an object even if the input value was a map, as the - // type of an attribute's default value may be incompatible with the - // map element type. - return cty.ObjectVal(attrs).WithMarks(valMarks), nil + return elements } -func (t *defaultsTransformer) Exit(p cty.Path, v cty.Value) (cty.Value, error) { - return v, nil +func (d *Defaults) getChild(key interface{}) *Defaults { + switch { + case d.Type.IsMapType(), d.Type.IsSetType(), d.Type.IsListType(): + return d.Children[""] + case d.Type.IsTupleType(): + return d.Children[strconv.Itoa(key.(int))] + case d.Type.IsObjectType(): + return d.Children[key.(string)] + default: + return nil + } } -// traverse walks the abstract defaults structure for a given path, returning -// a set of default values (if any are present) or nil (if not). This operation -// differs from applying a path to a value because we need to customize the -// traversal steps for collection types, where a single set of defaults can be -// applied to an arbitrary number of elements. -func (d *Defaults) traverse(path cty.Path) map[string]cty.Value { - if len(path) == 0 { - return d.DefaultValues +func (d *Defaults) unifyAsSlice(values []cty.Value) []cty.Value { + var types []cty.Type + for _, value := range values { + types = append(types, value.Type()) + } + unify, conversions := convert.UnifyUnsafe(types) + if unify == cty.NilType { + return nil } - switch s := path[0].(type) { - case cty.GetAttrStep: - if d.Type.IsObjectType() { - // Attribute path steps are normally applied to objects, where each - // attribute may have different defaults. - return d.traverseChild(s.Name, path) - } else if d.Type.IsMapType() { - // Literal values for maps can result in attribute path steps, in which - // case we need to disregard the attribute name, as maps can have only - // one child. - return d.traverseChild("", path) + var converts []cty.Value + for ix := 0; ix < len(conversions); ix++ { + if conversions[ix] == nil { + converts = append(converts, values[ix]) + continue } - return nil - case cty.IndexStep: - if d.Type.IsTupleType() { - // Tuples can have different types for each element, so we look - // up the defaults based on the index key. - return d.traverseChild(s.Key.AsBigFloat().String(), path) - } else if d.Type.IsCollectionType() { - // Defaults for collection element types are stored with a blank - // key, so we disregard the index key. - return d.traverseChild("", path) + converted, err := conversions[ix](values[ix]) + if err != nil { + return nil } - return nil - default: - // At time of writing there are no other path step types. - return nil + converts = append(converts, converted) } + return converts } -// traverseChild continues the traversal for a given child key, and mutually -// recurses with traverse. -func (d *Defaults) traverseChild(name string, path cty.Path) map[string]cty.Value { - if child, ok := d.Children[name]; ok { - return child.traverse(path[1:]) +func (d *Defaults) unifyAsMap(values map[string]cty.Value) map[string]cty.Value { + var keys []string + for key := range values { + keys = append(keys, key) + } + sort.Strings(keys) + + var types []cty.Type + for _, key := range keys { + types = append(types, values[key].Type()) + } + unify, conversions := convert.UnifyUnsafe(types) + if unify == cty.NilType { + return nil + } + + converts := make(map[string]cty.Value) + for ix, key := range keys { + if conversions[ix] == nil { + converts[key] = values[key] + continue + } + + var err error + if converts[key], err = conversions[ix](values[key]); err != nil { + return nil + } } - return nil + return converts } diff --git a/ext/typeexpr/defaults_test.go b/ext/typeexpr/defaults_test.go index d8b583e5..49f151b4 100644 --- a/ext/typeexpr/defaults_test.go +++ b/ext/typeexpr/defaults_test.go @@ -53,9 +53,9 @@ func TestDefaults_Apply(t *testing.T) { value: cty.MapVal(map[string]cty.Value{ "a": cty.StringVal("foo"), }), - want: cty.ObjectVal(map[string]cty.Value{ + want: cty.MapVal(map[string]cty.Value{ "a": cty.StringVal("foo"), - "b": cty.True, + "b": cty.StringVal("true"), }), }, // Unknown values may be assigned to root modules during validation, @@ -83,7 +83,7 @@ func TestDefaults_Apply(t *testing.T) { "a": cty.StringVal("foo"), "b": cty.StringVal("false"), }), - want: cty.ObjectVal(map[string]cty.Value{ + want: cty.MapVal(map[string]cty.Value{ "a": cty.StringVal("foo"), "b": cty.StringVal("false"), }), @@ -100,9 +100,9 @@ func TestDefaults_Apply(t *testing.T) { "a": cty.StringVal("foo"), "b": cty.NullVal(cty.String), }), - want: cty.ObjectVal(map[string]cty.Value{ + want: cty.MapVal(map[string]cty.Value{ "a": cty.StringVal("foo"), - "b": cty.True, + "b": cty.StringVal("true"), }), }, // Defaults can be specified at any level of depth and will be applied @@ -649,6 +649,105 @@ func TestDefaults_Apply(t *testing.T) { value: cty.EmptyObjectVal, want: cty.EmptyObjectVal, }, + "tuples retain custom values and dynamic types": { + defaults: &Defaults{ + Type: cty.List(cty.ObjectWithOptionalAttrs(map[string]cty.Type{ + "name": cty.String, + "taints": cty.List(cty.Map(cty.DynamicPseudoType)), + }, []string{"name", "taints"})), + Children: map[string]*Defaults{ + "": { + Type: cty.ObjectWithOptionalAttrs(map[string]cty.Type{ + "name": cty.String, + "taints": cty.List(cty.Map(cty.DynamicPseudoType)), + }, []string{"name", "taints"}), + DefaultValues: map[string]cty.Value{ + "name": cty.StringVal("default"), + "taints": cty.ListValEmpty(cty.Map(cty.DynamicPseudoType)), + }, + }, + }, + }, + value: cty.TupleVal([]cty.Value{ + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-pool-32"), + }), + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-envoy-32"), + "taints": cty.ListVal([]cty.Value{ + cty.MapVal(map[string]cty.Value{ + "key": cty.StringVal("etsy.com/nodepool"), + "value": cty.StringVal("envoy"), + }), + }), + }), + }), + want: cty.TupleVal([]cty.Value{ + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-pool-32"), + "taints": cty.ListValEmpty(cty.Map(cty.DynamicPseudoType)), + }), + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-envoy-32"), + "taints": cty.ListVal([]cty.Value{ + cty.MapVal(map[string]cty.Value{ + "key": cty.StringVal("etsy.com/nodepool"), + "value": cty.StringVal("envoy"), + }), + }), + }), + }), + }, + "lists merge dynamic types with concrete types": { + defaults: &Defaults{ + Type: cty.List(cty.ObjectWithOptionalAttrs(map[string]cty.Type{ + "name": cty.String, + "taints": cty.List(cty.Map(cty.DynamicPseudoType)), + }, []string{"name", "taints"})), + Children: map[string]*Defaults{ + "": { + Type: cty.ObjectWithOptionalAttrs(map[string]cty.Type{ + "name": cty.String, + "taints": cty.List(cty.Map(cty.DynamicPseudoType)), + }, []string{"name", "taints"}), + DefaultValues: map[string]cty.Value{ + "name": cty.StringVal("default"), + "taints": cty.ListValEmpty(cty.Map(cty.DynamicPseudoType)), + }, + }, + }, + }, + value: cty.ListVal([]cty.Value{ + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-pool-32"), + "taints": cty.NullVal(cty.List(cty.Map(cty.String))), + }), + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-envoy-32"), + "taints": cty.ListVal([]cty.Value{ + cty.MapVal(map[string]cty.Value{ + "key": cty.StringVal("etsy.com/nodepool"), + "value": cty.StringVal("envoy"), + }), + }), + }), + }), + want: cty.ListVal([]cty.Value{ + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-pool-32"), + "taints": cty.ListValEmpty(cty.Map(cty.String)), + }), + cty.ObjectVal(map[string]cty.Value{ + "name": cty.StringVal("node-envoy-32"), + "taints": cty.ListVal([]cty.Value{ + cty.MapVal(map[string]cty.Value{ + "key": cty.StringVal("etsy.com/nodepool"), + "value": cty.StringVal("envoy"), + }), + }), + }), + }), + }, } for name, tc := range testCases {