git.delta.rocks / jrsonnet / refs/commits / a3646b331c9c

difftreelog

style fix formatting

wsyrkszxYaroslav Bolyukin2026-04-25parent: #112adb2.patch.diff
in: master

31 files changed

modifiedcrates/jrsonnet-evaluator/src/analyze.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/analyze.rs
+++ b/crates/jrsonnet-evaluator/src/analyze.rs
@@ -21,10 +21,10 @@
 use jrsonnet_gcmodule::Acyclic;
 use jrsonnet_interner::IStr;
 use jrsonnet_ir::{
-	function::FunctionSignature, ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BinaryOpType,
-	BindSpec, CompSpec, Destruct, Expr, ExprParams, FieldName, ForSpecData, IfElse, IfSpecData,
-	ImportKind, LiteralType, NumValue, ObjBody, ObjComp, ObjMembers, Slice, SliceDesc, Span,
-	Spanned, UnaryOpType, Visibility,
+	ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BinaryOpType, BindSpec, CompSpec, Destruct, Expr,
+	ExprParams, FieldName, ForSpecData, IfElse, IfSpecData, ImportKind, LiteralType, NumValue,
+	ObjBody, ObjComp, ObjMembers, Slice, SliceDesc, Span, Spanned, UnaryOpType, Visibility,
+	function::FunctionSignature,
 };
 use rustc_hash::FxHashMap;
 use smallvec::SmallVec;
modifiedcrates/jrsonnet-evaluator/src/arr/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/arr/mod.rs
+++ b/crates/jrsonnet-evaluator/src/arr/mod.rs
@@ -5,9 +5,9 @@
 	rc::Rc,
 };
 
-use jrsonnet_gcmodule::{cc_dyn, Cc};
+use jrsonnet_gcmodule::{Cc, cc_dyn};
 
-use crate::{analyze::LExpr, function::NativeFn, typed::IntoUntyped, Context, Result, Thunk, Val};
+use crate::{Context, Result, Thunk, Val, analyze::LExpr, function::NativeFn, typed::IntoUntyped};
 
 mod spec;
 pub use spec::{ArrayLike, *};
