Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 1 | // Copyright 2020 CUE Authors |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
| 15 | // Package jsonschema implements the JSON schema standard. |
| 16 | // |
| 17 | // Mapping and Linking |
| 18 | // |
| 19 | // JSON Schema are often defined in a single file. CUE, on the other hand |
| 20 | // idomatically defines schema as a definition. |
| 21 | // |
| 22 | // CUE: |
| 23 | // $schema: which schema is used for validation. |
| 24 | // $id: which validation does this schema provide. |
| 25 | // |
| 26 | // Foo: _ @jsonschema(sc) |
| 27 | // @source(https://...) // What schema is used to validate. |
| 28 | // |
| 29 | // NOTE: JSON Schema is a draft standard and may undergo backwards incompatible |
| 30 | // changes. |
| 31 | package jsonschema |
| 32 | |
| 33 | import ( |
| 34 | "cuelang.org/go/cue" |
| 35 | "cuelang.org/go/cue/ast" |
Marcel van Lohuizen | 671b956 | 2020-03-10 12:42:45 +0100 | [diff] [blame] | 36 | "cuelang.org/go/cue/token" |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 37 | ) |
| 38 | |
| 39 | // Extract converts JSON Schema data into an equivalent CUE representation. |
| 40 | // |
| 41 | // The generated CUE schema is guaranteed to deem valid any value that is |
| 42 | // a valid instance of the source JSON schema. |
Marcel van Lohuizen | 671b956 | 2020-03-10 12:42:45 +0100 | [diff] [blame] | 43 | func Extract(data *cue.Instance, cfg *Config) (f *ast.File, err error) { |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 44 | d := &decoder{ |
| 45 | cfg: cfg, |
| 46 | imports: map[string]*ast.Ident{}, |
| 47 | } |
Marcel van Lohuizen | 671b956 | 2020-03-10 12:42:45 +0100 | [diff] [blame] | 48 | |
| 49 | f = d.decode(data.Value()) |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 50 | if d.errs != nil { |
| 51 | return nil, d.errs |
| 52 | } |
Marcel van Lohuizen | 671b956 | 2020-03-10 12:42:45 +0100 | [diff] [blame] | 53 | return f, nil |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | // A Config configures a JSON Schema encoding or decoding. |
| 57 | type Config struct { |
Marcel van Lohuizen | bd98b13 | 2020-03-05 15:38:21 +0100 | [diff] [blame] | 58 | PkgName string |
| 59 | |
Marcel van Lohuizen | 0059b2b | 2020-04-14 15:31:11 +0200 | [diff] [blame] | 60 | // ID sets the URL of the original source, corresponding to the $id field. |
| 61 | ID string |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 62 | |
Marcel van Lohuizen | 671b956 | 2020-03-10 12:42:45 +0100 | [diff] [blame] | 63 | // JSON reference of location containing schema. The empty string indicates |
| 64 | // that there is a single schema at the root. |
| 65 | // |
| 66 | // Examples: |
| 67 | // "#/" top-level fields are schemas. |
| 68 | // "#/components/schemas" the canonical OpenAPI location. |
| 69 | Root string |
| 70 | |
| 71 | // Map maps the locations of schemas and definitions to a new location. |
| 72 | // References are updated accordingly. |
| 73 | // |
| 74 | // The default mapping is |
| 75 | // {} {"Schema"} |
| 76 | // {"definitions", foo} {"Defs", strings.Title(foo)} |
| 77 | // {"$defs", foo} {"Defs", strings.Title(foo)} |
| 78 | Map func(pos token.Pos, path []string) ([]string, error) |
| 79 | |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 80 | // TODO: configurability to make it compatible with OpenAPI, such as |
| 81 | // - locations of definitions: #/components/schemas, for instance. |
| 82 | // - selection and definition of formats |
| 83 | // - documentation hooks. |
| 84 | |
Marcel van Lohuizen | 0059b2b | 2020-04-14 15:31:11 +0200 | [diff] [blame] | 85 | // Strict reports an error for unsupported features, rather than ignoring |
| 86 | // them. |
| 87 | Strict bool |
| 88 | |
Marcel van Lohuizen | 47d9870 | 2020-01-17 21:51:39 +0100 | [diff] [blame] | 89 | _ struct{} // prohibit casting from different type. |
| 90 | } |