| // Issues: #667, #695, #622 |
| |
| // Comparing against bottom is not officially supported by the spec. |
| // In practice it is used for a variety of purposes. |
| // |
| // TODO: It should really be replaced with two builtins: |
| // |
| // - exists(reference): check if a certain field exists. |
| // - isvalid(value): check if a certain value is valid (recursively). |
| // |
| // For now it implements something in between these two: it fails if a value |
| // resolves to an error, but not necessarily if it does so recursively. |
| // Although adding a recursive check is easy, it will break existing |
| // configurations, as a recursive evaluation will trigger cycles where these |
| // are perhaps not expected. |
| |
| // To verify these tests, each result should have a field |
| // |
| // X: "user@example.com" |
| // |
| // for the large and medium examples and |
| // |
| // X: "message: hello" |
| // |
| // for the simple example. |
| // |
| // These are not automatically tested using CUE to avoid interfering with the |
| // evaluation. |
| |
| -- in.cue -- |
| import "regexp" |
| |
| simple: { |
| #message: #"^(message: (?P<message>.*))?$"# |
| |
| |
| p1: { |
| X: "message: hello" |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: #aux.message |
| } |
| |
| p2: { |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| X: "message: hello" |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: #aux.message |
| } |
| |
| p3: { |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: "message: hello" |
| X: #aux.message |
| } |
| |
| p4: { |
| X: #aux.message |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: "message: hello" |
| } |
| |
| p5: { |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| X: #aux.message |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: "message: hello" |
| } |
| |
| p6: { |
| #aux: { |
| if Y.message == _|_ { |
| message: "" |
| } |
| if Y.message != _|_ { |
| message: "message: " + Y.message |
| } |
| } |
| |
| Y: regexp.FindNamedSubmatch(#message, X) |
| X: #aux.message |
| X: "message: hello" |
| } |
| } |
| |
| medium: { |
| #userHostPort: #"^((?P<userinfo>[[:alnum:]]*)@)?(?P<host>[[:alnum:].]+)$"# |
| |
| p1: { |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| |
| X: #X.userinfo + #X.host |
| |
| #X: { |
| if Y.userinfo == _|_ { |
| userinfo: "" |
| } |
| if Y.userinfo != _|_ { |
| userinfo: Y.userinfo + "@" |
| } |
| |
| host: Y.host |
| } |
| |
| Y: { |
| if #Y.userinfo != _|_ { |
| userinfo: #Y.userinfo |
| } |
| |
| host: #Y.host |
| } |
| |
| #Y: regexp.FindNamedSubmatch(#userHostPort, X) |
| } |
| |
| p2: { |
| X: #X.userinfo + #X.host |
| |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| |
| #X: { |
| if Y.userinfo == _|_ { |
| userinfo: "" |
| } |
| if Y.userinfo != _|_ { |
| userinfo: Y.userinfo + "@" |
| } |
| |
| host: Y.host |
| } |
| |
| Y: { |
| if #Y.userinfo != _|_ { |
| userinfo: #Y.userinfo |
| } |
| |
| host: #Y.host |
| } |
| |
| #Y: regexp.FindNamedSubmatch(#userHostPort, X) |
| } |
| |
| p3: { |
| X: #X.userinfo + #X.host |
| |
| #X: { |
| if Y.userinfo == _|_ { |
| userinfo: "" |
| } |
| if Y.userinfo != _|_ { |
| userinfo: Y.userinfo + "@" |
| } |
| |
| host: Y.host |
| } |
| |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| |
| Y: { |
| if #Y.userinfo != _|_ { |
| userinfo: #Y.userinfo |
| } |
| |
| host: #Y.host |
| } |
| |
| #Y: regexp.FindNamedSubmatch(#userHostPort, X) |
| } |
| |
| p4: { |
| X: #X.userinfo + #X.host |
| |
| #X: { |
| if Y.userinfo == _|_ { |
| userinfo: "" |
| } |
| if Y.userinfo != _|_ { |
| userinfo: Y.userinfo + "@" |
| } |
| |
| host: Y.host |
| } |
| |
| Y: { |
| if #Y.userinfo != _|_ { |
| userinfo: #Y.userinfo |
| } |
| |
| host: #Y.host |
| } |
| |
| #Y: regexp.FindNamedSubmatch(#userHostPort, X) |
| |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| } |
| } |
| -- out/eval -- |
| (struct){ |
| simple: (struct){ |
| #message: (string){ "^(message: (?P<message>.*))?$" } |
| p1: (struct){ |
| X: (string){ "message: hello" } |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| } |
| p2: (struct){ |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| X: (string){ "message: hello" } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| } |
| p3: (struct){ |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| X: (string){ "message: hello" } |
| } |
| p4: (struct){ |
| X: (string){ "message: hello" } |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| } |
| p5: (struct){ |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| X: (string){ "message: hello" } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| } |
| p6: (struct){ |
| #aux: (#struct){ |
| message: (string){ "message: hello" } |
| } |
| Y: (struct){ |
| message: (string){ "hello" } |
| } |
| X: (string){ "message: hello" } |
| } |
| } |
| medium: (struct){ |
| #userHostPort: (string){ "^((?P<userinfo>[[:alnum:]]*)@)?(?P<host>[[:alnum:].]+)$" } |
| p1: (struct){ |
| Y: (struct){ |
| userinfo: (string){ "user" } |
| host: (string){ "example.com" } |
| } |
| X: (string){ "user@example.com" } |
| #X: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user@" } |
| } |
| #Y: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user" } |
| } |
| } |
| p2: (struct){ |
| X: (string){ "user@example.com" } |
| Y: (struct){ |
| userinfo: (string){ "user" } |
| host: (string){ "example.com" } |
| } |
| #X: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user@" } |
| } |
| #Y: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user" } |
| } |
| } |
| p3: (struct){ |
| X: (string){ "user@example.com" } |
| #X: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user@" } |
| } |
| Y: (struct){ |
| userinfo: (string){ "user" } |
| host: (string){ "example.com" } |
| } |
| #Y: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user" } |
| } |
| } |
| p4: (struct){ |
| X: (string){ "user@example.com" } |
| #X: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user@" } |
| } |
| Y: (struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user" } |
| } |
| #Y: (#struct){ |
| host: (string){ "example.com" } |
| userinfo: (string){ "user" } |
| } |
| } |
| } |
| } |
| -- out/compile -- |
| --- in.cue |
| { |
| simple: { |
| #message: "^(message: (?P<message>.*))?$" |
| p1: { |
| X: "message: hello" |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: 〈0;#aux〉.message |
| } |
| p2: { |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| X: "message: hello" |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: 〈0;#aux〉.message |
| } |
| p3: { |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: "message: hello" |
| X: 〈0;#aux〉.message |
| } |
| p4: { |
| X: 〈0;#aux〉.message |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: "message: hello" |
| } |
| p5: { |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| X: 〈0;#aux〉.message |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: "message: hello" |
| } |
| p6: { |
| #aux: { |
| if (〈1;Y〉.message == _|_(explicit error (_|_ literal) in source)) { |
| message: "" |
| } |
| if (〈1;Y〉.message != _|_(explicit error (_|_ literal) in source)) { |
| message: ("message: " + 〈2;Y〉.message) |
| } |
| } |
| Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#message〉, 〈0;X〉) |
| X: 〈0;#aux〉.message |
| X: "message: hello" |
| } |
| } |
| medium: { |
| #userHostPort: "^((?P<userinfo>[[:alnum:]]*)@)?(?P<host>[[:alnum:].]+)$" |
| p1: { |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| X: (〈0;#X〉.userinfo + 〈0;#X〉.host) |
| #X: { |
| if (〈1;Y〉.userinfo == _|_(explicit error (_|_ literal) in source)) { |
| userinfo: "" |
| } |
| if (〈1;Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: (〈2;Y〉.userinfo + "@") |
| } |
| host: 〈1;Y〉.host |
| } |
| Y: { |
| if (〈1;#Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: 〈2;#Y〉.userinfo |
| } |
| host: 〈1;#Y〉.host |
| } |
| #Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#userHostPort〉, 〈0;X〉) |
| } |
| p2: { |
| X: (〈0;#X〉.userinfo + 〈0;#X〉.host) |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| #X: { |
| if (〈1;Y〉.userinfo == _|_(explicit error (_|_ literal) in source)) { |
| userinfo: "" |
| } |
| if (〈1;Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: (〈2;Y〉.userinfo + "@") |
| } |
| host: 〈1;Y〉.host |
| } |
| Y: { |
| if (〈1;#Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: 〈2;#Y〉.userinfo |
| } |
| host: 〈1;#Y〉.host |
| } |
| #Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#userHostPort〉, 〈0;X〉) |
| } |
| p3: { |
| X: (〈0;#X〉.userinfo + 〈0;#X〉.host) |
| #X: { |
| if (〈1;Y〉.userinfo == _|_(explicit error (_|_ literal) in source)) { |
| userinfo: "" |
| } |
| if (〈1;Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: (〈2;Y〉.userinfo + "@") |
| } |
| host: 〈1;Y〉.host |
| } |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| Y: { |
| if (〈1;#Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: 〈2;#Y〉.userinfo |
| } |
| host: 〈1;#Y〉.host |
| } |
| #Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#userHostPort〉, 〈0;X〉) |
| } |
| p4: { |
| X: (〈0;#X〉.userinfo + 〈0;#X〉.host) |
| #X: { |
| if (〈1;Y〉.userinfo == _|_(explicit error (_|_ literal) in source)) { |
| userinfo: "" |
| } |
| if (〈1;Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: (〈2;Y〉.userinfo + "@") |
| } |
| host: 〈1;Y〉.host |
| } |
| Y: { |
| if (〈1;#Y〉.userinfo != _|_(explicit error (_|_ literal) in source)) { |
| userinfo: 〈2;#Y〉.userinfo |
| } |
| host: 〈1;#Y〉.host |
| } |
| #Y: 〈import;regexp〉.FindNamedSubmatch(〈1;#userHostPort〉, 〈0;X〉) |
| Y: { |
| userinfo: "user" |
| host: "example.com" |
| } |
| } |
| } |
| } |
