Add SweepFaceOfShell

crates/fj-core/src/operations/sweep/mod.rs

@@ -8,6 +8,7 @@ mod face;
 mod half_edge;
 mod path;
 mod region;
+mod shell_face;
 mod sketch;
 mod vertex;
 
@@ -17,6 +18,7 @@ pub use self::{
  half_edge::SweepHalfEdge,
  path::SweepSurfacePath,
  region::SweepRegion,
+ shell_face::SweepFaceOfShell,
  sketch::SweepSketch,
  vertex::SweepVertex,
 };

crates/fj-core/src/operations/sweep/shell_face.rs

@@ -0,0 +1,65 @@
+use fj_math::Vector;
+
+use crate::{
+ objects::{Face, Region, Shell},
+ operations::{
+ insert::Insert,
+ reverse::Reverse,
+ sweep::{SweepCache, SweepRegion},
+ update::UpdateShell,
+ },
+ services::Services,
+ storage::Handle,
+};
+
+/// # Sweep a [`Face`] that is part of a [`Shell`]
+///
+/// See [module documentation] for more information.
+///
+/// [module documentation]: super
+pub trait SweepFaceOfShell {
+ /// # Sweep the [`Face`] of the [`Shell`]
+ ///
+ /// Extends the shell, adding the new faces to it.
+ ///
+ /// # Panics
+ ///
+ /// Panics, if the face has interior cycles. This is not a fundamental
+ /// limitation, but none the less not yet supported.
+ fn sweep_face_of_shell(
+ &self,
+ face: Handle<Face>,
+ path: impl Into<Vector<3>>,
+ services: &mut Services,
+ ) -> Self;
+}
+
+impl SweepFaceOfShell for Shell {
+ fn sweep_face_of_shell(
+ &self,
+ face: Handle<Face>,
+ path: impl Into<Vector<3>>,
+ services: &mut Services,
+ ) -> Self {
+ let path = path.into();
+
+ if !face.region().interiors().is_empty() {
+ todo!(
+ "Sweeping shell faces with interior cycles is not yet \
+ supported."
+ )
+ }
+
+ let mut cache = SweepCache::default();
+
+ let exterior =
+ face.region().exterior().reverse(services).insert(services);
+ let region = Region::new(exterior, [], face.region().color());
+ let faces = region
+ .sweep_region(face.surface(), path, &mut cache, services)
+ .into_iter()
+ .map(|face| face.insert(services));
+
+ self.remove_face(&face).add_faces(faces)
+ }
+}

models/split/src/lib.rs

@@ -5,7 +5,7 @@ use fj::{
  build::{BuildRegion, BuildSketch},
  insert::Insert,
  split::SplitFace,
- sweep::SweepSketch,
+ sweep::{SweepFaceOfShell, SweepSketch},
  update::{UpdateSketch, UpdateSolid},
  },
  services::Services,
@@ -46,7 +46,11 @@ pub fn model(
  (cycle.half_edges().nth(2).unwrap(), [split_pos]),
  ];
 
- shell.split_face(face, line, services).0.insert(services)
+ let (shell, [face, _]) = shell.split_face(face, line, services);
+
+ shell
+ .sweep_face_of_shell(face, [0., 0., -size / 2.], services)
+ .insert(services)
  })
  .insert(services)
 }