drawing: create `BandIndex` object to pass around bands

This commit is contained in:
Mikolaj Wielgus 2024-05-14 00:28:32 +02:00
parent 4c6fa0e5d3
commit c006dcfd47
3 changed files with 78 additions and 73 deletions

6
src/drawing/band.rs Normal file
View File

@ -0,0 +1,6 @@
use crate::drawing::seg::{LoneLooseSegIndex, SeqLooseSegIndex};
pub enum BandIndex {
Straight(LoneLooseSegIndex),
Bended(SeqLooseSegIndex),
}

View File

@ -5,45 +5,36 @@ use geo::Point;
use rstar::{RTree, RTreeObject, AABB}; use rstar::{RTree, RTreeObject, AABB};
use thiserror::Error; use thiserror::Error;
use super::graph::GetLayer;
use super::loose::{GetNextLoose, Loose, LooseIndex};
use super::rules::RulesTrait;
use super::segbend::Segbend;
use crate::drawing::bend::BendIndex;
use crate::drawing::collect::Collect;
use crate::drawing::dot::DotWeight;
use crate::drawing::graph::GetMaybeNet;
use crate::drawing::guide::Guide;
use crate::drawing::primitive::GetLimbs;
use crate::drawing::rules::GetConditions;
use crate::drawing::wraparoundable::{GetWraparound, Wraparoundable, WraparoundableIndex};
use crate::drawing::{ use crate::drawing::{
bend::{FixedBendIndex, LooseBendIndex, LooseBendWeight}, band::BandIndex,
dot::{DotIndex, FixedDotIndex, FixedDotWeight, LooseDotIndex, LooseDotWeight}, bend::{BendIndex, BendWeight, FixedBendIndex, LooseBendIndex, LooseBendWeight},
graph::{MakePrimitive, PrimitiveIndex, PrimitiveWeight}, collect::Collect,
dot::{DotIndex, DotWeight, FixedDotIndex, FixedDotWeight, LooseDotIndex, LooseDotWeight},
graph::{GetLayer, GetMaybeNet, MakePrimitive, PrimitiveIndex, PrimitiveWeight},
guide::Guide,
loose::{GetNextLoose, Loose, LooseIndex},
primitive::{ primitive::{
GenericPrimitive, GetCore, GetInnerOuter, GetJoints, GetOtherJoint, MakePrimitiveShape, GenericPrimitive, GetCore, GetInnerOuter, GetJoints, GetLimbs, GetOtherJoint,
MakePrimitiveShape,
}, },
rules::{GetConditions, RulesTrait},
seg::{ seg::{
FixedSegIndex, FixedSegWeight, LoneLooseSegIndex, LoneLooseSegWeight, SegIndex, FixedSegIndex, FixedSegWeight, LoneLooseSegIndex, LoneLooseSegWeight, SegIndex, SegWeight,
SeqLooseSegIndex, SeqLooseSegWeight, SeqLooseSegIndex, SeqLooseSegWeight,
}, },
segbend::Segbend,
wraparoundable::{GetWraparound, Wraparoundable, WraparoundableIndex},
}; };
use crate::geometry::compound::CompoundManagerTrait;
use crate::geometry::with_rtree::BboxedIndex;
use crate::geometry::GenericNode;
use crate::geometry::{ use crate::geometry::{
compound::CompoundManagerTrait,
primitive::{PrimitiveShape, PrimitiveShapeTrait}, primitive::{PrimitiveShape, PrimitiveShapeTrait},
with_rtree::GeometryWithRtree, with_rtree::{BboxedIndex, GeometryWithRtree},
BendWeightTrait, DotWeightTrait, Geometry, GeometryLabel, GetOffset, GetPos, GetWidth, BendWeightTrait, DotWeightTrait, GenericNode, Geometry, GeometryLabel, GetOffset, GetPos,
SegWeightTrait, GetWidth, SegWeightTrait,
}; };
use crate::graph::{GenericIndex, GetNodeIndex}; use crate::graph::{GenericIndex, GetNodeIndex};
use crate::math::NoTangents; use crate::math::NoTangents;
use super::bend::BendWeight;
use super::seg::SegWeight;
#[enum_dispatch] #[enum_dispatch]
#[derive(Error, Debug, Clone, Copy)] #[derive(Error, Debug, Clone, Copy)]
pub enum LayoutException { pub enum LayoutException {
@ -94,13 +85,18 @@ impl<CW: Copy, R: RulesTrait> Drawing<CW, R> {
} }
} }
pub fn remove_band(&mut self, first_loose: SeqLooseSegIndex) { pub fn remove_band(&mut self, band: BandIndex) {
match band {
BandIndex::Straight(seg) => {
self.geometry_with_rtree.remove_seg(seg.into());
}
BandIndex::Bended(first_loose_seg) => {
let mut dots = vec![]; let mut dots = vec![];
let mut segs = vec![]; let mut segs = vec![];
let mut bends = vec![]; let mut bends = vec![];
let mut outers = vec![]; let mut outers = vec![];
let mut maybe_loose = Some(first_loose.into()); let mut maybe_loose = Some(first_loose_seg.into());
let mut prev = None; let mut prev = None;
while let Some(loose) = maybe_loose { while let Some(loose) = maybe_loose {
@ -149,6 +145,8 @@ impl<CW: Copy, R: RulesTrait> Drawing<CW, R> {
self.update_this_and_outward_bows(outer).unwrap(); // Must never fail. self.update_this_and_outward_bows(outer).unwrap(); // Must never fail.
} }
} }
}
}
#[debug_ensures(ret.is_ok() -> self.geometry_with_rtree.graph().node_count() == old(self.geometry_with_rtree.graph().node_count() + 1))] #[debug_ensures(ret.is_ok() -> self.geometry_with_rtree.graph().node_count() == old(self.geometry_with_rtree.graph().node_count() + 1))]
#[debug_ensures(ret.is_err() -> self.geometry_with_rtree.graph().node_count() == old(self.geometry_with_rtree.graph().node_count()))] #[debug_ensures(ret.is_err() -> self.geometry_with_rtree.graph().node_count() == old(self.geometry_with_rtree.graph().node_count()))]

View File

@ -1,5 +1,6 @@
#[macro_use] #[macro_use]
pub mod graph; pub mod graph;
pub mod band;
pub mod bend; pub mod bend;
pub mod collect; pub mod collect;
pub mod dot; pub mod dot;