encoding/jsonschema: close structs and mark fields as required in enum and const

The validation of the keywords `enum` and `const` should succeed only
when the values of structs are exactly the same.

This closes structs and marks the fields as required.

Fixes #3561

Change-Id: Ib27dc1edd52e13ef1d4153bec3ccfd0af6e7808b
Signed-off-by: haoqixu <hq.xu0o0@gmail.com>
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1204477
Reviewed-by: Roger Peppe <rogpeppe@gmail.com>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>

Author: haoqixu

encoding/jsonschema/constraints_generic.go

@@ -61,7 +61,7 @@ func constraintComment(key string, n cue.Value, s *state) {
 }
 
 func constraintConst(key string, n cue.Value, s *state) {
-	s.all.add(n, s.value(n))
+	s.all.add(n, s.constValue(n))
 	s.allowedTypes &= n.Kind()
 	s.knownTypes &= n.Kind()
 }
@@ -93,7 +93,7 @@ func constraintEnum(key string, n cue.Value, s *state) {
 			// not in the allowed type set.
 			continue
 		}
-		a = append(a, s.value(x))
+		a = append(a, s.constValue(x))
 		types |= x.Kind()
 	}
 	s.knownTypes &= types

encoding/jsonschema/decode.go

@@ -801,6 +801,34 @@ func (s0 *state) schemaState(n cue.Value, types cue.Kind, idRef []label) (ast.Ex
 	return s.finalize(), s
 }
 
+func (s *state) constValue(n cue.Value) ast.Expr {
+	k := n.Kind()
+	switch k {
+	case cue.ListKind:
+		a := []ast.Expr{}
+		for i, _ := n.List(); i.Next(); {
+			a = append(a, s.constValue(i.Value()))
+		}
+		return setPos(ast.NewList(a...), n)
+
+	case cue.StructKind:
+		a := []ast.Decl{}
+		s.processMap(n, func(key string, n cue.Value) {
+			a = append(a, &ast.Field{
+				Label:      ast.NewString(key),
+				Value:      s.constValue(n),
+				Constraint: token.NOT,
+			})
+		})
+		return setPos(ast.NewCall(ast.NewIdent("close"), &ast.StructLit{Elts: a}), n)
+	default:
+		if !n.IsConcrete() {
+			s.errf(n, "invalid non-concrete value")
+		}
+		return n.Syntax(cue.Final()).(ast.Expr)
+	}
+}
+
 func (s *state) value(n cue.Value) ast.Expr {
 	k := n.Kind()
 	switch k {

encoding/jsonschema/external_teststats.txt

@@ -1,13 +1,13 @@
 # Generated by CUE_UPDATE=1 go test. DO NOT EDIT
 v2:
 	schema extract (pass / total): 1013 / 1363 = 74.3%
-	tests (pass / total): 3646 / 4803 = 75.9%
-	tests on extracted schemas (pass / total): 3646 / 3865 = 94.3%
+	tests (pass / total): 3659 / 4803 = 76.2%
+	tests on extracted schemas (pass / total): 3659 / 3865 = 94.7%
 
 v3:
 	schema extract (pass / total): 1013 / 1363 = 74.3%
-	tests (pass / total): 3636 / 4803 = 75.7%
-	tests on extracted schemas (pass / total): 3636 / 3865 = 94.1%
+	tests (pass / total): 3649 / 4803 = 76.0%
+	tests on extracted schemas (pass / total): 3649 / 3865 = 94.4%
 
 Optional tests
 

encoding/jsonschema/testdata/external/tests/draft2019-09/const.json

@@ -54,11 +54,7 @@
 				"data": {
 					"foo": "bar"
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			},
 			{
 				"description": "another type is invalid",

encoding/jsonschema/testdata/external/tests/draft2019-09/enum.json

@@ -67,11 +67,7 @@
 					"foo": 12,
 					"boo": 42
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			}
 		]
 	},

encoding/jsonschema/testdata/external/tests/draft2019-09/ref.json

@@ -665,11 +665,7 @@
 				"data": {
 					"type": "string"
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			},
 			{
 				"description": "match the enum exactly",

encoding/jsonschema/testdata/external/tests/draft2020-12/const.json

@@ -54,11 +54,7 @@
 				"data": {
 					"foo": "bar"
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			},
 			{
 				"description": "another type is invalid",

encoding/jsonschema/testdata/external/tests/draft2020-12/enum.json

@@ -67,11 +67,7 @@
 					"foo": 12,
 					"boo": 42
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			}
 		]
 	},

encoding/jsonschema/testdata/external/tests/draft2020-12/ref.json

@@ -665,11 +665,7 @@
 				"data": {
 					"type": "string"
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			},
 			{
 				"description": "match the enum exactly",

encoding/jsonschema/testdata/external/tests/draft4/enum.json

@@ -65,11 +65,7 @@
 					"foo": 12,
 					"boo": 42
 				},
-				"valid": false,
-				"skip": {
-					"v2": "unexpected success",
-					"v3": "unexpected success"
-				}
+				"valid": false
 			}
 		]
 	},