Method validateExamples

expr/attribute.go:774–782

validateExamples makes sure that the attribute example values are compatible with the attribute type.

(ctx string, parent eval.Expression)

// validateExamples makes sure that the attribute example values are compatible
// with the attribute type.
func (a *AttributeExpr) validateExamples(ctx string, parent eval.Expression) *eval.ValidationErrors {
	verr := new(eval.ValidationErrors)
	for _, ex := range a.UserExamples {
		if !a.Type.IsCompatible(ex.Value) { // DSL ensures ex.Value is not nil
			verr.Add(parent, "%sexample value %#v is incompatible with type %s", ctx, ex.Value, a.Type.Name())
		}
	}
	return verr
}

func (a *AttributeExpr) inheritRecursive(parent *AttributeExpr, seen map[*AttributeExpr]struct{}) {
	if !a.shouldInherit(parent) {