123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346 |
- /*
- Copyright 2017 The Knative Authors
- Licensed under the Apache License, Version 2.0 (the "License");
- you may not use this file except in compliance with the License.
- You may obtain a copy of the License at
- http://www.apache.org/licenses/LICENSE-2.0
- Unless required by applicable law or agreed to in writing, software
- distributed under the License is distributed on an "AS IS" BASIS,
- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- See the License for the specific language governing permissions and
- limitations under the License.
- */
- package apis
- import (
- "fmt"
- "sort"
- "strings"
- )
- // CurrentField is a constant to supply as a fieldPath for when there is
- // a problem with the current field itself.
- const CurrentField = ""
- // FieldError is used to propagate the context of errors pertaining to
- // specific fields in a manner suitable for use in a recursive walk, so
- // that errors contain the appropriate field context.
- // FieldError methods are non-mutating.
- // +k8s:deepcopy-gen=true
- type FieldError struct {
- Message string
- Paths []string
- // Details contains an optional longer payload.
- // +optional
- Details string
- errors []FieldError
- }
- // FieldError implements error
- var _ error = (*FieldError)(nil)
- // ViaField is used to propagate a validation error along a field access.
- // For example, if a type recursively validates its "spec" via:
- // if err := foo.Spec.Validate(); err != nil {
- // // Augment any field paths with the context that they were accessed
- // // via "spec".
- // return err.ViaField("spec")
- // }
- func (fe *FieldError) ViaField(prefix ...string) *FieldError {
- if fe == nil {
- return nil
- }
- // Copy over message and details, paths will be updated and errors come
- // along using .Also().
- newErr := &FieldError{
- Message: fe.Message,
- Details: fe.Details,
- }
- // Prepend the Prefix to existing errors.
- newPaths := make([]string, 0, len(fe.Paths))
- for _, oldPath := range fe.Paths {
- newPaths = append(newPaths, flatten(append(prefix, oldPath)))
- }
- newErr.Paths = newPaths
- for _, e := range fe.errors {
- newErr = newErr.Also(e.ViaField(prefix...))
- }
- return newErr
- }
- // ViaIndex is used to attach an index to the next ViaField provided.
- // For example, if a type recursively validates a parameter that has a collection:
- // for i, c := range spec.Collection {
- // if err := doValidation(c); err != nil {
- // return err.ViaIndex(i).ViaField("collection")
- // }
- // }
- func (fe *FieldError) ViaIndex(index int) *FieldError {
- return fe.ViaField(asIndex(index))
- }
- // ViaFieldIndex is the short way to chain: err.ViaIndex(bar).ViaField(foo)
- func (fe *FieldError) ViaFieldIndex(field string, index int) *FieldError {
- return fe.ViaIndex(index).ViaField(field)
- }
- // ViaKey is used to attach a key to the next ViaField provided.
- // For example, if a type recursively validates a parameter that has a collection:
- // for k, v := range spec.Bag. {
- // if err := doValidation(v); err != nil {
- // return err.ViaKey(k).ViaField("bag")
- // }
- // }
- func (fe *FieldError) ViaKey(key string) *FieldError {
- return fe.ViaField(asKey(key))
- }
- // ViaFieldKey is the short way to chain: err.ViaKey(bar).ViaField(foo)
- func (fe *FieldError) ViaFieldKey(field string, key string) *FieldError {
- return fe.ViaKey(key).ViaField(field)
- }
- // Also collects errors, returns a new collection of existing errors and new errors.
- func (fe *FieldError) Also(errs ...*FieldError) *FieldError {
- var newErr *FieldError
- // collect the current objects errors, if it has any
- if !fe.isEmpty() {
- newErr = fe.DeepCopy()
- } else {
- newErr = &FieldError{}
- }
- // and then collect the passed in errors
- for _, e := range errs {
- if !e.isEmpty() {
- newErr.errors = append(newErr.errors, *e)
- }
- }
- if newErr.isEmpty() {
- return nil
- }
- return newErr
- }
- func (fe *FieldError) isEmpty() bool {
- if fe == nil {
- return true
- }
- return fe.Message == "" && fe.Details == "" && len(fe.errors) == 0 && len(fe.Paths) == 0
- }
- func (fe *FieldError) getNormalizedErrors() []FieldError {
- // in case we call getNormalizedErrors on a nil object, return just an empty
- // list. This can happen when .Error() is called on a nil object.
- if fe == nil {
- return []FieldError(nil)
- }
- var errors []FieldError
- // if this FieldError is a leaf,
- if fe.Message != "" {
- err := FieldError{
- Message: fe.Message,
- Paths: fe.Paths,
- Details: fe.Details,
- }
- errors = append(errors, err)
- }
- // and then collect all other errors recursively.
- for _, e := range fe.errors {
- errors = append(errors, e.getNormalizedErrors()...)
- }
- return errors
- }
- // Error implements error
- func (fe *FieldError) Error() string {
- var errs []string
- // Get the list of errors as a flat merged list.
- normedErrors := merge(fe.getNormalizedErrors())
- for _, e := range normedErrors {
- if e.Details == "" {
- errs = append(errs, fmt.Sprintf("%v: %v", e.Message, strings.Join(e.Paths, ", ")))
- } else {
- errs = append(errs, fmt.Sprintf("%v: %v\n%v", e.Message, strings.Join(e.Paths, ", "), e.Details))
- }
- }
- return strings.Join(errs, "\n")
- }
- // Helpers ---
- func asIndex(index int) string {
- return fmt.Sprintf("[%d]", index)
- }
- func isIndex(part string) bool {
- return strings.HasPrefix(part, "[") && strings.HasSuffix(part, "]")
- }
- func asKey(key string) string {
- return fmt.Sprintf("[%s]", key)
- }
- // flatten takes in a array of path components and looks for chances to flatten
- // objects that have index prefixes, examples:
- // err([0]).ViaField(bar).ViaField(foo) -> foo.bar.[0] converts to foo.bar[0]
- // err(bar).ViaIndex(0).ViaField(foo) -> foo.[0].bar converts to foo[0].bar
- // err(bar).ViaField(foo).ViaIndex(0) -> [0].foo.bar converts to [0].foo.bar
- // err(bar).ViaIndex(0).ViaIndex[1].ViaField(foo) -> foo.[1].[0].bar converts to foo[1][0].bar
- func flatten(path []string) string {
- var newPath []string
- for _, part := range path {
- for _, p := range strings.Split(part, ".") {
- if p == CurrentField {
- continue
- } else if len(newPath) > 0 && isIndex(p) {
- newPath[len(newPath)-1] = fmt.Sprintf("%s%s", newPath[len(newPath)-1], p)
- } else {
- newPath = append(newPath, p)
- }
- }
- }
- return strings.Join(newPath, ".")
- }
- // mergePaths takes in two string slices and returns the combination of them
- // without any duplicate entries.
- func mergePaths(a, b []string) []string {
- newPaths := make([]string, 0, len(a)+len(b))
- newPaths = append(newPaths, a...)
- for _, bi := range b {
- if !containsString(newPaths, bi) {
- newPaths = append(newPaths, bi)
- }
- }
- return newPaths
- }
- // containsString takes in a string slice and looks for the provided string
- // within the slice.
- func containsString(slice []string, s string) bool {
- for _, item := range slice {
- if item == s {
- return true
- }
- }
- return false
- }
- // merge takes in a flat list of FieldErrors and returns back a merged list of
- // FiledErrors. FieldErrors have their Paths combined (and de-duped) if their
- // Message and Details are the same. Merge will not inspect FieldError.errors.
- // Merge will also sort the .Path slice, and the errors slice before returning.
- func merge(errs []FieldError) []FieldError {
- // make a map big enough for all the errors.
- m := make(map[string]FieldError, len(errs))
- // Convert errs to a map where the key is <message>-<details> and the value
- // is the error. If an error already exists in the map with the same key,
- // then the paths will be merged.
- for _, e := range errs {
- k := key(&e)
- if v, ok := m[k]; ok {
- // Found a match, merge the keys.
- v.Paths = mergePaths(v.Paths, e.Paths)
- m[k] = v
- } else {
- // Does not exist in the map, save the error.
- m[k] = e
- }
- }
- // Take the map made previously and flatten it back out again.
- newErrs := make([]FieldError, 0, len(m))
- for _, v := range m {
- // While we have access to the merged paths, sort them too.
- sort.Slice(v.Paths, func(i, j int) bool { return v.Paths[i] < v.Paths[j] })
- newErrs = append(newErrs, v)
- }
- // Sort the flattened map.
- sort.Slice(newErrs, func(i, j int) bool {
- if newErrs[i].Message == newErrs[j].Message {
- return newErrs[i].Details < newErrs[j].Details
- }
- return newErrs[i].Message < newErrs[j].Message
- })
- // return back the merged list of sorted errors.
- return newErrs
- }
- // key returns the key using the fields .Message and .Details.
- func key(err *FieldError) string {
- return fmt.Sprintf("%s-%s", err.Message, err.Details)
- }
- // Public helpers ---
- // ErrMissingField is a variadic helper method for constructing a FieldError for
- // a set of missing fields.
- func ErrMissingField(fieldPaths ...string) *FieldError {
- return &FieldError{
- Message: "missing field(s)",
- Paths: fieldPaths,
- }
- }
- // ErrDisallowedFields is a variadic helper method for constructing a FieldError
- // for a set of disallowed fields.
- func ErrDisallowedFields(fieldPaths ...string) *FieldError {
- return &FieldError{
- Message: "must not set the field(s)",
- Paths: fieldPaths,
- }
- }
- // ErrInvalidValue constructs a FieldError for a field that has received an
- // invalid string value.
- func ErrInvalidValue(value, fieldPath string) *FieldError {
- return &FieldError{
- Message: fmt.Sprintf("invalid value %q", value),
- Paths: []string{fieldPath},
- }
- }
- // ErrMissingOneOf is a variadic helper method for constructing a FieldError for
- // not having at least one field in a mutually exclusive field group.
- func ErrMissingOneOf(fieldPaths ...string) *FieldError {
- return &FieldError{
- Message: "expected exactly one, got neither",
- Paths: fieldPaths,
- }
- }
- // ErrMultipleOneOf is a variadic helper method for constructing a FieldError
- // for having more than one field set in a mutually exclusive field group.
- func ErrMultipleOneOf(fieldPaths ...string) *FieldError {
- return &FieldError{
- Message: "expected exactly one, got both",
- Paths: fieldPaths,
- }
- }
- // ErrInvalidKeyName is a variadic helper method for constructing a FieldError
- // that specifies a key name that is invalid.
- func ErrInvalidKeyName(value, fieldPath string, details ...string) *FieldError {
- return &FieldError{
- Message: fmt.Sprintf("invalid key name %q", value),
- Paths: []string{fieldPath},
- Details: strings.Join(details, ", "),
- }
- }
- // ErrOutOFBoundsValue constructs a FieldError for a field that has received an
- // out of bound value.
- func ErrOutOfBoundsValue(value, lower, upper, fieldPath string) *FieldError {
- return &FieldError{
- Message: fmt.Sprintf("expected %s <= %s <= %s", lower, value, upper),
- Paths: []string{fieldPath},
- }
- }
|