Merge pull request #1816 from hannobraun/operations

Clean up operations API

crates/fj-kernel/src/operations/build/cycle.rs

@@ -3,12 +3,10 @@ use itertools::Itertools;
 
 use crate::{
     objects::{Cycle, HalfEdge},
-    operations::Insert,
+    operations::{BuildHalfEdge, Insert},
     services::Services,
 };
 
-use super::BuildHalfEdge;
-
 /// Build a [`Cycle`]
 pub trait BuildCycle {
     /// Build an empty cycle

crates/fj-kernel/src/operations/build/face.rs

@@ -3,13 +3,14 @@ use fj_math::Point;
 
 use crate::{
     objects::{Cycle, Face, HalfEdge, Surface, Vertex},
-    operations::{Insert, IsInserted, IsInsertedNo},
+    operations::{
+        BuildCycle, BuildHalfEdge, BuildSurface, Insert, IsInserted,
+        IsInsertedNo,
+    },
     services::Services,
     storage::Handle,
 };
 
-use super::{BuildCycle, BuildHalfEdge, BuildSurface};
-
 /// Build a [`Face`]
 pub trait BuildFace {
     /// Build a face with an empty exterior, no interiors, and no color

crates/fj-kernel/src/operations/build/mod.rs

@@ -1,15 +1,6 @@
-mod cycle;
+pub mod cycle;
-mod edge;
+pub mod edge;
-mod face;
+pub mod face;
-mod shell;
+pub mod shell;
-mod solid;
+pub mod solid;
-mod surface;
+pub mod surface;
-
-pub use self::{
-    cycle::BuildCycle,
-    edge::BuildHalfEdge,
-    face::{BuildFace, Polygon},
-    shell::{BuildShell, TetrahedronShell},
-    solid::{BuildSolid, Tetrahedron},
-    surface::BuildSurface,
-};

crates/fj-kernel/src/operations/build/shell.rs

@@ -3,13 +3,12 @@ use fj_math::Point;
 use crate::{
     objects::{Face, Shell},
     operations::{
-        Insert, IsInserted, IsInsertedNo, IsInsertedYes, JoinCycle, UpdateFace,
+        BuildFace, Insert, IsInserted, IsInsertedNo, IsInsertedYes, JoinCycle,
+        Polygon, UpdateFace,
     },
     services::Services,
 };
 
-use super::{BuildFace, Polygon};
-
 /// Build a [`Shell`]
 pub trait BuildShell {
     /// Build a tetrahedron from the provided points

crates/fj-kernel/src/operations/join/mod.rs

@@ -1,3 +1 @@
-mod cycle;
+pub mod cycle;
-
-pub use self::cycle::JoinCycle;

crates/fj-kernel/src/operations/mod.rs

@@ -7,12 +7,17 @@ mod update;
 
 pub use self::{
     build::{
-        BuildCycle, BuildFace, BuildHalfEdge, BuildShell, BuildSolid,
+        cycle::BuildCycle,
-        BuildSurface, Polygon, Tetrahedron, TetrahedronShell,
+        edge::BuildHalfEdge,
+        face::{BuildFace, Polygon},
+        shell::{BuildShell, TetrahedronShell},
+        solid::{BuildSolid, Tetrahedron},
+        surface::BuildSurface,
     },
     insert::{Insert, IsInserted, IsInsertedNo, IsInsertedYes},
-    join::JoinCycle,
+    join::cycle::JoinCycle,
     update::{
-        UpdateCycle, UpdateFace, UpdateHalfEdge, UpdateShell, UpdateSolid,
+        cycle::UpdateCycle, edge::UpdateHalfEdge, face::UpdateFace,
+        shell::UpdateShell, solid::UpdateSolid,
     },
 };

crates/fj-kernel/src/operations/update/mod.rs

@@ -1,10 +1,5 @@
-mod cycle;
+pub mod cycle;
-mod edge;
+pub mod edge;
-mod face;
+pub mod face;
-mod shell;
+pub mod shell;
-mod solid;
+pub mod solid;
-
-pub use self::{
-    cycle::UpdateCycle, edge::UpdateHalfEdge, face::UpdateFace,
-    shell::UpdateShell, solid::UpdateSolid,
-};

crates/fj-kernel/src/operations/update/shell.rs

@@ -6,10 +6,10 @@ use crate::{
 /// Update a [`Shell`]
 pub trait UpdateShell {
     /// Update a face of the shell
-    fn update_face(
+    fn replace_face(
         &self,
-        handle: &Handle<Face>,
+        original: &Handle<Face>,
-        f: impl FnMut(&Handle<Face>) -> Handle<Face>,
+        replacement: Handle<Face>,
     ) -> Shell;
 
     /// Remove a face from the shell
@@ -17,14 +17,14 @@ pub trait UpdateShell {
 }
 
 impl UpdateShell for Shell {
-    fn update_face(
+    fn replace_face(
         &self,
-        handle: &Handle<Face>,
+        original: &Handle<Face>,
-        mut f: impl FnMut(&Handle<Face>) -> Handle<Face>,
+        replacement: Handle<Face>,
     ) -> Shell {
         let faces = self.faces().into_iter().map(|face| {
-            if face.id() == handle.id() {
+            if face.id() == original.id() {
-                f(face)
+                replacement.clone()
             } else {
                 face.clone()
             }

crates/fj-kernel/src/validate/shell.rs

@@ -210,20 +210,24 @@ mod tests {
             [[0., 0., 0.], [0., 1., 0.], [1., 0., 0.], [0., 0., 1.]],
             &mut services,
         );
-        let invalid = valid.shell.update_face(&valid.abc.face, |face| {
+        let invalid = valid.shell.replace_face(
-            face.update_exterior(|cycle| {
+            &valid.abc.face,
-                cycle
+            valid
-                    .update_nth_half_edge(0, |half_edge| {
+                .abc
-                        let global_form =
+                .face
-                            GlobalEdge::new().insert(&mut services);
+                .update_exterior(|cycle| {
-                        half_edge
+                    cycle
-                            .replace_global_form(global_form)
+                        .update_nth_half_edge(0, |half_edge| {
-                            .insert(&mut services)
+                            let global_form =
-                    })
+                                GlobalEdge::new().insert(&mut services);
-                    .insert(&mut services)
+                            half_edge
-            })
+                                .replace_global_form(global_form)
-            .insert(&mut services)
+                                .insert(&mut services)
-        });
+                        })
+                        .insert(&mut services)
+                })
+                .insert(&mut services),
+        );
 
         valid.shell.validate_and_return_first_error()?;
         assert_contains_err!(