modifiedcrates/jrsonnet-evaluator/src/arr/spec.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/arr/spec.rs
+++ b/crates/jrsonnet-evaluator/src/arr/spec.rs
@@ -11,13 +11,13 @@
 
 use super::ArrValue;
 use crate::{
+	Context, Error, ObjValue, Result, Thunk, Val,
 	analyze::LExpr,
 	error::ErrorKind::InfiniteRecursionDetected,
 	evaluate::evaluate,
 	function::NativeFn,
 	typed::{IntoUntyped, Typed},
 	val::ThunkValue,
-	Context, Error, ObjValue, Result, Thunk, Val,
 };
 
 pub trait ArrayLike: Any + Trace + Debug {
modifiedcrates/jrsonnet-evaluator/src/ctx.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/ctx.rs
+++ b/crates/jrsonnet-evaluator/src/ctx.rs
@@ -4,7 +4,7 @@
 use jrsonnet_gcmodule::{Cc, Trace};
 use jrsonnet_interner::IStr;
 
-use crate::{analyze::LocalId, error, error::ErrorKind::*, Pending, Result, SupThis, Thunk, Val};
+use crate::{Pending, Result, SupThis, Thunk, Val, analyze::LocalId, error, error::ErrorKind::*};
 
 #[derive(Debug, Trace, Clone, Educe)]
 #[educe(PartialEq)]
modifiedcrates/jrsonnet-evaluator/src/error.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/error.rs
+++ b/crates/jrsonnet-evaluator/src/error.rs
@@ -9,10 +9,10 @@
 use thiserror::Error;
 
 use crate::{
+	ObjValue, ResolvePathOwned,
 	function::{CallLocation, FunctionSignature, ParamName},
 	stdlib::format::FormatError,
 	typed::TypeLocError,
-	ObjValue, ResolvePathOwned,
 };
 
 #[derive(Debug, Clone, Acyclic)]
@@ -286,11 +286,11 @@
 }
 impl fmt::Display for Error {
 	fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-		writeln!(f, "{}", self.0 .0)?;
-		for el in &self.0 .1 .0 {
+		writeln!(f, "{}", self.0.0)?;
+		for el in &self.0.1.0 {
 			write!(f, "\t{}", el.desc)?;
 			if let Some(loc) = &el.location {
-				write!(f, "at {}", loc.0 .0 .0)?;
+				write!(f, "at {}", loc.0.0.0)?;
 				loc.0.map_source_locations(&[loc.1, loc.2]);
 			}
 			writeln!(f)?;
modifiedcrates/jrsonnet-evaluator/src/evaluate/compspec.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/evaluate/compspec.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/compspec.rs
@@ -7,12 +7,12 @@
 	evaluate_field_member_static, evaluate_field_member_unbound,
 };
 use crate::{
+	Context, ContextBuilder, ObjValue, ObjValueBuilder, Pending, Result, Thunk, Val,
 	analyze::{LArrComp, LBind, LCompSpec, LDestruct, LExpr, LFieldMember, LObjComp, LocalId},
 	arr::ArrValue,
 	bail,
 	error::ErrorKind::*,
 	evaluate::evaluate,
-	Context, ContextBuilder, ObjValue, ObjValueBuilder, Pending, Result, Thunk, Val,
 };
 
 trait CompCollector {
modifiedcrates/jrsonnet-evaluator/src/evaluate/destructure.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
@@ -3,10 +3,10 @@
 use jrsonnet_gcmodule::Trace;
 
 use crate::{
+	Context, ContextBuilder, Pending, Result, SupThis, Thunk, Unbound, Val,
 	analyze::{LBind, LDestruct, LDestructField, LDestructRest, LExpr, LocalId},
 	bail,
 	evaluate::evaluate,
-	Context, ContextBuilder, Pending, Result, SupThis, Thunk, Unbound, Val,
 };
 
 #[allow(dead_code, reason = "not dead in exp-destruct")]
@@ -97,7 +97,7 @@
 	use jrsonnet_interner::IStr;
 	use rustc_hash::FxHashSet;
 
-	use crate::{bail, ObjValueBuilder};
+	use crate::{ObjValueBuilder, bail};
 
 	let captured_fields: FxHashSet<IStr> = fields.iter().map(|f| f.name.clone()).collect();
 	let field_names: Vec<(IStr, bool)> = fields
modifiedcrates/jrsonnet-evaluator/src/evaluate/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/evaluate/mod.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/mod.rs
@@ -11,19 +11,20 @@
 	operator::evaluate_binary_op_special,
 };
 use crate::{
+	Context, Error, ObjValue, ObjValueBuilder, ObjectAssertion, Result, ResultExt as _, SupThis,
+	Unbound, Val,
 	analyze::{
 		LArgsDesc, LAssertStmt, LExpr, LFieldMember, LFieldName, LFunction, LIndexPart, LObjBody,
 		LObjMembers,
 	},
 	bail,
-	error::{suggest_object_fields, ErrorKind::*},
+	error::{ErrorKind::*, suggest_object_fields},
 	evaluate::operator::evaluate_unary_op,
-	function::{prepared::PreparedFuncVal, CallLocation, FuncDesc, FuncVal},
+	function::{CallLocation, FuncDesc, FuncVal, prepared::PreparedFuncVal},
 	in_frame, runtime_error,
 	typed::FromUntyped as _,
 	val::{CachedUnbound, Thunk},
-	with_state, Context, Error, ObjValue, ObjValueBuilder, ObjectAssertion, Result, ResultExt as _,
-	SupThis, Unbound, Val,
+	with_state,
 };
 
 pub mod compspec;
modifiedcrates/jrsonnet-evaluator/src/evaluate/operator.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/evaluate/operator.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/operator.rs
@@ -3,6 +3,7 @@
 use jrsonnet_ir::{BinaryOpType, UnaryOpType};
 
 use crate::{
+	Context, Result, Val,
 	analyze::LExpr,
 	arr::ArrValue,
 	bail, error,
@@ -10,8 +11,7 @@
 	evaluate::evaluate,
 	stdlib::std_format,
 	typed::IntoUntyped as _,
-	val::{equals, StrValue},
-	Context, Result, Val,
+	val::{StrValue, equals},
 };
 
 pub fn evaluate_unary_op(op: UnaryOpType, b: &Val) -> Result<Val> {
modifiedcrates/jrsonnet-evaluator/src/function/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/function/mod.rs
+++ b/crates/jrsonnet-evaluator/src/function/mod.rs
@@ -8,13 +8,13 @@
 
 use self::{
 	builtin::Builtin,
-	prepared::{parse_prepared_builtin_call, PreparedCall},
+	prepared::{PreparedCall, parse_prepared_builtin_call},
 };
 use crate::{
+	Context, ContextBuilder, Result, Thunk, Val,
 	analyze::{LDestruct, LExpr, LFunction},
 	evaluate::{destructure::destruct, ensure_sufficient_stack, evaluate, evaluate_trivial},
 	function::builtin::BuiltinFunc,
-	Context, ContextBuilder, Result, Thunk, Val,
 };
 
 pub mod builtin;
@@ -210,8 +210,7 @@
 					return false;
 				}
 				#[allow(irrefutable_let_patterns, reason = "refutable with exp-destruct")]
-				let LDestruct::Full(id) = &param.destruct
-				else {
+				let LDestruct::Full(id) = &param.destruct else {
 					return false;
 				};
 				matches!(&*desc.func.body, LExpr::Local(v) if v == id)
modifiedcrates/jrsonnet-evaluator/src/function/parse.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/function/parse.rs
+++ b/crates/jrsonnet-evaluator/src/function/parse.rs
@@ -1,9 +1,9 @@
 use std::rc::Rc;
 
 use crate::{
+	Context, ContextBuilder, Result, Thunk,
 	analyze::LFunction,
 	evaluate::{destructure::destruct, evaluate},
-	Context, ContextBuilder, Result, Thunk,
 };
 
 /// Creates Context with all argument default values applied
modifiedcrates/jrsonnet-evaluator/src/function/prepared.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/function/prepared.rs
+++ b/crates/jrsonnet-evaluator/src/function/prepared.rs
@@ -5,10 +5,7 @@
 use rustc_hash::FxHashSet;
 
 use super::{CallLocation, FuncVal};
-use crate::{
-	Result, Thunk, Val, bail,
-	error::ErrorKind::*,
-};
+use crate::{Result, Thunk, Val, bail, error::ErrorKind::*};
 
 #[derive(Debug, Trace, Clone)]
 pub struct PreparedFuncVal {
modifiedcrates/jrsonnet-evaluator/src/integrations/serde.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/integrations/serde.rs
+++ b/crates/jrsonnet-evaluator/src/integrations/serde.rs
@@ -3,16 +3,16 @@
 use jrsonnet_interner::{IBytes, IStr};
 use jrsonnet_ir::NumValue;
 use serde::{
+	Deserialize, Serialize, Serializer,
 	de::{self, Visitor},
 	ser::{
 		Error, SerializeMap, SerializeSeq, SerializeStruct, SerializeStructVariant, SerializeTuple,
 		SerializeTupleStruct, SerializeTupleVariant,
 	},
-	Deserialize, Serialize, Serializer,
 };
 
 use crate::{
-	in_description_frame, runtime_error, Error as JrError, ObjValue, ObjValueBuilder, Result, Val,
+	Error as JrError, ObjValue, ObjValueBuilder, Result, Val, in_description_frame, runtime_error,
 };
 
 impl<'de> Deserialize<'de> for Val {
modifiedcrates/jrsonnet-evaluator/src/lib.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/lib.rs
+++ b/crates/jrsonnet-evaluator/src/lib.rs
@@ -39,7 +39,7 @@
 pub use evaluate::ensure_sufficient_stack;
 use function::CallLocation;
 pub use import::*;
-use jrsonnet_gcmodule::{cc_dyn, Cc, Trace};
+use jrsonnet_gcmodule::{Cc, Trace, cc_dyn};
 pub use jrsonnet_interner::{IBytes, IStr};
 use jrsonnet_ir::Expr;
 pub use jrsonnet_ir::{NumValue, Source, SourcePath, Span};
modifiedcrates/jrsonnet-evaluator/src/manifest.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/manifest.rs
+++ b/crates/jrsonnet-evaluator/src/manifest.rs
@@ -1,8 +1,7 @@
 use std::{borrow::Cow, fmt::Write, hint::black_box, ptr};
 
 use crate::{
-	bail, evaluate::ensure_sufficient_stack, in_description_frame, Error,
-	Result, ResultExt, Val,
+	Error, Result, ResultExt, Val, bail, evaluate::ensure_sufficient_stack, in_description_frame,
 };
 
 pub trait ManifestFormat {
modifiedcrates/jrsonnet-evaluator/src/obj/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/obj/mod.rs
+++ b/crates/jrsonnet-evaluator/src/obj/mod.rs
@@ -11,8 +11,8 @@
 };
 
 use educe::Educe;
-use im_rc::{vector, Vector};
-use jrsonnet_gcmodule::{cc_dyn, Acyclic, Cc, Trace, Weak};
+use im_rc::{Vector, vector};
+use jrsonnet_gcmodule::{Acyclic, Cc, Trace, Weak, cc_dyn};
 use jrsonnet_interner::IStr;
 use jrsonnet_ir::Span;
 use rustc_hash::{FxHashMap, FxHashSet};
@@ -23,13 +23,13 @@
 pub use oop::ObjValueBuilder;
 
 use crate::{
+	CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val,
 	arr::{PickObjectKeyValues, PickObjectValues},
 	bail,
-	error::{suggest_object_fields, ErrorKind::*},
+	error::{ErrorKind::*, suggest_object_fields},
 	evaluate::operator::evaluate_add_op,
 	identity_hash,
 	val::{ArrValue, ThunkValue},
-	CcUnbound, MaybeUnbound, Result, Thunk, Unbound, Val,
 };
 
 #[cfg(not(feature = "exp-preserve-order"))]
modifiedcrates/jrsonnet-evaluator/src/trace/mod.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/trace/mod.rs
+++ b/crates/jrsonnet-evaluator/src/trace/mod.rs
@@ -10,7 +10,7 @@
 #[cfg(feature = "explaining-traces")]
 use jrsonnet_ir::Span;
 
-use crate::{error::ErrorKind, Error};
+use crate::{Error, error::ErrorKind};
 
 /// The way paths should be displayed
 #[derive(Clone, Trace)]
@@ -259,7 +259,7 @@
 		struct ResetData {
 			loc: Span,
 		}
-		use hi_doc::{source_to_ansi, Formatting, SnippetBuilder, Text};
+		use hi_doc::{Formatting, SnippetBuilder, Text, source_to_ansi};
 
 		write!(out, "{}", error.error())?;
 		if let ErrorKind::ImportSyntaxError { path, error } = error.error() {
@@ -277,14 +277,15 @@
 			use crate::analyze::DiagLevel;
 			let mut builder: Option<SnippetBuilder> = None;
 			let mut current_src: Option<&str> = None;
-			let flush =
-				|builder: Option<SnippetBuilder>, out: &mut dyn std::fmt::Write| -> Result<(), std::fmt::Error> {
-					if let Some(b) = builder {
-						let ansi = source_to_ansi(&b.build());
-						write!(out, "\n{}", ansi.trim_end())?;
-					}
-					Ok(())
-				};
+			let flush = |builder: Option<SnippetBuilder>,
+			             out: &mut dyn std::fmt::Write|
+			 -> Result<(), std::fmt::Error> {
+				if let Some(b) = builder {
+					let ansi = source_to_ansi(&b.build());
+					write!(out, "\n{}", ansi.trim_end())?;
+				}
+				Ok(())
+			};
 			for diag in diagnostics {
 				if let Some(span) = &diag.span {
 					let src = span.0.code();
@@ -295,14 +296,12 @@
 					}
 					let b = builder.as_mut().unwrap();
 					let ab = match diag.level {
-						DiagLevel::Error => b.error(Text::fragment(
-							diag.message.clone(),
-							Formatting::default(),
-						)),
-						DiagLevel::Warning => b.warning(Text::fragment(
-							diag.message.clone(),
-							Formatting::default(),
-						)),
+						DiagLevel::Error => {
+							b.error(Text::fragment(diag.message.clone(), Formatting::default()))
+						}
+						DiagLevel::Warning => {
+							b.warning(Text::fragment(diag.message.clone(), Formatting::default()))
+						}
 					};
 					ab.range(span.range()).build();
 				} else {
modifiedcrates/jrsonnet-evaluator/src/val.rsdiffbeforeafterboth
--- a/crates/jrsonnet-evaluator/src/val.rs
+++ b/crates/jrsonnet-evaluator/src/val.rs
@@ -17,7 +17,13 @@
 
 pub use crate::arr::{ArrValue, ArrayLike};
 use crate::{
-	NumValue, ObjValue, Result, SupThis, Unbound, WeakSupThis, bail, error::{Error, ErrorKind::*}, evaluate::operator::{evaluate_compare_op, evaluate_mod_op}, function::FuncVal, gc::WithCapacityExt as _, manifest::{ManifestFormat, ToStringFormat}, typed::BoundedUsize
+	NumValue, ObjValue, Result, SupThis, Unbound, WeakSupThis, bail,
+	error::{Error, ErrorKind::*},
+	evaluate::operator::{evaluate_compare_op, evaluate_mod_op},
+	function::FuncVal,
+	gc::WithCapacityExt as _,
+	manifest::{ManifestFormat, ToStringFormat},
+	typed::BoundedUsize,
 };
 
 pub trait ThunkValue: Trace {
modifiedcrates/jrsonnet-ir-parser/src/lib.rsdiffbeforeafterboth
--- a/crates/jrsonnet-ir-parser/src/lib.rs
+++ b/crates/jrsonnet-ir-parser/src/lib.rs
@@ -1,11 +1,11 @@
 use jrsonnet_gcmodule::Acyclic;
 use jrsonnet_ir::{
-	unescape, ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BinaryOpType, BindSpec, CompSpec,
-	Destruct, Expr, ExprParam, ExprParams, FieldMember, FieldName, ForSpecData, IStr, IfElse,
-	IfSpecData, ImportKind, IndexPart, LiteralType, Member, NumValue, ObjBody, ObjComp, ObjMembers,
-	Slice, SliceDesc, Source, Span, Spanned, UnaryOpType, Visibility,
+	ArgsDesc, AssertExpr, AssertStmt, BinaryOp, BinaryOpType, BindSpec, CompSpec, Destruct, Expr,
+	ExprParam, ExprParams, FieldMember, FieldName, ForSpecData, IStr, IfElse, IfSpecData,
+	ImportKind, IndexPart, LiteralType, Member, NumValue, ObjBody, ObjComp, ObjMembers, Slice,
+	SliceDesc, Source, Span, Spanned, UnaryOpType, Visibility, unescape,
 };
-use jrsonnet_lexer::{collect_lexed_str_block, Lexeme, Lexer, Span as LexSpan, SyntaxKind, T};
+use jrsonnet_lexer::{Lexeme, Lexer, Span as LexSpan, SyntaxKind, T, collect_lexed_str_block};
 
 pub struct ParserSettings {
 	pub source: Source,
modifiedcrates/jrsonnet-ir/src/expr.rsdiffbeforeafterboth
--- a/crates/jrsonnet-ir/src/expr.rs
+++ b/crates/jrsonnet-ir/src/expr.rs
@@ -7,9 +7,9 @@
 use jrsonnet_interner::IStr;
 
 use crate::{
+	NumValue,
 	function::{FunctionSignature, ParamDefault, ParamName, ParamParse},
 	source::Source,
-	NumValue,
 };
 
 #[derive(Debug, PartialEq, Acyclic)]
modifiedcrates/jrsonnet-macros/src/lib.rsdiffbeforeafterboth
--- a/crates/jrsonnet-macros/src/lib.rs
+++ b/crates/jrsonnet-macros/src/lib.rs
@@ -3,14 +3,13 @@
 use proc_macro2::TokenStream;
 use quote::{quote, quote_spanned};
 use syn::{
-	parenthesized,
+	Attribute, DeriveInput, Error, Expr, ExprClosure, FnArg, GenericArgument, Ident, ItemFn,
+	LitStr, Meta, Pat, Path, PathArguments, Result, ReturnType, Token, Type, parenthesized,
 	parse::{Parse, ParseStream},
 	parse_macro_input,
 	punctuated::Punctuated,
 	spanned::Spanned,
 	token::Comma,
-	Attribute, DeriveInput, Error, Expr, ExprClosure, FnArg, GenericArgument, Ident, ItemFn,
-	LitStr, Meta, Pat, Path, PathArguments, Result, ReturnType, Token, Type,
 };
 
 use self::typed::{derive_from_untyped_inner, derive_into_untyped_inner, derive_typed_inner};
modifiedcrates/jrsonnet-stdlib/src/arrays.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/arrays.rs
+++ b/crates/jrsonnet-stdlib/src/arrays.rs
@@ -1,12 +1,11 @@
 #![allow(non_snake_case)]
 
 use jrsonnet_evaluator::{
-	bail, error,
-	function::{builtin, NativeFn},
+	Either, IStr, ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val, bail, error,
+	function::{NativeFn, builtin},
 	runtime_error,
 	typed::{BoundedUsize, Either2, FromUntyped},
-	val::{equals, ArrValue, IndexableVal},
-	Either, IStr, ObjValue, ObjValueBuilder, Result, ResultExt, Thunk, Val,
+	val::{ArrValue, IndexableVal, equals},
 };
 
 pub fn eval_on_empty(on_empty: Option<Thunk<Val>>) -> Result<Val> {
modifiedcrates/jrsonnet-stdlib/src/compat.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/compat.rs
+++ b/crates/jrsonnet-stdlib/src/compat.rs
@@ -1,6 +1,6 @@
 use std::cmp::Ordering;
 
-use jrsonnet_evaluator::{function::builtin, val::ArrValue, Result, Val};
+use jrsonnet_evaluator::{Result, Val, function::builtin, val::ArrValue};
 
 #[builtin]
 #[allow(non_snake_case)]
modifiedcrates/jrsonnet-stdlib/src/lib.rsdiffbeforeafterboth
before · crates/jrsonnet-stdlib/src/lib.rs
1#![allow(clippy::similar_names)]23use std::{4	cell::{Ref, RefCell, RefMut},5	collections::HashMap,6	f64,7	rc::Rc,8};910pub use arrays::*;11pub use compat::*;12pub use encoding::*;13pub use hash::*;14use jrsonnet_evaluator::{15	IStr, InitialContextBuilder, NumValue, ObjValue, ObjValueBuilder, Source, Thunk, Val, error::Result, function::{CallLocation, FuncVal, builtin_id}, tla::TlaArg, trace::PathResolver, typed::SerializeTypedObj as _16};17use jrsonnet_gcmodule::{Acyclic, Cc, Trace};18use jrsonnet_macros::{IntoUntyped, Typed};19pub use manifest::*;20pub use math::*;21pub use misc::*;22pub use objects::*;23pub use operator::*;24pub use parse::*;25pub use sets::*;26pub use sort::*;27pub use strings::*;28pub use types::*;2930#[cfg(feature = "exp-regex")]31pub use crate::regex::*;3233mod arrays;34mod compat;35mod encoding;36mod hash;37mod keyf;38mod manifest;39mod math;40mod misc;41mod objects;42mod operator;43mod parse;44#[cfg(feature = "exp-regex")]45mod regex;46mod sets;47mod sort;48mod strings;49mod types;5051#[derive(Typed, IntoUntyped, Default)]52#[allow(non_snake_case)]53struct Builtins {54	#[typed(method)]55	id: builtin_id,56	// Types57	#[typed(method, rename = "type")]58	r#type: builtin_type,59	#[typed(method)]60	isString: builtin_is_string,61	#[typed(method)]62	isNumber: builtin_is_number,63	#[typed(method)]64	isBoolean: builtin_is_boolean,65	#[typed(method)]66	isObject: builtin_is_object,67	#[typed(method)]68	isArray: builtin_is_array,69	#[typed(method)]70	isFunction: builtin_is_function,71	#[typed(method)]72	isNull: builtin_is_null,73	// Arrays74	#[typed(method)]75	makeArray: builtin_make_array,76	#[typed(method)]77	repeat: builtin_repeat,78	#[typed(method)]79	slice: builtin_slice,80	#[typed(method)]81	map: builtin_map,82	#[typed(method)]83	mapWithIndex: builtin_map_with_index,84	#[typed(method)]85	mapWithKey: builtin_map_with_key,86	#[typed(method)]87	flatMap: builtin_flatmap,88	#[typed(method)]89	filter: builtin_filter,90	#[typed(method)]91	foldl: builtin_foldl,92	#[typed(method)]93	foldr: builtin_foldr,94	#[typed(method)]95	range: builtin_range,96	#[typed(method)]97	join: builtin_join,98	#[typed(method)]99	lines: builtin_lines,100	#[typed(method)]101	resolvePath: builtin_resolve_path,102	#[typed(method)]103	deepJoin: builtin_deep_join,104	#[typed(method)]105	reverse: builtin_reverse,106	#[typed(method)]107	any: builtin_any,108	#[typed(method)]109	all: builtin_all,110	#[typed(method)]111	member: builtin_member,112	#[typed(method)]113	find: builtin_find,114	#[typed(method)]115	contains: builtin_contains,116	#[typed(method)]117	count: builtin_count,118	#[typed(method)]119	avg: builtin_avg,120	#[typed(method)]121	removeAt: builtin_remove_at,122	#[typed(method)]123	remove: builtin_remove,124	#[typed(method)]125	flattenArrays: builtin_flatten_arrays,126	#[typed(method)]127	flattenDeepArray: builtin_flatten_deep_array,128	#[typed(method)]129	prune: builtin_prune,130	#[typed(method)]131	filterMap: builtin_filter_map,132	// Math133	#[typed(method)]134	abs: builtin_abs,135	#[typed(method)]136	sign: builtin_sign,137	#[typed(method)]138	max: builtin_max,139	#[typed(method)]140	min: builtin_min,141	#[typed(method)]142	clamp: builtin_clamp,143	#[typed(method)]144	sum: builtin_sum,145	#[typed(method)]146	modulo: builtin_modulo,147	#[typed(method)]148	floor: builtin_floor,149	#[typed(method)]150	ceil: builtin_ceil,151	#[typed(method)]152	log: builtin_log,153	#[typed(method)]154	log2: builtin_log2,155	#[typed(method)]156	log10: builtin_log10,157	#[typed(method)]158	pow: builtin_pow,159	#[typed(method)]160	sqrt: builtin_sqrt,161	#[typed(method)]162	sin: builtin_sin,163	#[typed(method)]164	cos: builtin_cos,165	#[typed(method)]166	tan: builtin_tan,167	#[typed(method)]168	asin: builtin_asin,169	#[typed(method)]170	acos: builtin_acos,171	#[typed(method)]172	atan: builtin_atan,173	#[typed(method)]174	atan2: builtin_atan2,175	#[typed(method)]176	exp: builtin_exp,177	#[typed(method)]178	mantissa: builtin_mantissa,179	#[typed(method)]180	exponent: builtin_exponent,181	#[typed(method)]182	round: builtin_round,183	#[typed(method)]184	isEven: builtin_is_even,185	#[typed(method)]186	isOdd: builtin_is_odd,187	#[typed(method)]188	isInteger: builtin_is_integer,189	#[typed(method)]190	isDecimal: builtin_is_decimal,191	#[typed(method)]192	deg2rad: builtin_deg2rad,193	#[typed(method)]194	rad2deg: builtin_rad2deg,195	#[typed(method)]196	hypot: builtin_hypot,197	// Operator198	#[typed(rename = "mod", method)]199	r#mod: builtin_mod,200	#[typed(method)]201	primitiveEquals: builtin_primitive_equals,202	#[typed(method)]203	equals: builtin_equals,204	#[typed(method)]205	xor: builtin_xor,206	#[typed(method)]207	xnor: builtin_xnor,208	#[typed(method)]209	format: builtin_format,210	// Sort211	#[typed(method)]212	sort: builtin_sort,213	#[typed(method)]214	uniq: builtin_uniq,215	#[typed(method)]216	set: builtin_set,217	#[typed(method)]218	minArray: builtin_min_array,219	#[typed(method)]220	maxArray: builtin_max_array,221	// Hash222	#[typed(method)]223	md5: builtin_md5,224	#[typed(method)]225	sha1: builtin_sha1,226	#[typed(method)]227	sha256: builtin_sha256,228	#[typed(method)]229	sha512: builtin_sha512,230	#[typed(method)]231	sha3: builtin_sha3,232	// Encoding233	#[typed(method)]234	encodeUTF8: builtin_encode_utf8,235	#[typed(method)]236	decodeUTF8: builtin_decode_utf8,237	#[typed(method)]238	base64: builtin_base64,239	#[typed(method)]240	base64Decode: builtin_base64_decode,241	#[typed(method)]242	base64DecodeBytes: builtin_base64_decode_bytes,243	// Objects244	#[typed(method)]245	objectFieldsEx: builtin_object_fields_ex,246	#[typed(method)]247	objectFields: builtin_object_fields,248	#[typed(method)]249	objectFieldsAll: builtin_object_fields_all,250	#[typed(method)]251	objectValues: builtin_object_values,252	#[typed(method)]253	objectValuesAll: builtin_object_values_all,254	#[typed(method)]255	objectKeysValues: builtin_object_keys_values,256	#[typed(method)]257	objectKeysValuesAll: builtin_object_keys_values_all,258	#[typed(method)]259	objectHasEx: builtin_object_has_ex,260	#[typed(method)]261	objectHas: builtin_object_has,262	#[typed(method)]263	objectHasAll: builtin_object_has_all,264	#[typed(method)]265	objectRemoveKey: builtin_object_remove_key,266	// Manifest267	#[typed(method)]268	escapeStringJson: builtin_escape_string_json,269	#[typed(method)]270	escapeStringPython: builtin_escape_string_python,271	#[typed(method)]272	escapeStringXML: builtin_escape_string_xml,273	#[typed(method)]274	manifestJsonEx: builtin_manifest_json_ex,275	#[typed(method)]276	manifestJson: builtin_manifest_json,277	#[typed(method)]278	manifestJsonMinified: builtin_manifest_json_minified,279	#[typed(method)]280	manifestYamlDoc: builtin_manifest_yaml_doc,281	#[typed(method)]282	manifestYamlStream: builtin_manifest_yaml_stream,283	#[typed(method)]284	manifestTomlEx: builtin_manifest_toml_ex,285	#[typed(method)]286	manifestToml: builtin_manifest_toml,287	#[typed(method)]288	toString: builtin_to_string,289	#[typed(method)]290	manifestPython: builtin_manifest_python,291	#[typed(method)]292	manifestPythonVars: builtin_manifest_python_vars,293	#[typed(method)]294	manifestXmlJsonml: builtin_manifest_xml_jsonml,295	#[typed(method)]296	manifestIni: builtin_manifest_ini,297	// Parse298	#[typed(method)]299	parseJson: builtin_parse_json,300	#[typed(method)]301	parseYaml: builtin_parse_yaml,302	// Strings303	#[typed(method)]304	codepoint: builtin_codepoint,305	#[typed(method)]306	substr: builtin_substr,307	#[typed(method)]308	char: builtin_char,309	#[typed(method)]310	strReplace: builtin_str_replace,311	#[typed(method)]312	escapeStringBash: builtin_escape_string_bash,313	#[typed(method)]314	escapeStringDollars: builtin_escape_string_dollars,315	#[typed(method)]316	isEmpty: builtin_is_empty,317	#[typed(method)]318	equalsIgnoreCase: builtin_equals_ignore_case,319	#[typed(method)]320	splitLimit: builtin_splitlimit,321	#[typed(method)]322	splitLimitR: builtin_splitlimitr,323	#[typed(method)]324	split: builtin_split,325	#[typed(method)]326	asciiUpper: builtin_ascii_upper,327	#[typed(method)]328	asciiLower: builtin_ascii_lower,329	#[typed(method)]330	findSubstr: builtin_find_substr,331	#[typed(method)]332	parseInt: builtin_parse_int,333	#[cfg(feature = "exp-bigint")]334	#[typed(method)]335	bigint: builtin_bigint,336	#[typed(method)]337	parseOctal: builtin_parse_octal,338	#[typed(method)]339	parseHex: builtin_parse_hex,340	#[typed(method)]341	stringChars: builtin_string_chars,342	#[typed(method)]343	lstripChars: builtin_lstrip_chars,344	#[typed(method)]345	rstripChars: builtin_rstrip_chars,346	#[typed(method)]347	stripChars: builtin_strip_chars,348	#[typed(method)]349	trim: builtin_trim,350	// Misc351	#[typed(method)]352	length: builtin_length,353	#[typed(method)]354	get: builtin_get,355	#[typed(method)]356	startsWith: builtin_starts_with,357	#[typed(method)]358	endsWith: builtin_ends_with,359	#[typed(method)]360	assertEqual: builtin_assert_equal,361	#[typed(method)]362	mergePatch: builtin_merge_patch,363	// Sets364	#[typed(method)]365	setMember: builtin_set_member,366	#[typed(method)]367	setInter: builtin_set_inter,368	#[typed(method)]369	setDiff: builtin_set_diff,370	#[typed(method)]371	setUnion: builtin_set_union,372	// Regex373	#[cfg(feature = "exp-regex")]374	#[typed(method)]375	regexQuoteMeta: builtin_regex_quote_meta,376	// Compat377	#[typed(method)]378	__compare: builtin___compare,379	#[typed(method)]380	__compare_array: builtin___compare_array,381	#[typed(method)]382	__array_less: builtin___array_less,383	#[typed(method)]384	__array_greater: builtin___array_greater,385	#[typed(method)]386	__array_less_or_equal: builtin___array_less_or_equal,387	#[typed(method)]388	__array_greater_or_equal: builtin___array_greater_or_equal,389}390391#[allow(clippy::too_many_lines)]392pub fn stdlib_uncached(settings: Cc<RefCell<Settings>>) -> ObjValue {393	let mut builder = ObjValueBuilder::new();394395	let builtins = Builtins::default();396	builtins.serialize(&mut builder).expect("no conflicts");397398	builder.method(399		"extVar",400		builtin_ext_var {401			settings: settings.clone(),402		},403	);404	builder.method(405		"native",406		builtin_native {407			settings: settings.clone(),408		},409	);410	builder.method("trace", builtin_trace { settings });411412	builder.field("pi").hide().value(Val::Num(413		NumValue::new(f64::consts::PI).expect("pi is finite"),414	));415416	#[cfg(feature = "exp-regex")]417	{418		// Regex419		let regex_cache = RegexCache::default();420		builder.method(421			"regexFullMatch",422			builtin_regex_full_match {423				cache: regex_cache.clone(),424			},425		);426		builder.method(427			"regexPartialMatch",428			builtin_regex_partial_match {429				cache: regex_cache.clone(),430			},431		);432		builder.method(433			"regexReplace",434			builtin_regex_replace {435				cache: regex_cache.clone(),436			},437		);438		builder.method(439			"regexGlobalReplace",440			builtin_regex_global_replace { cache: regex_cache },441		);442	};443444	builder.build()445}446447pub trait TracePrinter: Acyclic {448	fn print_trace(&self, loc: CallLocation, value: IStr);449}450451#[derive(Acyclic)]452pub struct StdTracePrinter {453	resolver: PathResolver,454}455impl StdTracePrinter {456	pub fn new(resolver: PathResolver) -> Self {457		Self { resolver }458	}459}460impl TracePrinter for StdTracePrinter {461	fn print_trace(&self, loc: CallLocation, value: IStr) {462		eprint!("TRACE:");463		if let Some(loc) = loc.0 {464			let locs = loc.0.map_source_locations(&[loc.1]);465			eprint!(466				" {}:{}",467				loc.0.source_path().path().map_or_else(468					|| loc.0.source_path().to_string(),469					|p| self.resolver.resolve(p)470				),471				locs[0].line472			);473		}474		eprintln!(" {value}");475	}476}477478#[derive(Clone, Trace)]479pub struct Settings {480	/// Used for `std.extVar`481	pub ext_vars: HashMap<IStr, TlaArg>,482	/// Used for `std.native`483	pub ext_natives: HashMap<IStr, FuncVal>,484	/// Used for `std.trace`485	pub trace_printer: Rc<dyn TracePrinter>,486	/// Used for `std.thisFile`487	pub path_resolver: PathResolver,488}489490#[derive(Trace, Clone)]491pub struct ContextInitializer {492	/// std without applied thisFile overlay493	stdlib_obj: ObjValue,494	settings: Cc<RefCell<Settings>>,495}496impl ContextInitializer {497	pub fn new(resolver: PathResolver) -> Self {498		let settings = Settings {499			ext_vars: HashMap::new(),500			ext_natives: HashMap::new(),501			trace_printer: Rc::new(StdTracePrinter::new(resolver.clone())),502			path_resolver: resolver,503		};504		let settings = Cc::new(RefCell::new(settings));505		let stdlib_obj = stdlib_uncached(settings.clone());506		Self {507			stdlib_obj,508			settings,509		}510	}511	pub fn settings(&self) -> Ref<'_, Settings> {512		self.settings.borrow()513	}514	pub fn settings_mut(&self) -> RefMut<'_, Settings> {515		self.settings.borrow_mut()516	}517	pub fn add_ext_var(&self, name: IStr, value: Val) {518		self.settings_mut()519			.ext_vars520			.insert(name, TlaArg::Val(value));521	}522	pub fn add_ext_str(&self, name: IStr, value: IStr) {523		self.settings_mut()524			.ext_vars525			.insert(name, TlaArg::String(value));526	}527	pub fn add_ext_code(&self, name: &str, code: impl AsRef<str>) -> Result<()> {528		// self.data_mut().volatile_files.insert(source_name, code);529		self.settings_mut()530			.ext_vars531			.insert(name.into(), TlaArg::InlineCode(code.as_ref().to_owned()));532		Ok(())533	}534	pub fn add_native(&self, name: impl Into<IStr>, cb: impl Into<FuncVal>) {535		self.settings_mut()536			.ext_natives537			.insert(name.into(), cb.into());538	}539}540impl jrsonnet_evaluator::ContextInitializer for ContextInitializer {541	fn populate(&self, source: Source, builder: &mut InitialContextBuilder) {542		let mut std = ObjValueBuilder::new();543		std.with_super(self.stdlib_obj.clone());544		std.field("thisFile").hide().value({545			let source_path = source.source_path();546			source_path.path().map_or_else(547				|| source_path.to_string(),548				|p| self.settings().path_resolver.resolve(p),549			)550		});551		let stdlib_with_this_file = std.build();552553		builder.bind("std", Thunk::evaluated(Val::Obj(stdlib_with_this_file)));554	}555	fn as_any(&self) -> &dyn std::any::Any {556		self557	}558}
after · crates/jrsonnet-stdlib/src/lib.rs
1#![allow(clippy::similar_names)]23use std::{4	cell::{Ref, RefCell, RefMut},5	collections::HashMap,6	f64,7	rc::Rc,8};910pub use arrays::*;11pub use compat::*;12pub use encoding::*;13pub use hash::*;14use jrsonnet_evaluator::{15	IStr, InitialContextBuilder, NumValue, ObjValue, ObjValueBuilder, Source, Thunk, Val,16	error::Result,17	function::{CallLocation, FuncVal, builtin_id},18	tla::TlaArg,19	trace::PathResolver,20	typed::SerializeTypedObj as _,21};22use jrsonnet_gcmodule::{Acyclic, Cc, Trace};23use jrsonnet_macros::{IntoUntyped, Typed};24pub use manifest::*;25pub use math::*;26pub use misc::*;27pub use objects::*;28pub use operator::*;29pub use parse::*;30pub use sets::*;31pub use sort::*;32pub use strings::*;33pub use types::*;3435#[cfg(feature = "exp-regex")]36pub use crate::regex::*;3738mod arrays;39mod compat;40mod encoding;41mod hash;42mod keyf;43mod manifest;44mod math;45mod misc;46mod objects;47mod operator;48mod parse;49#[cfg(feature = "exp-regex")]50mod regex;51mod sets;52mod sort;53mod strings;54mod types;5556#[derive(Typed, IntoUntyped, Default)]57#[allow(non_snake_case)]58struct Builtins {59	#[typed(method)]60	id: builtin_id,61	// Types62	#[typed(method, rename = "type")]63	r#type: builtin_type,64	#[typed(method)]65	isString: builtin_is_string,66	#[typed(method)]67	isNumber: builtin_is_number,68	#[typed(method)]69	isBoolean: builtin_is_boolean,70	#[typed(method)]71	isObject: builtin_is_object,72	#[typed(method)]73	isArray: builtin_is_array,74	#[typed(method)]75	isFunction: builtin_is_function,76	#[typed(method)]77	isNull: builtin_is_null,78	// Arrays79	#[typed(method)]80	makeArray: builtin_make_array,81	#[typed(method)]82	repeat: builtin_repeat,83	#[typed(method)]84	slice: builtin_slice,85	#[typed(method)]86	map: builtin_map,87	#[typed(method)]88	mapWithIndex: builtin_map_with_index,89	#[typed(method)]90	mapWithKey: builtin_map_with_key,91	#[typed(method)]92	flatMap: builtin_flatmap,93	#[typed(method)]94	filter: builtin_filter,95	#[typed(method)]96	foldl: builtin_foldl,97	#[typed(method)]98	foldr: builtin_foldr,99	#[typed(method)]100	range: builtin_range,101	#[typed(method)]102	join: builtin_join,103	#[typed(method)]104	lines: builtin_lines,105	#[typed(method)]106	resolvePath: builtin_resolve_path,107	#[typed(method)]108	deepJoin: builtin_deep_join,109	#[typed(method)]110	reverse: builtin_reverse,111	#[typed(method)]112	any: builtin_any,113	#[typed(method)]114	all: builtin_all,115	#[typed(method)]116	member: builtin_member,117	#[typed(method)]118	find: builtin_find,119	#[typed(method)]120	contains: builtin_contains,121	#[typed(method)]122	count: builtin_count,123	#[typed(method)]124	avg: builtin_avg,125	#[typed(method)]126	removeAt: builtin_remove_at,127	#[typed(method)]128	remove: builtin_remove,129	#[typed(method)]130	flattenArrays: builtin_flatten_arrays,131	#[typed(method)]132	flattenDeepArray: builtin_flatten_deep_array,133	#[typed(method)]134	prune: builtin_prune,135	#[typed(method)]136	filterMap: builtin_filter_map,137	// Math138	#[typed(method)]139	abs: builtin_abs,140	#[typed(method)]141	sign: builtin_sign,142	#[typed(method)]143	max: builtin_max,144	#[typed(method)]145	min: builtin_min,146	#[typed(method)]147	clamp: builtin_clamp,148	#[typed(method)]149	sum: builtin_sum,150	#[typed(method)]151	modulo: builtin_modulo,152	#[typed(method)]153	floor: builtin_floor,154	#[typed(method)]155	ceil: builtin_ceil,156	#[typed(method)]157	log: builtin_log,158	#[typed(method)]159	log2: builtin_log2,160	#[typed(method)]161	log10: builtin_log10,162	#[typed(method)]163	pow: builtin_pow,164	#[typed(method)]165	sqrt: builtin_sqrt,166	#[typed(method)]167	sin: builtin_sin,168	#[typed(method)]169	cos: builtin_cos,170	#[typed(method)]171	tan: builtin_tan,172	#[typed(method)]173	asin: builtin_asin,174	#[typed(method)]175	acos: builtin_acos,176	#[typed(method)]177	atan: builtin_atan,178	#[typed(method)]179	atan2: builtin_atan2,180	#[typed(method)]181	exp: builtin_exp,182	#[typed(method)]183	mantissa: builtin_mantissa,184	#[typed(method)]185	exponent: builtin_exponent,186	#[typed(method)]187	round: builtin_round,188	#[typed(method)]189	isEven: builtin_is_even,190	#[typed(method)]191	isOdd: builtin_is_odd,192	#[typed(method)]193	isInteger: builtin_is_integer,194	#[typed(method)]195	isDecimal: builtin_is_decimal,196	#[typed(method)]197	deg2rad: builtin_deg2rad,198	#[typed(method)]199	rad2deg: builtin_rad2deg,200	#[typed(method)]201	hypot: builtin_hypot,202	// Operator203	#[typed(rename = "mod", method)]204	r#mod: builtin_mod,205	#[typed(method)]206	primitiveEquals: builtin_primitive_equals,207	#[typed(method)]208	equals: builtin_equals,209	#[typed(method)]210	xor: builtin_xor,211	#[typed(method)]212	xnor: builtin_xnor,213	#[typed(method)]214	format: builtin_format,215	// Sort216	#[typed(method)]217	sort: builtin_sort,218	#[typed(method)]219	uniq: builtin_uniq,220	#[typed(method)]221	set: builtin_set,222	#[typed(method)]223	minArray: builtin_min_array,224	#[typed(method)]225	maxArray: builtin_max_array,226	// Hash227	#[typed(method)]228	md5: builtin_md5,229	#[typed(method)]230	sha1: builtin_sha1,231	#[typed(method)]232	sha256: builtin_sha256,233	#[typed(method)]234	sha512: builtin_sha512,235	#[typed(method)]236	sha3: builtin_sha3,237	// Encoding238	#[typed(method)]239	encodeUTF8: builtin_encode_utf8,240	#[typed(method)]241	decodeUTF8: builtin_decode_utf8,242	#[typed(method)]243	base64: builtin_base64,244	#[typed(method)]245	base64Decode: builtin_base64_decode,246	#[typed(method)]247	base64DecodeBytes: builtin_base64_decode_bytes,248	// Objects249	#[typed(method)]250	objectFieldsEx: builtin_object_fields_ex,251	#[typed(method)]252	objectFields: builtin_object_fields,253	#[typed(method)]254	objectFieldsAll: builtin_object_fields_all,255	#[typed(method)]256	objectValues: builtin_object_values,257	#[typed(method)]258	objectValuesAll: builtin_object_values_all,259	#[typed(method)]260	objectKeysValues: builtin_object_keys_values,261	#[typed(method)]262	objectKeysValuesAll: builtin_object_keys_values_all,263	#[typed(method)]264	objectHasEx: builtin_object_has_ex,265	#[typed(method)]266	objectHas: builtin_object_has,267	#[typed(method)]268	objectHasAll: builtin_object_has_all,269	#[typed(method)]270	objectRemoveKey: builtin_object_remove_key,271	// Manifest272	#[typed(method)]273	escapeStringJson: builtin_escape_string_json,274	#[typed(method)]275	escapeStringPython: builtin_escape_string_python,276	#[typed(method)]277	escapeStringXML: builtin_escape_string_xml,278	#[typed(method)]279	manifestJsonEx: builtin_manifest_json_ex,280	#[typed(method)]281	manifestJson: builtin_manifest_json,282	#[typed(method)]283	manifestJsonMinified: builtin_manifest_json_minified,284	#[typed(method)]285	manifestYamlDoc: builtin_manifest_yaml_doc,286	#[typed(method)]287	manifestYamlStream: builtin_manifest_yaml_stream,288	#[typed(method)]289	manifestTomlEx: builtin_manifest_toml_ex,290	#[typed(method)]291	manifestToml: builtin_manifest_toml,292	#[typed(method)]293	toString: builtin_to_string,294	#[typed(method)]295	manifestPython: builtin_manifest_python,296	#[typed(method)]297	manifestPythonVars: builtin_manifest_python_vars,298	#[typed(method)]299	manifestXmlJsonml: builtin_manifest_xml_jsonml,300	#[typed(method)]301	manifestIni: builtin_manifest_ini,302	// Parse303	#[typed(method)]304	parseJson: builtin_parse_json,305	#[typed(method)]306	parseYaml: builtin_parse_yaml,307	// Strings308	#[typed(method)]309	codepoint: builtin_codepoint,310	#[typed(method)]311	substr: builtin_substr,312	#[typed(method)]313	char: builtin_char,314	#[typed(method)]315	strReplace: builtin_str_replace,316	#[typed(method)]317	escapeStringBash: builtin_escape_string_bash,318	#[typed(method)]319	escapeStringDollars: builtin_escape_string_dollars,320	#[typed(method)]321	isEmpty: builtin_is_empty,322	#[typed(method)]323	equalsIgnoreCase: builtin_equals_ignore_case,324	#[typed(method)]325	splitLimit: builtin_splitlimit,326	#[typed(method)]327	splitLimitR: builtin_splitlimitr,328	#[typed(method)]329	split: builtin_split,330	#[typed(method)]331	asciiUpper: builtin_ascii_upper,332	#[typed(method)]333	asciiLower: builtin_ascii_lower,334	#[typed(method)]335	findSubstr: builtin_find_substr,336	#[typed(method)]337	parseInt: builtin_parse_int,338	#[cfg(feature = "exp-bigint")]339	#[typed(method)]340	bigint: builtin_bigint,341	#[typed(method)]342	parseOctal: builtin_parse_octal,343	#[typed(method)]344	parseHex: builtin_parse_hex,345	#[typed(method)]346	stringChars: builtin_string_chars,347	#[typed(method)]348	lstripChars: builtin_lstrip_chars,349	#[typed(method)]350	rstripChars: builtin_rstrip_chars,351	#[typed(method)]352	stripChars: builtin_strip_chars,353	#[typed(method)]354	trim: builtin_trim,355	// Misc356	#[typed(method)]357	length: builtin_length,358	#[typed(method)]359	get: builtin_get,360	#[typed(method)]361	startsWith: builtin_starts_with,362	#[typed(method)]363	endsWith: builtin_ends_with,364	#[typed(method)]365	assertEqual: builtin_assert_equal,366	#[typed(method)]367	mergePatch: builtin_merge_patch,368	// Sets369	#[typed(method)]370	setMember: builtin_set_member,371	#[typed(method)]372	setInter: builtin_set_inter,373	#[typed(method)]374	setDiff: builtin_set_diff,375	#[typed(method)]376	setUnion: builtin_set_union,377	// Regex378	#[cfg(feature = "exp-regex")]379	#[typed(method)]380	regexQuoteMeta: builtin_regex_quote_meta,381	// Compat382	#[typed(method)]383	__compare: builtin___compare,384	#[typed(method)]385	__compare_array: builtin___compare_array,386	#[typed(method)]387	__array_less: builtin___array_less,388	#[typed(method)]389	__array_greater: builtin___array_greater,390	#[typed(method)]391	__array_less_or_equal: builtin___array_less_or_equal,392	#[typed(method)]393	__array_greater_or_equal: builtin___array_greater_or_equal,394}395396#[allow(clippy::too_many_lines)]397pub fn stdlib_uncached(settings: Cc<RefCell<Settings>>) -> ObjValue {398	let mut builder = ObjValueBuilder::new();399400	let builtins = Builtins::default();401	builtins.serialize(&mut builder).expect("no conflicts");402403	builder.method(404		"extVar",405		builtin_ext_var {406			settings: settings.clone(),407		},408	);409	builder.method(410		"native",411		builtin_native {412			settings: settings.clone(),413		},414	);415	builder.method("trace", builtin_trace { settings });416417	builder.field("pi").hide().value(Val::Num(418		NumValue::new(f64::consts::PI).expect("pi is finite"),419	));420421	#[cfg(feature = "exp-regex")]422	{423		// Regex424		let regex_cache = RegexCache::default();425		builder.method(426			"regexFullMatch",427			builtin_regex_full_match {428				cache: regex_cache.clone(),429			},430		);431		builder.method(432			"regexPartialMatch",433			builtin_regex_partial_match {434				cache: regex_cache.clone(),435			},436		);437		builder.method(438			"regexReplace",439			builtin_regex_replace {440				cache: regex_cache.clone(),441			},442		);443		builder.method(444			"regexGlobalReplace",445			builtin_regex_global_replace { cache: regex_cache },446		);447	};448449	builder.build()450}451452pub trait TracePrinter: Acyclic {453	fn print_trace(&self, loc: CallLocation, value: IStr);454}455456#[derive(Acyclic)]457pub struct StdTracePrinter {458	resolver: PathResolver,459}460impl StdTracePrinter {461	pub fn new(resolver: PathResolver) -> Self {462		Self { resolver }463	}464}465impl TracePrinter for StdTracePrinter {466	fn print_trace(&self, loc: CallLocation, value: IStr) {467		eprint!("TRACE:");468		if let Some(loc) = loc.0 {469			let locs = loc.0.map_source_locations(&[loc.1]);470			eprint!(471				" {}:{}",472				loc.0.source_path().path().map_or_else(473					|| loc.0.source_path().to_string(),474					|p| self.resolver.resolve(p)475				),476				locs[0].line477			);478		}479		eprintln!(" {value}");480	}481}482483#[derive(Clone, Trace)]484pub struct Settings {485	/// Used for `std.extVar`486	pub ext_vars: HashMap<IStr, TlaArg>,487	/// Used for `std.native`488	pub ext_natives: HashMap<IStr, FuncVal>,489	/// Used for `std.trace`490	pub trace_printer: Rc<dyn TracePrinter>,491	/// Used for `std.thisFile`492	pub path_resolver: PathResolver,493}494495#[derive(Trace, Clone)]496pub struct ContextInitializer {497	/// std without applied thisFile overlay498	stdlib_obj: ObjValue,499	settings: Cc<RefCell<Settings>>,500}501impl ContextInitializer {502	pub fn new(resolver: PathResolver) -> Self {503		let settings = Settings {504			ext_vars: HashMap::new(),505			ext_natives: HashMap::new(),506			trace_printer: Rc::new(StdTracePrinter::new(resolver.clone())),507			path_resolver: resolver,508		};509		let settings = Cc::new(RefCell::new(settings));510		let stdlib_obj = stdlib_uncached(settings.clone());511		Self {512			stdlib_obj,513			settings,514		}515	}516	pub fn settings(&self) -> Ref<'_, Settings> {517		self.settings.borrow()518	}519	pub fn settings_mut(&self) -> RefMut<'_, Settings> {520		self.settings.borrow_mut()521	}522	pub fn add_ext_var(&self, name: IStr, value: Val) {523		self.settings_mut()524			.ext_vars525			.insert(name, TlaArg::Val(value));526	}527	pub fn add_ext_str(&self, name: IStr, value: IStr) {528		self.settings_mut()529			.ext_vars530			.insert(name, TlaArg::String(value));531	}532	pub fn add_ext_code(&self, name: &str, code: impl AsRef<str>) -> Result<()> {533		// self.data_mut().volatile_files.insert(source_name, code);534		self.settings_mut()535			.ext_vars536			.insert(name.into(), TlaArg::InlineCode(code.as_ref().to_owned()));537		Ok(())538	}539	pub fn add_native(&self, name: impl Into<IStr>, cb: impl Into<FuncVal>) {540		self.settings_mut()541			.ext_natives542			.insert(name.into(), cb.into());543	}544}545impl jrsonnet_evaluator::ContextInitializer for ContextInitializer {546	fn populate(&self, source: Source, builder: &mut InitialContextBuilder) {547		let mut std = ObjValueBuilder::new();548		std.with_super(self.stdlib_obj.clone());549		std.field("thisFile").hide().value({550			let source_path = source.source_path();551			source_path.path().map_or_else(552				|| source_path.to_string(),553				|p| self.settings().path_resolver.resolve(p),554			)555		});556		let stdlib_with_this_file = std.build();557558		builder.bind("std", Thunk::evaluated(Val::Obj(stdlib_with_this_file)));559	}560	fn as_any(&self) -> &dyn std::any::Any {561		self562	}563}
modifiedcrates/jrsonnet-stdlib/src/manifest/toml.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/manifest/toml.rs
+++ b/crates/jrsonnet-stdlib/src/manifest/toml.rs
@@ -1,7 +1,10 @@
 use std::borrow::Cow;
 
 use jrsonnet_evaluator::{
-	Error, IStr, ObjValue, Result, ResultExt, Val, bail, ensure_sufficient_stack, in_description_frame, manifest::{ManifestFormat, escape_string_json_buf}, val::ArrValue
+	Error, IStr, ObjValue, Result, ResultExt, Val, bail, ensure_sufficient_stack,
+	in_description_frame,
+	manifest::{ManifestFormat, escape_string_json_buf},
+	val::ArrValue,
 };
 
 pub struct TomlFormat<'s> {
@@ -218,14 +221,16 @@
 		}
 		first = false;
 		path.push(k.clone());
-		ensure_sufficient_stack(|| in_description_frame(
-			|| format!("section <{k}> manifestification"),
-			|| match v {
-				Val::Obj(obj) => manifest_table(&obj, path, buf, cur_padding, options),
-				Val::Arr(arr) => manifest_table_array(&arr, path, buf, cur_padding, options),
-				_ => unreachable!("iterating over sections"),
-			},
-		))?;
+		ensure_sufficient_stack(|| {
+			in_description_frame(
+				|| format!("section <{k}> manifestification"),
+				|| match v {
+					Val::Obj(obj) => manifest_table(&obj, path, buf, cur_padding, options),
+					Val::Arr(arr) => manifest_table_array(&arr, path, buf, cur_padding, options),
+					_ => unreachable!("iterating over sections"),
+				},
+			)
+		})?;
 		path.pop();
 	}
 	Ok(())
modifiedcrates/jrsonnet-stdlib/src/misc.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/misc.rs
+++ b/crates/jrsonnet-stdlib/src/misc.rs
@@ -1,13 +1,12 @@
 use std::{cell::RefCell, collections::BTreeSet};
 
 use jrsonnet_evaluator::{
-	bail,
+	Either, IStr, ObjValue, ObjValueBuilder, ResultExt, Thunk, Val, bail,
 	error::{ErrorKind::*, Result},
-	function::{builtin, CallLocation, FuncVal},
+	function::{CallLocation, FuncVal, builtin},
 	manifest::JsonFormat,
 	typed::{Either2, Either4},
-	val::{equals, ArrValue},
-	Either, IStr, ObjValue, ObjValueBuilder, ResultExt, Thunk, Val,
+	val::{ArrValue, equals},
 };
 use jrsonnet_gcmodule::Cc;
 
modifiedcrates/jrsonnet-stdlib/src/operator.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/operator.rs
+++ b/crates/jrsonnet-stdlib/src/operator.rs
@@ -2,11 +2,11 @@
 //! However, in our case we instead implement them in native, and implement native functions on top of core for backwards compatibility
 
 use jrsonnet_evaluator::{
+	IStr, NumValue, Result, Val,
 	function::builtin,
 	stdlib::std_format,
 	typed::{Either, Either2},
 	val::{equals, primitive_equals},
-	IStr, NumValue, Result, Val,
 };
 
 #[builtin]
modifiedcrates/jrsonnet-stdlib/src/sets.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/sets.rs
+++ b/crates/jrsonnet-stdlib/src/sets.rs
@@ -1,6 +1,6 @@
 use std::cmp::Ordering;
 
-use jrsonnet_evaluator::{function::builtin, val::ArrValue, Result, Thunk, Val};
+use jrsonnet_evaluator::{Result, Thunk, Val, function::builtin, val::ArrValue};
 
 use crate::keyf::KeyF;
 
modifiedcrates/jrsonnet-stdlib/src/sort.rsdiffbeforeafterboth
--- a/crates/jrsonnet-stdlib/src/sort.rs
+++ b/crates/jrsonnet-stdlib/src/sort.rs
@@ -3,10 +3,9 @@
 use std::cmp::Ordering;
 
 use jrsonnet_evaluator::{
-	bail,
+	Result, Thunk, Val, bail,
 	function::builtin,
-	val::{equals, ArrValue},
-	Result, Thunk, Val,
+	val::{ArrValue, equals},
 };
 
 use crate::{eval_on_empty, keyf::KeyF};
modifiedtests/tests/builtin.rsdiffbeforeafterboth
--- a/tests/tests/builtin.rs
+++ b/tests/tests/builtin.rs
@@ -1,7 +1,11 @@
 mod common;
 
 use jrsonnet_evaluator::{
-	ContextInitializer, FileImportResolver, InitialContextBuilder, Result, Source, State, Thunk, Val, function::{CallLocation, FuncVal, builtin, builtin::{Builtin}}, trace::PathResolver, typed::FromUntyped
+	ContextInitializer, FileImportResolver, InitialContextBuilder, Result, Source, State, Thunk,
+	Val,
+	function::{CallLocation, FuncVal, builtin, builtin::Builtin},
+	trace::PathResolver,
+	typed::FromUntyped,
 };
 use jrsonnet_gcmodule::Trace;
 use jrsonnet_stdlib::ContextInitializer as StdContextInitializer;
modifiedtests/tests/common.rsdiffbeforeafterboth
--- a/tests/tests/common.rs
+++ b/tests/tests/common.rs
@@ -1,5 +1,7 @@
 use jrsonnet_evaluator::{
-	ContextBuilder, ContextInitializer as ContextInitializerT, InitialContextBuilder, ObjValueBuilder, Result, Thunk, Val, bail, function::{FuncVal, builtin}, Source
+	ContextBuilder, ContextInitializer as ContextInitializerT, InitialContextBuilder,
+	ObjValueBuilder, Result, Source, Thunk, Val, bail,
+	function::{FuncVal, builtin},
 };
 use jrsonnet_gcmodule::Trace;