rei-mirrors/Fornjot
1
0
Fork 0
mirror of https://github.com/hannobraun/Fornjot synced 2025-05-07 19:38:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Derive invalid solid from valid one

Browse Source
This commit is contained in:
Hanno Braun 2024-05-29 14:20:39 +02:00
parent ba5d82c54a
commit d3ac878d25
1 changed files with 19 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

55
crates/fj-core/src/validation/checks/multiple_references.rs
View File

@ -191,10 +191,11 @@ mod tests {
geometry::GlobalPath,
operations::{
build::{
BuildFace, BuildHalfEdge, BuildSketch, BuildSolid, BuildSurface,
BuildHalfEdge, BuildShell, BuildSketch, BuildSolid,
BuildSurface,
},
insert::Insert,
update::{UpdateRegion, UpdateSketch},
update::{UpdateRegion, UpdateShell, UpdateSketch, UpdateSolid},
},
topology::{
Cycle, Face, HalfEdge, Region, Shell, Sketch, Solid, Surface,
@ -290,43 +291,25 @@ mod tests {
&core.layers.geometry,
)?;
let surface = Surface::from_uv(
GlobalPath::circle_from_radius(1.),
[0., 1., 1.],
let invalid = valid.solid.add_shells(
{
let shell = Shell::tetrahedron(
[[0., 0., 0.], [1., 0., 0.], [0., 1., 0.], [0., 0., 1.]],
&mut core,
)
.shell;
[shell.update_face(
shell.faces().first(),
|_, _| {
[valid.solid.shells().first().faces().first().clone()]
},
&mut core,
)]
},
&mut core,
);
let shared_face = Face::new(
surface.clone(),
Region::new(
Cycle::new(vec![HalfEdge::circle(
[0., 0.],
1.,
surface,
&mut core,
)])
.insert(&mut core),
vec![],
)
.insert(&mut core),
)
.insert(&mut core);
let invalid = Solid::new(vec![
Shell::new(vec![shared_face.clone()]).insert(&mut core),
Shell::new(vec![
shared_face,
Face::triangle(
[[0., 0., 0.], [1., 0., 0.], [1., 1., 0.]],
&mut core,
)
.insert(&mut core)
.face,
])
.insert(&mut core),
])
.insert(&mut core);
assert_contains_err!(
core,
invalid,