git.delta.rocks / jrsonnet / refs/commits / 5ac33cfd81f9

1/cpp_test_suite1/cpp_test_suite
2/go_testdata
23

1[package]1[package]
2name = "tests"2name = "tests"
3version = "0.1.0"3version = "0.1.0"
4edition = "2021"4edition = "2024"
5publish = false5publish = false
66
7[lints]7[lints]

1runtime error: tried to manifest function1infinite recursion detected
2    error.function_infinite_default.jsonnet:17:17-19: local <x> access
3    error.function_infinite_default.jsonnet:17:12-14: local <y> access
4    error.function_infinite_default.jsonnet:17:20-22: local <x> access
5    during TLA call

1runtime error: tried to manifest function1function argument is not passed: a
2Function has the following signature: (a = <default>, b)
3    during TLA call

1runtime error: tried to manifest function1function argument is not passed: name
2Function has the following signature: (name)
3    during TLA call

5};5};
66
7use jrsonnet_evaluator::{7use jrsonnet_evaluator::{
8	apply_tla,8	FileImportResolver, IStr, ObjValueBuilder, State, Val, apply_tla,
9	function::TlaArg,9	function::TlaArg,
10	gc::WithCapacityExt as _,10	gc::WithCapacityExt as _,
11	manifest::JsonFormat,11	manifest::JsonFormat,
12	rustc_hash::FxHashMap,12	rustc_hash::FxHashMap,
13	trace::{CompactFormat, PathResolver, TraceFormat},13	trace::{CompactFormat, PathResolver, TraceFormat},
14	FileImportResolver, IStr, ObjValueBuilder, State, Val,
15};14};
16use jrsonnet_stdlib::ContextInitializer;15use jrsonnet_stdlib::ContextInitializer;
17mod common;16mod common;
21	let mut s = State::builder();20	let mut s = State::builder();
2221
23	let std_context = ContextInitializer::new(PathResolver::Relative(root.to_owned()));22	let std_context = ContextInitializer::new(PathResolver::Relative(root.to_owned()));
23	// C++ test suite
24	std_context.add_ext_str("var1".into(), "test".into());24	std_context.add_ext_str("var1".into(), "test".into());
25	std_context25	std_context
26		.add_ext_code("var2".into(), "{x:1,y:2}")26		.add_ext_code("var2".into(), "{x:1,y:2}")
27		.expect("code is valid");27		.expect("code is valid");
28
29	// Golang test suite
30	std_context
31		.add_ext_code("codeVar".into(), "3+3")
32		.expect("code is valid");
33	std_context.add_ext_str("stringVar".into(), "2 + 2".into());
34	std_context
35		.add_ext_code(
36			"selfRecursiveVar".into(),
37			r#"[42, std.extVar("selfRecursiveVar")[0] + 1]"#,
38		)
39		.expect("code is valid");
40	std_context
41		.add_ext_code(
42			"mutuallyRecursiveVar1".into(),
43			r#"[42, std.extVar("mutuallyRecursiveVar2")[0] + 1]"#,
44		)
45		.expect("code is valid");
46	std_context
47		.add_ext_code(
48			"mutuallyRecursiveVar2".into(),
49			r#"[42, std.extVar("mutuallyRecursiveVar1")[0] + 1]"#,
50		)
51		.expect("code is valid");
2852
29	s.context_initializer((std_context, TestContextInitializer))53	s.context_initializer((std_context, TestContextInitializer))
30		.import_resolver(FileImportResolver::default());54		.import_resolver(FileImportResolver::default());
64			}),88			}),
65		);89		);
66		v = apply_tla(&args, v).expect("failed to apply tla");90		v = apply_tla(&args, v).expect("failed to apply tla");
67	}91	} else {
92		v = match apply_tla(&FxHashMap::new(), v) {
93			Ok(v) => v,
94			Err(e) => return trace_format.format(&e).unwrap(),
95		};
96	}
6897
69	match v.manifest(JsonFormat::default()) {98	match v.manifest(JsonFormat::default()) {
70		Ok(v) => v,99		Ok(v) => v,
81}110}
82111
83const SKIPPED: &[&str] = &[112const SKIPPED: &[&str] = &[
113	// C++ tests:
114
84	// Parser fails with stack overflow. While is a bug, this is a too unusual115	// Parser fails with stack overflow. While is a bug, this is a too unusual
85	// thing to run untrusted jsonnet code? Will be fixed with nom/rowan.116	// thing to run untrusted jsonnet code? Will be fixed with nom/rowan.
86	"error.parse.deep_array_nesting.jsonnet",117	"error.parse.deep_array_nesting.jsonnet",
87	// Runtime error in jrsonnet118	// Runtime, not static error in jrsonnet
88	"error.parse.object_local_clash.jsonnet",119	"error.parse.object_local_clash.jsonnet",
120	"error.function_duplicate_param.jsonnet",
89	// Too slow to throw due to how lazyness is implemented in jrsonnet121	// Too slow to throw due to how lazyness is implemented in jrsonnet
90	"error.recursive_object_non_term.jsonnet",122	"error.recursive_object_non_term.jsonnet",
91	// In jrsonnet returns the one passed argument, works as Rust's dbg!()123	// In jrsonnet returns the one passed argument, works as Rust's dbg!()
96	"invariant_manifest.jsonnet",128	"invariant_manifest.jsonnet",
97	// Little bit hard to capture trace logs in this test suite at this moment129	// Little bit hard to capture trace logs in this test suite at this moment
98	"trace.jsonnet",130	"trace.jsonnet",
131	// Go tests:
132
133	// Something is wrong, go-jsonnet skips safe integer range check here
134	"bitwise_or9.jsonnet",
135	// Jrsonnet does not use byte strings, all utf8 is converted to bytes first
136	"builtinBase64_string_high_codepoint.jsonnet",
137	// Split by empty string is string characters, same as everywhere else
138	"builtinSplitLimitR6.jsonnet",
139	// escapeStringJson only accepts string in jrsonnet
140	"builtin_escapeStringJson.jsonnet",
141	// golang float formatting is inefficient and not portable
142	"builtin_manifestTomlEx.jsonnet",
143	"div3.jsonnet",
144	"pow6.jsonnet",
145	// golang escapes "e" yaml key, does it think it is float?
146	"builtin_manifestYamlDoc.jsonnet",
147	// Wtf?..
148	// Result
149	// [
150	//   {},
151	//   {},
152	//   []
153	// ]
154	// and golden
155	// [
156	//   {},
157	//   {},
158	//   []
159	// ]
160	// did not match structurally:
161	//  [
162	//    ...
163	// -  {
164	// -  }
165	// +  {
166	// +  }
167	//    [
168	//    ]
169	//  ]
170	"empty_object_comp.jsonnet",
171	"object_hidden.jsonnet",
172	// multi output is a CLI part, not an interpreter.
173	"multi.jsonnet",
174	"multi_no_newline.jsonnet",
175	"multi_no_newline_string_output.jsonnet",
176	"multi_string_output.jsonnet",
177	// Tested otherwise
178	"native1.jsonnet",
179	"native2.jsonnet",
180	"native3.jsonnet",
181	"native6.jsonnet",
182	// Since when parser should throw an error for that?..
183	"number_leading_zero.jsonnet",
184	// Jrsonnet has this overload
185	"number_times_string.jsonnet",
99];186];
100187
101#[test]188#[test]
102fn cpp_test_suite() -> io::Result<()> {189fn cpp_test_suite() -> io::Result<()> {
103	use json_structural_diff::JsonDiff;190	use json_structural_diff::JsonDiff;
104191
192	for root_dir in ["cpp_test_suite", "go_testdata"] {
105	let root_tests = PathBuf::from(env!("CARGO_MANIFEST_DIR"));193		let root_tests = PathBuf::from(env!("CARGO_MANIFEST_DIR"));
106	let root = root_tests.join("cpp_test_suite");194		let root = root_tests.join(root_dir);
107	let root_override = root_tests.join("cpp_test_suite_golden_override");195		let root_override = root_tests.join(format!("{root_dir}_golden_override"));
108196
109	for entry in fs::read_dir(&root).map_err(|e| io::Error::new(ErrorKind::Other, format!("failed to enumerate cpp_test_suite dir (Note: it needs to be cloned from C++ jsonnet repo for this test): {e}")))? {197		for entry in fs::read_dir(&root).map_err(|e| io::Error::new(ErrorKind::Other, format!("failed to enumerate cpp_test_suite dir (Note: it needs to be cloned from C++ jsonnet repo for this test): {e}")))? {
110		let entry = entry?;198		let entry = entry?;
126		let mut golden_path = entry.path();214		let mut golden_path = entry.path();
127		golden_path.set_extension("jsonnet.golden");215		golden_path.set_extension("jsonnet.golden");
216
217		let mut golden_path2 = entry.path();
218		golden_path2.set_extension("golden");
219
128		let golden_override =220		let golden_override =
129			root_override.join(&golden_path.file_name().expect("file has basename"));221			root_override.join(&golden_path.file_name().expect("file has basename"));
130222
223		// .jsonnet.golden for C++ tests
131		let mut golden = read_file(&golden_path)?;224		let mut golden = read_file(&golden_path)?;
132225		// .golden for Go tests
226		if golden.is_none() && let Some(golden_path) = read_file(&dbg!(golden_path2))? {
227			golden = Some(golden_path);
228		}
229
230		// Any of them can be overriden by overrides
133		if let Some(golden_path) = read_file(&golden_override)? {231		if let Some(golden_path) = read_file(&golden_override)? {
134			golden = Some(golden_path);232			golden = Some(golden_path);
135		}233		}
136234
235		// Otherwise assume test should just not fail and return true.
137		let golden = golden.unwrap_or_else(|| "true".to_owned());236		let golden = golden.unwrap_or_else(|| "true".to_owned());
138237
139		match (serde_json::from_str(&result), serde_json::from_str(&golden)) {238		match (serde_json::from_str(&result), serde_json::from_str(&golden)) {
172			}271			}
173		};272		};
174	}273	}
274	}
175275
176	Ok(())276	Ok(())
177}277}