1#![feature(box_syntax, box_patterns)]2#![feature(type_alias_impl_trait)]3#![feature(debug_non_exhaustive)]4#![allow(macro_expanded_macro_exports_accessed_by_absolute_paths)]5mod ctx;6mod dynamic;7mod evaluate;8mod obj;9mod val;1011pub use ctx::*;12pub use dynamic::*;13pub use evaluate::*;14use jsonnet_parser::*;15pub use obj::*;16pub use val::*;1718rc_fn_helper!(19 Binding,20 binding,21 dyn Fn(Option<ObjValue>, Option<ObjValue>) -> Val22);23rc_fn_helper!(24 LazyBinding,25 lazy_binding,26 dyn Fn(Option<ObjValue>, Option<ObjValue>) -> LazyVal27);28rc_fn_helper!(FunctionRhs, function_rhs, dyn Fn(Context) -> Val);29rc_fn_helper!(30 FunctionDefault,31 function_default,32 dyn Fn(Context, Expr) -> Val33);3435#[cfg(test)]36pub mod tests {37 use super::{evaluate, Context, Val};38 use jsonnet_parser::*;3940 macro_rules! eval {41 ($str: expr) => {42 evaluate(Context::new(), &parse($str).unwrap())43 };44 }4546 macro_rules! eval_stdlib {47 ($str: expr) => {{48 let std = "local std = ".to_owned() + jsonnet_stdlib::STDLIB_STR + ";";49 evaluate(Context::new(), &parse(&(std + $str)).unwrap())50 }};51 }5253 macro_rules! assert_eval {54 ($str: expr) => {55 assert_eq!(56 evaluate(Context::new(), &parse($str).unwrap()),57 Val::Literal(LiteralType::True)58 )59 };60 }61 macro_rules! assert_json {62 ($str: expr, $out: expr) => {63 assert_eq!(64 format!("{}", evaluate(Context::new(), &parse($str).unwrap())),65 $out66 )67 };68 }69 macro_rules! assert_json_stdlib {70 ($str: expr, $out: expr) => {71 assert_eq!(format!("{}", eval_stdlib!($str)), $out)72 };73 }74 macro_rules! assert_eval_neg {75 ($str: expr) => {76 assert_eq!(77 evaluate(Context::new(), &parse($str).unwrap()),78 Val::Literal(LiteralType::False)79 )80 };81 }8283 84 #[test]85 fn equality_operator() {86 assert_eval!("2 == 2");87 assert_eval_neg!("2 != 2");88 assert_eval!("2 != 3");89 assert_eval_neg!("2 == 3");90 assert_eval!("'Hello' == 'Hello'");91 assert_eval_neg!("'Hello' != 'Hello'");92 assert_eval!("'Hello' != 'World'");93 assert_eval_neg!("'Hello' == 'World'");94 }9596 #[test]97 fn math_evaluation() {98 assert_eval!("2 + 2 * 2 == 6");99 assert_eval!("3 + (2 + 2 * 2) == 9");100 }101102 #[test]103 fn string_concat() {104 assert_eval!("'Hello' + 'World' == 'HelloWorld'");105 assert_eval!("'Hello' * 3 == 'HelloHelloHello'");106 assert_eval!("'Hello' + 'World' * 3 == 'HelloWorldWorldWorld'");107 }108109 #[test]110 fn local() {111 assert_eval!("local a = 2; local b = 3; a + b == 5");112 assert_eval!("local a = 1, b = a + 1; a + b == 3");113 assert_eval!("local a = 1; local a = 2; a == 2");114 }115116 #[test]117 fn object_lazyness() {118 assert_json!("local a = {a:error 'test'}; {}", r#"{}"#);119 }120121 #[test]122 fn object_inheritance() {123 assert_json!("{a: self.b} + {b:3}", r#"{"a":3,"b":3}"#);124 }125126 #[test]127 fn test_object() {128 assert_json!("{a:2}", r#"{"a":2}"#);129 assert_json!("{a:2+2}", r#"{"a":4}"#);130 assert_json!("{a:2}+{b:2}", r#"{"a":2,"b":2}"#);131 assert_json!("{b:3}+{b:2}", r#"{"b":2}"#);132 assert_json!("{b:3}+{b+:2}", r#"{"b":5}"#);133 assert_json!("local test='a'; {[test]:2}", r#"{"a":2}"#);134 assert_json!(135 r#"136 {137 name: "Alice",138 welcome: "Hello " + self.name + "!",139 }140 "#,141 r#"{"name":"Alice","welcome":"Hello Alice!"}"#142 );143 assert_json!(144 r#"145 {146 name: "Alice",147 welcome: "Hello " + self.name + "!",148 } + {149 name: "Bob"150 }151 "#,152 r#"{"name":"Bob","welcome":"Hello Bob!"}"#153 );154 }155156 #[test]157 fn functions() {158 assert_json!(r#"local a = function(b, c = 2) b + c; a(2)"#, "4");159 assert_json!(160 r#"local a = function(b, c = "Dear") b + c + d, d = "World"; a("Hello")"#,161 r#""HelloDearWorld""#162 );163 }164165 #[test]166 fn local_methods() {167 assert_json!(r#"local a(b, c = 2) = b + c; a(2)"#, "4");168 assert_json!(169 r#"local a(b, c = "Dear") = b + c + d, d = "World"; a("Hello")"#,170 r#""HelloDearWorld""#171 );172 }173174 #[test]175 fn object_locals() {176 assert_json!(r#"{local a = 3, b: a}"#, r#"{"b":3}"#);177 assert_json!(r#"{local a = 3, local c = a, b: c}"#, r#"{"b":3}"#);178 assert_json!(179 r#"{local a = function (b) {[b]:4}, test: a("test")}"#,180 r#"{"test":{"test":4}}"#181 );182 }183184 #[test]185 fn direct_self() {186 println!(187 "{:#?}",188 eval!(189 r#"190 {191 local me = self,192 a: 3,193 b(): me.a,194 }195 "#196 )197 );198 }199200 #[test]201 fn indirect_self() {202 203 204 eval_stdlib!(205 r#"{206 local me = self,207 a: 3,208 b: me.a,209 }.b"#210 );211 }212213 214 #[test]215 fn std_assert_ok() {216 eval_stdlib!("std.assertEqual(4.5 << 2, 16)");217 }218219 #[test]220 #[should_panic]221 fn std_assert_failure() {222 eval_stdlib!("std.assertEqual(4.5 << 2, 15)");223 }224225 #[test]226 fn string_is_string() {227 assert_eq!(228 eval_stdlib!("local arr = 'hello'; (!std.isArray(arr)) && (!std.isString(arr))"),229 Val::Literal(LiteralType::False)230 );231 }232233 #[test]234 fn base64_works() {235 assert_json_stdlib!(r#"std.base64("test")"#, r#""dGVzdA==""#);236 }237238 #[test]239 fn utf8_chars() {240 assert_json_stdlib!(241 r#"local c="😎";{c:std.codepoint(c),l:std.length(c)}"#,242 r#"{"c":128526,"l":1}"#243 )244 }245}