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

4use jrsonnet_gcmodule::Acyclic;4use jrsonnet_gcmodule::Acyclic;
5use jrsonnet_parser::{5use jrsonnet_parser::{
6	ArgsDesc, AssertExpr, AssertStmt, BindSpec, CompSpec, Destruct, Expr, FieldMember, FieldName,6	ArgsDesc, AssertExpr, AssertStmt, BindSpec, CompSpec, Destruct, Expr, FieldMember, FieldName,
7	ForSpecData, IfElse, IfSpecData, ImportKind, Member, ObjBody, Param, ParamsDesc,7	ForSpecData, IfElse, IfSpecData, ImportKind, ObjBody, Param, ParamsDesc,
8	ParserSettings, Slice, SliceDesc, Source, SourcePath, Spanned,8	ParserSettings, Slice, SliceDesc, Source, SourcePath, Spanned,
9};9};
10use rustc_hash::FxHashMap;10use rustc_hash::FxHashMap;
102	}102	}
103	fn in_obj(obj: &ObjBody, out: &mut FoundImports) {103	fn in_obj(obj: &ObjBody, out: &mut FoundImports) {
104		match obj {104		match obj {
105			ObjBody::MemberList(v) => {105			ObjBody::MemberList(obj) => {
106				for member in v {106				for FieldMember {
107					match member {
108						Member::Field(FieldMember {
109							name,107					name,
110							params,108					params,
111							value,109					value,
112							..110					..
113						}) => {111				} in &obj.fields
112				{
114							match name {113					match name {
115								FieldName::Fixed(_) => {}114						FieldName::Fixed(_) => {}
120							}119					}
121							find_imports(value, out);120					find_imports(value, out);
122						}121				}
123						Member::BindStmt(_) => todo!(),122				for _ in &*obj.locals {
124						Member::AssertStmt(assert) => {123					todo!()
125							find_imports(&assert.0, out);124				}
126							if let Some(expr) = &assert.1 {125				for assert in &*obj.asserts {
127								find_imports(expr, out);126					find_imports(&assert.0, out);
128							}127					if let Some(expr) = &assert.1 {
129						}128						find_imports(expr, out);
130					}129					}
131				}130				}
132			}131			}
133			ObjBody::ObjComp(_) => todo!(),132			ObjBody::ObjComp(_) => todo!(),
134		}133		}

--- a/crates/jrsonnet-evaluator/src/evaluate/mod.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/mod.rs
@@ -4,7 +4,7 @@
 use jrsonnet_interner::IStr;
 use jrsonnet_parser::{
 	ArgsDesc, AssertStmt, BinaryOpType, BindSpec, CompSpec, Expr, FieldMember, FieldName,
-	ForSpecData, IfSpecData, ImportKind, LiteralType, Member, ObjBody, ParamsDesc, Spanned,
+	ForSpecData, IfSpecData, ImportKind, LiteralType, ObjBody, ObjMembers, ParamsDesc, Spanned,
 };
 use jrsonnet_types::ValType;
 use rustc_hash::FxHashMap;
@@ -282,48 +282,38 @@
 }
 
 #[allow(clippy::too_many_lines)]
-pub fn evaluate_member_list_object(ctx: Context, members: &[Member]) -> Result<ObjValue> {
+pub fn evaluate_member_list_object(ctx: Context, members: &ObjMembers) -> Result<ObjValue> {
 	let mut builder = ObjValueBuilder::new();
-	let locals = Rc::new(
-		members
-			.iter()
-			.filter_map(|m| match m {
-				Member::BindStmt(bind) => Some(bind.clone()),
-				_ => None,
-			})
-			.collect::<Vec<_>>(),
-	);
+	let locals = members.locals.clone();
 
 	// We have single context for all fields, so we can cache binds
 	let uctx = CachedUnbound::new(evaluate_object_locals(ctx.clone(), locals));
 
-	for member in members {
-		match member {
-			Member::Field(field) => {
-				evaluate_field_member(&mut builder, ctx.clone(), uctx.clone(), field)?;
-			}
-			Member::AssertStmt(stmt) => {
-				#[derive(Trace)]
-				struct ObjectAssert<B: Trace> {
-					uctx: B,
-					assert: Rc<AssertStmt>,
+	for field in &members.fields {
+		evaluate_field_member(&mut builder, ctx.clone(), uctx.clone(), &field)?;
+	}
+
+	if !members.asserts.is_empty() {
+		#[derive(Trace)]
+		struct ObjectAssert<B: Trace> {
+			uctx: B,
+			asserts: Rc<Vec<AssertStmt>>,
+		}
+		impl<B: Unbound<Bound = Context>> ObjectAssertion for ObjectAssert<B> {
+			fn run(&self, sup_this: SupThis) -> Result<()> {
+				let ctx = self.uctx.bind(sup_this)?;
+				for assert in &*self.asserts {
+					evaluate_assert(ctx.clone(), &assert)?;
 				}
-				impl<B: Unbound<Bound = Context>> ObjectAssertion for ObjectAssert<B> {
-					fn run(&self, sup_this: SupThis) -> Result<()> {
-						let ctx = self.uctx.bind(sup_this)?;
-						evaluate_assert(ctx, &self.assert)
-					}
-				}
-				builder.assert(ObjectAssert {
-					uctx: uctx.clone(),
-					assert: stmt.clone(),
-				});
-			}
-			Member::BindStmt(_) => {
-				// Already handled
+				Ok(())
 			}
 		}
+		builder.assert(ObjectAssert {
+			uctx: uctx.clone(),
+			asserts: members.asserts.clone(),
+		});
 	}
+
 	Ok(builder.build())
 }
 
@@ -332,13 +322,7 @@
 		ObjBody::MemberList(members) => evaluate_member_list_object(ctx, members)?,
 		ObjBody::ObjComp(obj) => {
 			let mut builder = ObjValueBuilder::new();
-			let locals = Rc::new(
-				obj.pre_locals
-					.iter()
-					.chain(obj.post_locals.iter())
-					.cloned()
-					.collect::<Vec<_>>(),
-			);
+			let locals = obj.locals.clone();
 			evaluate_comp(ctx, &obj.compspecs, &mut |ctx| {
 				let uctx = evaluate_object_locals(ctx.clone(), locals.clone());
 

--- a/crates/jrsonnet-parser/src/expr.rs
+++ b/crates/jrsonnet-parser/src/expr.rs
@@ -47,10 +47,10 @@
 }
 
 #[derive(Debug, PartialEq, Acyclic)]
-pub enum Member {
+pub(crate) enum Member {
 	Field(FieldMember),
 	BindStmt(BindSpec),
-	AssertStmt(Rc<AssertStmt>),
+	AssertStmt(AssertStmt),
 }
 
 #[derive(Debug, Clone, Copy, PartialEq, Eq, Acyclic)]
@@ -240,7 +240,7 @@
 	}
 }
 
-#[derive(Debug, Clone, PartialEq, Acyclic)]
+#[derive(Debug, PartialEq, Acyclic)]
 pub enum BindSpec {
 	Field {
 		into: Destruct,
@@ -275,15 +275,21 @@
 
 #[derive(Debug, PartialEq, Acyclic)]
 pub struct ObjComp {
-	pub pre_locals: Vec<BindSpec>,
+	pub locals: Rc<Vec<BindSpec>>,
 	pub field: Rc<FieldMember>,
-	pub post_locals: Vec<BindSpec>,
 	pub compspecs: Vec<CompSpec>,
 }
 
 #[derive(Debug, PartialEq, Acyclic)]
+pub struct ObjMembers {
+	pub locals: Rc<Vec<BindSpec>>,
+	pub asserts: Rc<Vec<AssertStmt>>,
+	pub fields: Vec<FieldMember>,
+}
+
+#[derive(Debug, PartialEq, Acyclic)]
 pub enum ObjBody {
-	MemberList(Vec<Member>),
+	MemberList(ObjMembers),
 	ObjComp(ObjComp),
 }
 

--- a/crates/jrsonnet-parser/src/lib.rs
+++ b/crates/jrsonnet-parser/src/lib.rs
@@ -139,8 +139,8 @@
 			/ obj:destruct_object(s) {obj}
 
 		pub rule bind(s: &ParserSettings) -> expr::BindSpec
-			= into:destruct(s) _ "=" _ expr:expr(s) {expr::BindSpec::Field{into, value: Rc::new(expr)}}
-			/ name:id() _ "(" _ params:params(s) _ ")" _ "=" _ expr:expr(s) {expr::BindSpec::Function{name, params, value: Rc::new(expr)}}
+			= into:destruct(s) _ "=" _ value:expr(s) {expr::BindSpec::Field{into, value: Rc::new(value)}}
+			/ name:id() _ "(" _ params:params(s) _ ")" _ "=" _ value:expr(s) {expr::BindSpec::Function{name, params, value: Rc::new(value)}}
 
 		pub rule assertion(s: &ParserSettings) -> expr::AssertStmt
 			= keyword("assert") _ cond:expr(s) msg:(_ ":" _ e:expr(s) {e})? { expr::AssertStmt(cond, msg) }
@@ -207,20 +207,35 @@
 			= keyword("local") _ bind:bind(s) {bind}
 		pub rule member(s: &ParserSettings) -> expr::Member
 			= bind:obj_local(s) {expr::Member::BindStmt(bind)}
-			/ assertion:assertion(s) {expr::Member::AssertStmt(Rc::new(assertion))}
+			/ assertion:assertion(s) {expr::Member::AssertStmt(assertion)}
 			/ field:field(s) {expr::Member::Field(field)}
 		pub rule objinside(s: &ParserSettings) -> expr::ObjBody
 			= pre_locals:(b: obj_local(s) comma() {b})* &"[" field:field(s) post_locals:(comma() b:obj_local(s) {b})* _ ("," _)? forspec:forspec(s) others:(_ rest:compspec(s) {rest})? {
 				let mut compspecs = vec![CompSpec::ForSpec(forspec)];
 				compspecs.extend(others.unwrap_or_default());
+				let mut locals = pre_locals;
+				locals.extend(post_locals);
 				expr::ObjBody::ObjComp(expr::ObjComp{
-					pre_locals,
+					locals: Rc::new(locals),
 					field: Rc::new(field),
-					post_locals,
 					compspecs,
 				})
 			}
-			/ members:(member(s) ** comma()) comma()? {expr::ObjBody::MemberList(members)}
+			/ members:(member(s) ** comma()) comma()? {
+				let mut locals = Vec::new();
+				let mut asserts = Vec::new();
+				let mut fields = Vec::new();
+				for member in members {
+					match member {
+						Member::Field(field_member) => fields.push(field_member),
+						Member::BindStmt(bind_spec) => locals.push(bind_spec),
+						Member::AssertStmt(assert_stmt) => asserts.push(assert_stmt),
+					}
+				}
+				expr::ObjBody::MemberList(ObjMembers {
+					locals: Rc::new(locals), asserts: Rc::new(asserts), fields
+				})
+			}
 		pub rule ifspec(s: &ParserSettings) -> IfSpecData
 			= keyword("if") _ expr:expr(s) {IfSpecData(expr)}
 		pub rule forspec(s: &ParserSettings) -> ForSpecData

--- a/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__add_location_info_to_all_sub_expressions.snap
+++ b/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__add_location_info_to_all_sub_expressions.snap
@@ -7,12 +7,16 @@
         lhs: ObjExtend(
             Obj(
                 MemberList(
-                    [],
+                    ObjMembers {
+                        locals: [],
+                        asserts: [],
+                        fields: [],
+                    },
                 ),
             ) from virtual:<test>:0-2,
             MemberList(
-                [
-                    BindStmt(
+                ObjMembers {
+                    locals: [
                         Field {
                             into: Full(
                                 "x",
@@ -21,8 +25,9 @@
                                 1.0,
                             ) from virtual:<test>:15-16,
                         },
-                    ),
-                    Field(
+                    ],
+                    asserts: [],
+                    fields: [
                         FieldMember {
                             name: Fixed(
                                 "x",
@@ -34,14 +39,18 @@
                                 "x",
                             ) from virtual:<test>:21-22,
                         },
-                    ),
-                ],
+                    ],
+                },
             ),
         ) from virtual:<test>:0-24,
         op: Add,
         rhs: Obj(
             MemberList(
-                [],
+                ObjMembers {
+                    locals: [],
+                    asserts: [],
+                    fields: [],
+                },
             ),
         ) from virtual:<test>:27-29,
     },

--- a/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__empty_object.snap
+++ b/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__empty_object.snap
@@ -4,6 +4,10 @@
 ---
 Obj(
     MemberList(
-        [],
+        ObjMembers {
+            locals: [],
+            asserts: [],
+            fields: [],
+        },
     ),
 ) from virtual:<test>:0-2

--- a/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__missing_newline_between_comment_and_eof.snap
+++ b/crates/jrsonnet-parser/src/snapshots/jrsonnet_parser__tests__missing_newline_between_comment_and_eof.snap
@@ -4,8 +4,10 @@
 ---
 Obj(
     MemberList(
-        [
-            Field(
+        ObjMembers {
+            locals: [],
+            asserts: [],
+            fields: [
                 FieldMember {
                     name: Fixed(
                         "a",
@@ -17,7 +19,7 @@
                         1.0,
                     ) from virtual:<test>:3-4,
                 },
-            ),
-        ],
+            ],
+        },
     ),
 ) from virtual:<test>:0-5