2016-12-20 16:26:49 -05:00
|
|
|
package schema
|
|
|
|
|
|
|
|
import (
|
2021-08-14 18:13:48 -04:00
|
|
|
"embed"
|
2016-12-20 16:26:49 -05:00
|
|
|
"fmt"
|
|
|
|
"strings"
|
|
|
|
"time"
|
|
|
|
|
2017-01-10 17:10:53 -05:00
|
|
|
"github.com/pkg/errors"
|
2016-12-20 16:26:49 -05:00
|
|
|
"github.com/xeipuuv/gojsonschema"
|
|
|
|
)
|
|
|
|
|
2017-01-10 17:10:53 -05:00
|
|
|
const (
|
2023-10-19 06:52:15 -04:00
|
|
|
defaultVersion = "3.12"
|
2017-01-10 17:10:53 -05:00
|
|
|
versionField = "version"
|
|
|
|
)
|
|
|
|
|
2016-12-20 16:26:49 -05:00
|
|
|
type portsFormatChecker struct{}
|
|
|
|
|
2023-11-20 12:04:36 -05:00
|
|
|
func (checker portsFormatChecker) IsFormat(_ any) bool {
|
2016-12-20 16:26:49 -05:00
|
|
|
// TODO: implement this
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
|
|
|
type durationFormatChecker struct{}
|
|
|
|
|
2023-11-20 12:04:36 -05:00
|
|
|
func (checker durationFormatChecker) IsFormat(input any) bool {
|
2019-04-12 20:56:09 -04:00
|
|
|
value, ok := input.(string)
|
|
|
|
if !ok {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
_, err := time.ParseDuration(value)
|
2016-12-20 16:26:49 -05:00
|
|
|
return err == nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func init() {
|
|
|
|
gojsonschema.FormatCheckers.Add("expose", portsFormatChecker{})
|
|
|
|
gojsonschema.FormatCheckers.Add("ports", portsFormatChecker{})
|
|
|
|
gojsonschema.FormatCheckers.Add("duration", durationFormatChecker{})
|
|
|
|
}
|
|
|
|
|
2021-08-16 08:00:37 -04:00
|
|
|
// Version returns the version of the config, defaulting to the latest "3.x"
|
2023-10-19 06:52:15 -04:00
|
|
|
// version (3.12). If only the major version "3" is specified, it is used as
|
2021-08-16 08:13:07 -04:00
|
|
|
// version "3.x" and returns the default version (latest 3.x).
|
2023-11-20 12:04:36 -05:00
|
|
|
func Version(config map[string]any) string {
|
2017-01-10 17:10:53 -05:00
|
|
|
version, ok := config[versionField]
|
|
|
|
if !ok {
|
|
|
|
return defaultVersion
|
|
|
|
}
|
|
|
|
return normalizeVersion(fmt.Sprintf("%v", version))
|
|
|
|
}
|
|
|
|
|
|
|
|
func normalizeVersion(version string) string {
|
|
|
|
switch version {
|
2021-08-16 08:13:07 -04:00
|
|
|
case "", "3":
|
2021-08-16 07:41:21 -04:00
|
|
|
return defaultVersion
|
2017-01-10 17:10:53 -05:00
|
|
|
default:
|
|
|
|
return version
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-08-14 18:13:48 -04:00
|
|
|
//go:embed data/config_schema_v*.json
|
|
|
|
var schemas embed.FS
|
|
|
|
|
2016-12-20 16:26:49 -05:00
|
|
|
// Validate uses the jsonschema to validate the configuration
|
2023-11-20 12:04:36 -05:00
|
|
|
func Validate(config map[string]any, version string) error {
|
2021-08-16 07:41:21 -04:00
|
|
|
version = normalizeVersion(version)
|
2021-08-14 18:13:48 -04:00
|
|
|
schemaData, err := schemas.ReadFile("data/config_schema_v" + version + ".json")
|
2016-12-20 16:26:49 -05:00
|
|
|
if err != nil {
|
2017-01-10 17:10:53 -05:00
|
|
|
return errors.Errorf("unsupported Compose file version: %s", version)
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
schemaLoader := gojsonschema.NewStringLoader(string(schemaData))
|
|
|
|
dataLoader := gojsonschema.NewGoLoader(config)
|
|
|
|
|
|
|
|
result, err := gojsonschema.Validate(schemaLoader, dataLoader)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
if !result.Valid() {
|
|
|
|
return toError(result)
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func toError(result *gojsonschema.Result) error {
|
|
|
|
err := getMostSpecificError(result.Errors())
|
2017-01-19 16:48:30 -05:00
|
|
|
return err
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
|
|
|
|
2017-01-27 16:56:45 -05:00
|
|
|
const (
|
|
|
|
jsonschemaOneOf = "number_one_of"
|
|
|
|
jsonschemaAnyOf = "number_any_of"
|
|
|
|
)
|
|
|
|
|
2017-01-19 16:48:30 -05:00
|
|
|
func getDescription(err validationError) string {
|
|
|
|
switch err.parent.Type() {
|
|
|
|
case "invalid_type":
|
|
|
|
if expectedType, ok := err.parent.Details()["expected"].(string); ok {
|
2016-12-20 16:26:49 -05:00
|
|
|
return fmt.Sprintf("must be a %s", humanReadableType(expectedType))
|
|
|
|
}
|
2017-01-27 16:56:45 -05:00
|
|
|
case jsonschemaOneOf, jsonschemaAnyOf:
|
2017-01-19 16:48:30 -05:00
|
|
|
if err.child == nil {
|
|
|
|
return err.parent.Description()
|
|
|
|
}
|
|
|
|
return err.child.Description()
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
2017-01-19 16:48:30 -05:00
|
|
|
return err.parent.Description()
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
func humanReadableType(definition string) string {
|
|
|
|
if definition[0:1] == "[" {
|
|
|
|
allTypes := strings.Split(definition[1:len(definition)-1], ",")
|
|
|
|
for i, t := range allTypes {
|
|
|
|
allTypes[i] = humanReadableType(t)
|
|
|
|
}
|
|
|
|
return fmt.Sprintf(
|
|
|
|
"%s or %s",
|
|
|
|
strings.Join(allTypes[0:len(allTypes)-1], ", "),
|
|
|
|
allTypes[len(allTypes)-1],
|
|
|
|
)
|
|
|
|
}
|
|
|
|
if definition == "object" {
|
|
|
|
return "mapping"
|
|
|
|
}
|
|
|
|
if definition == "array" {
|
|
|
|
return "list"
|
|
|
|
}
|
|
|
|
return definition
|
|
|
|
}
|
|
|
|
|
2017-01-19 16:48:30 -05:00
|
|
|
type validationError struct {
|
|
|
|
parent gojsonschema.ResultError
|
|
|
|
child gojsonschema.ResultError
|
|
|
|
}
|
|
|
|
|
|
|
|
func (err validationError) Error() string {
|
|
|
|
description := getDescription(err)
|
|
|
|
return fmt.Sprintf("%s %s", err.parent.Field(), description)
|
|
|
|
}
|
|
|
|
|
2023-11-20 11:38:50 -05:00
|
|
|
func getMostSpecificError(errs []gojsonschema.ResultError) validationError {
|
2017-01-19 16:48:30 -05:00
|
|
|
mostSpecificError := 0
|
2023-11-20 11:38:50 -05:00
|
|
|
for i, err := range errs {
|
|
|
|
if specificity(err) > specificity(errs[mostSpecificError]) {
|
2017-01-19 16:48:30 -05:00
|
|
|
mostSpecificError = i
|
|
|
|
continue
|
|
|
|
}
|
2016-12-20 16:26:49 -05:00
|
|
|
|
2023-11-20 11:38:50 -05:00
|
|
|
if specificity(err) == specificity(errs[mostSpecificError]) {
|
2016-12-20 16:26:49 -05:00
|
|
|
// Invalid type errors win in a tie-breaker for most specific field name
|
2023-11-20 11:38:50 -05:00
|
|
|
if err.Type() == "invalid_type" && errs[mostSpecificError].Type() != "invalid_type" {
|
2017-01-19 16:48:30 -05:00
|
|
|
mostSpecificError = i
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-20 11:38:50 -05:00
|
|
|
if mostSpecificError+1 == len(errs) {
|
|
|
|
return validationError{parent: errs[mostSpecificError]}
|
2017-01-19 16:48:30 -05:00
|
|
|
}
|
|
|
|
|
2023-11-20 11:38:50 -05:00
|
|
|
switch errs[mostSpecificError].Type() {
|
2017-01-19 16:48:30 -05:00
|
|
|
case "number_one_of", "number_any_of":
|
|
|
|
return validationError{
|
2023-11-20 11:38:50 -05:00
|
|
|
parent: errs[mostSpecificError],
|
|
|
|
child: errs[mostSpecificError+1],
|
2017-01-19 16:48:30 -05:00
|
|
|
}
|
|
|
|
default:
|
2023-11-20 11:38:50 -05:00
|
|
|
return validationError{parent: errs[mostSpecificError]}
|
2017-01-19 16:48:30 -05:00
|
|
|
}
|
2016-12-20 16:26:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
func specificity(err gojsonschema.ResultError) int {
|
|
|
|
return len(strings.Split(err.Field(), "."))
|
|
|
|
}
|