Separate building and inserting objects

This provides more flexibility, making it possible to use the partial object and builder infrastructure, without automatically opting into validation. This can be useful, especially in unit tests.
hannobraun · Nov 9, 2022 · 3f2aa6e · 3f2aa6e
1 parent 7758f81
commit 3f2aa6e
Show file tree

Hide file tree

Showing 30 changed files with 220 additions and 139 deletions.
diff --git a/crates/fj-kernel/src/algorithms/approx/curve.rs b/crates/fj-kernel/src/algorithms/approx/curve.rs
@@ -198,6 +198,7 @@ mod tests {
     use crate::{
         algorithms::approx::{path::RangeOnPath, Approx, ApproxPoint},
         builder::CurveBuilder,
+        insert::Insert,
         objects::{Curve, Objects, Surface},
         partial::HasPartial,
         path::GlobalPath,
@@ -215,7 +216,8 @@ mod tests {
         let curve = Curve::partial()
             .with_surface(Some(surface))
             .update_as_line_from_points([[1., 1.], [2., 1.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let range = RangeOnPath::from([[0.], [1.]]);
 
         let approx = (&curve, range).approx(1.);
@@ -236,7 +238,8 @@ mod tests {
         let curve = Curve::partial()
             .with_surface(Some(surface))
             .update_as_line_from_points([[1., 1.], [1., 2.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let range = RangeOnPath::from([[0.], [1.]]);
 
         let approx = (&curve, range).approx(1.);
@@ -255,7 +258,8 @@ mod tests {
         let curve = Curve::partial()
             .with_surface(Some(surface.clone()))
             .update_as_line_from_points([[0., 1.], [1., 1.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
 
         let range = RangeOnPath::from([[0.], [TAU]]);
         let tolerance = 1.;
@@ -287,7 +291,8 @@ mod tests {
         let curve = Curve::partial()
             .with_surface(Some(surface))
             .update_as_circle_from_radius(1.)
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
 
         let range = RangeOnPath::from([[0.], [TAU]]);
         let tolerance = 1.;

diff --git a/crates/fj-kernel/src/algorithms/intersect/face_face.rs b/crates/fj-kernel/src/algorithms/intersect/face_face.rs
@@ -68,8 +68,10 @@ mod tests {
     use crate::{
         algorithms::intersect::CurveFaceIntersection,
         builder::{CurveBuilder, FaceBuilder},
+        insert::Insert,
         objects::{Curve, Face, Objects},
         partial::HasPartial,
+        validate::ValidationError,
     };
 
     use super::FaceFaceIntersection;
@@ -122,12 +124,14 @@ mod tests {
 
         let intersection = FaceFaceIntersection::compute([&a, &b], &objects)?;
 
-        let expected_curves = surfaces.try_map_ext(|surface| {
-            Curve::partial()
-                .with_surface(Some(surface))
-                .update_as_line_from_points([[0., 0.], [1., 0.]])
-                .build(&objects)
-        })?;
+        let expected_curves =
+            surfaces.try_map_ext(|surface| -> Result<_, ValidationError> {
+                Ok(Curve::partial()
+                    .with_surface(Some(surface))
+                    .update_as_line_from_points([[0., 0.], [1., 0.]])
+                    .build(&objects)?
+                    .insert(&objects)?)
+            })?;
         let expected_intervals =
             CurveFaceIntersection::from_intervals([[[-1.], [1.]]]);
         assert_eq!(

diff --git a/crates/fj-kernel/src/algorithms/intersect/face_point.rs b/crates/fj-kernel/src/algorithms/intersect/face_point.rs
@@ -137,6 +137,7 @@ mod tests {
     use crate::{
         algorithms::intersect::{face_point::FacePointIntersection, Intersect},
         builder::FaceBuilder,
+        insert::Insert,
         iter::ObjectIters,
         objects::{Face, Objects},
         partial::HasPartial,
@@ -150,7 +151,8 @@ mod tests {
         let face = Face::partial()
             .with_surface(surface)
             .with_exterior_polygon_from_points([[0., 0.], [1., 1.], [0., 2.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([2., 1.]);
 
         let intersection = (&face, &point).intersect();
@@ -167,7 +169,8 @@ mod tests {
         let face = Face::partial()
             .with_surface(surface)
             .with_exterior_polygon_from_points([[0., 0.], [2., 1.], [0., 2.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 1.]);
 
         let intersection = (&face, &point).intersect();
@@ -187,7 +190,8 @@ mod tests {
         let face = Face::partial()
             .with_surface(surface)
             .with_exterior_polygon_from_points([[4., 2.], [0., 4.], [0., 0.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 2.]);
 
         let intersection = (&face, &point).intersect();
@@ -212,7 +216,8 @@ mod tests {
                 [3., 0.],
                 [3., 4.],
             ])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 1.]);
 
         let intersection = (&face, &point).intersect();
@@ -238,7 +243,8 @@ mod tests {
                 [3., 1.],
                 [0., 2.],
             ])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 1.]);
 
         let intersection = (&face, &point).intersect();
@@ -265,7 +271,8 @@ mod tests {
                 [4., 0.],
                 [4., 5.],
             ])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 1.]);
 
         let intersection = (&face, &point).intersect();
@@ -285,7 +292,8 @@ mod tests {
         let face = Face::partial()
             .with_surface(surface)
             .with_exterior_polygon_from_points([[0., 0.], [2., 0.], [0., 1.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 0.]);
 
         let intersection = (&face, &point).intersect();
@@ -314,7 +322,8 @@ mod tests {
         let face = Face::partial()
             .with_surface(surface)
             .with_exterior_polygon_from_points([[0., 0.], [1., 0.], [0., 1.]])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let point = Point::from([1., 0.]);
 
         let intersection = (&face, &point).intersect();

diff --git a/crates/fj-kernel/src/algorithms/intersect/ray_face.rs b/crates/fj-kernel/src/algorithms/intersect/ray_face.rs
@@ -153,6 +153,7 @@ mod tests {
             transform::TransformObject,
         },
         builder::FaceBuilder,
+        insert::Insert,
         iter::ObjectIters,
         objects::{Face, Objects},
         partial::HasPartial,
@@ -174,6 +175,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([-1., 0., 0.], &objects)?;
 
         assert_eq!((&ray, &face).intersect(), None);
@@ -196,6 +198,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([1., 0., 0.], &objects)?;
 
         assert_eq!(
@@ -221,6 +224,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([0., 0., 2.], &objects)?;
 
         assert_eq!((&ray, &face).intersect(), None);
@@ -243,6 +247,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([1., 1., 0.], &objects)?;
 
         let edge = face
@@ -276,6 +281,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([1., 1., 1.], &objects)?;
 
         let vertex = face
@@ -306,7 +312,8 @@ mod tests {
                 [1., 1.],
                 [-1., 1.],
             ])
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
 
         assert_eq!(
             (&ray, &face).intersect(),
@@ -332,6 +339,7 @@ mod tests {
                 [-1., 1.],
             ])
             .build(&objects)?
+            .insert(&objects)?
             .translate([0., 0., 1.], &objects)?;
 
         assert_eq!((&ray, &face).intersect(), None);

diff --git a/crates/fj-kernel/src/algorithms/intersect/surface_surface.rs b/crates/fj-kernel/src/algorithms/intersect/surface_surface.rs
@@ -93,6 +93,7 @@ mod tests {
     use crate::{
         algorithms::transform::TransformObject,
         builder::CurveBuilder,
+        insert::Insert,
         objects::{Curve, Objects},
         partial::HasPartial,
     };
@@ -124,11 +125,13 @@ mod tests {
         let expected_xy = Curve::partial()
             .with_surface(Some(xy.clone()))
             .update_as_u_axis()
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
         let expected_xz = Curve::partial()
             .with_surface(Some(xz.clone()))
             .update_as_u_axis()
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
 
         assert_eq!(
             SurfaceSurfaceIntersection::compute([xy, xz], &objects)?,

diff --git a/crates/fj-kernel/src/algorithms/reverse/face.rs b/crates/fj-kernel/src/algorithms/reverse/face.rs
@@ -1,4 +1,5 @@
 use crate::{
+    insert::Insert,
     objects::{Face, Objects},
     partial::HasPartial,
     storage::Handle,
@@ -15,10 +16,11 @@ impl Reverse for Handle<Face> {
             .map(|cycle| cycle.clone().reverse(objects))
             .collect::<Result<Vec<_>, _>>()?;
 
-        Face::partial()
+        Ok(Face::partial()
             .with_exterior(exterior)
             .with_interiors(interiors)
             .with_color(self.color())
-            .build(objects)
+            .build(objects)?
+            .insert(objects)?)
     }
 }
diff --git a/crates/fj-kernel/src/algorithms/sweep/edge.rs b/crates/fj-kernel/src/algorithms/sweep/edge.rs
@@ -3,6 +3,7 @@ use fj_math::{Line, Scalar, Vector};
 
 use crate::{
     algorithms::{reverse::Reverse, transform::TransformObject},
+    insert::Insert,
     objects::{
         Curve, Cycle, Face, GlobalEdge, HalfEdge, Objects, SurfaceVertex,
         Vertex,
@@ -176,10 +177,11 @@ impl Sweep for (Handle<HalfEdge>, Color) {
             objects.cycles.insert(Cycle::new(edges))?
         };
 
-        Face::partial()
+        Ok(Face::partial()
             .with_exterior(cycle)
             .with_color(color)
-            .build(objects)
+            .build(objects)?
+            .insert(objects)?)
     }
 }
 
@@ -191,6 +193,7 @@ mod tests {
     use crate::{
         algorithms::{reverse::Reverse, sweep::Sweep},
         builder::HalfEdgeBuilder,
+        insert::Insert,
         objects::{Cycle, Face, HalfEdge, Objects, SurfaceVertex, Vertex},
         partial::HasPartial,
     };
@@ -204,7 +207,8 @@ mod tests {
                 objects.surfaces.xy_plane(),
                 [[0., 0.], [1., 0.]],
             )
-            .build(&objects)?;
+            .build(&objects)?
+            .insert(&objects)?;
 
         let face =
             (half_edge, Color::default()).sweep([0., 0., 1.], &objects)?;
@@ -218,7 +222,8 @@ mod tests {
                         surface.clone(),
                         [[0., 0.], [1., 0.]],
                     )
-                    .build(&objects)?;
+                    .build(&objects)?
+                    .insert(&objects)?;
                 let side_up = HalfEdge::partial()
                     .with_surface(surface.clone())
                     .with_back_vertex(Vertex::partial().with_surface_form(
@@ -228,7 +233,8 @@ mod tests {
                         SurfaceVertex::partial().with_position(Some([1., 1.])),
                     ))
                     .update_as_line_segment()
-                    .build(&objects)?;
+                    .build(&objects)?
+                    .insert(&objects)?;
                 let top = HalfEdge::partial()
                     .with_surface(surface.clone())
                     .with_back_vertex(Vertex::partial().with_surface_form(
@@ -239,6 +245,7 @@ mod tests {
                     ))
                     .update_as_line_segment()
                     .build(&objects)?
+                    .insert(&objects)?
                     .reverse(&objects)?;
                 let side_down =
                     HalfEdge::partial()
@@ -251,13 +258,17 @@ mod tests {
                         ))
                         .update_as_line_segment()
                         .build(&objects)?
+                        .insert(&objects)?
                         .reverse(&objects)?;
 
                 let cycle = objects
                     .cycles
                     .insert(Cycle::new([bottom, side_up, top, side_down]))?;
 
-                Face::partial().with_exterior(cycle).build(&objects)?
+                Face::partial()
+                    .with_exterior(cycle)
+                    .build(&objects)?
+                    .insert(&objects)?
             };
 
         assert_eq!(face, expected_face);