0029780: [REGRESSION] Shape Healing - Operator FixShape failed with exception
[occt.git] / src / BRepFill / BRepFill_OffsetWire.cxx
CommitLineData
b311480e 1// Created on: 1995-04-20
2// Created by: Bruno DUMORTIER
3// Copyright (c) 1995-1999 Matra Datavision
973c2be1 4// Copyright (c) 1999-2014 OPEN CASCADE SAS
b311480e 5//
973c2be1 6// This file is part of Open CASCADE Technology software library.
b311480e 7//
d5f74e42 8// This library is free software; you can redistribute it and/or modify it under
9// the terms of the GNU Lesser General Public License version 2.1 as published
973c2be1 10// by the Free Software Foundation, with special exception defined in the file
11// OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
12// distribution for complete text of the license and disclaimer of any warranty.
b311480e 13//
973c2be1 14// Alternatively, this file may be used under the terms of Open CASCADE
15// commercial license or contractual agreement.
7fd59977 16
17// Modified by skv - Fri Jul 8 11:21:38 2005 OCC9145
18
42cf5bc1 19#include <Adaptor3d_Curve.hxx>
5201d3e6 20#include <Adaptor2d_OffsetCurve.hxx>
42cf5bc1 21#include <Bisector_Bisec.hxx>
22#include <BRep_Builder.hxx>
23#include <BRep_CurveRepresentation.hxx>
24#include <BRep_GCurve.hxx>
25#include <BRep_TEdge.hxx>
26#include <BRep_Tool.hxx>
27#include <BRep_TVertex.hxx>
7fd59977 28#include <BRepAdaptor_Curve.hxx>
29#include <BRepAdaptor_Surface.hxx>
7fd59977 30#include <BRepFill_DataMapOfNodeShape.hxx>
42cf5bc1 31#include <BRepFill_DataMapOfOrientedShapeListOfShape.hxx>
7fd59977 32#include <BRepFill_DataMapOfShapeSequenceOfPnt.hxx>
42cf5bc1 33#include <BRepFill_DataMapOfShapeSequenceOfReal.hxx>
34#include <BRepFill_OffsetWire.hxx>
7fd59977 35#include <BRepFill_TrimEdgeTool.hxx>
36#include <BRepLib.hxx>
42cf5bc1 37#include <BRepLib_MakeEdge.hxx>
7fd59977 38#include <BRepLib_MakeFace.hxx>
42cf5bc1 39#include <BRepLib_MakeVertex.hxx>
7fd59977 40#include <BRepLib_MakeWire.hxx>
42cf5bc1 41#include <BRepMAT2d_BisectingLocus.hxx>
42#include <BRepMAT2d_Explorer.hxx>
43#include <BRepMAT2d_LinkTopoBilo.hxx>
7fd59977 44#include <BRepTools.hxx>
42cf5bc1 45#include <BRepTools_Substitution.hxx>
7fd59977 46#include <BRepTools_WireExplorer.hxx>
42cf5bc1 47#include <Geom2d_BSplineCurve.hxx>
7fd59977 48#include <Geom2d_Circle.hxx>
42cf5bc1 49#include <Geom2d_Curve.hxx>
7fd59977 50#include <Geom2d_Line.hxx>
7fd59977 51#include <Geom2d_OffsetCurve.hxx>
42cf5bc1 52#include <Geom2d_TrimmedCurve.hxx>
53#include <Geom2dAdaptor_Curve.hxx>
54#include <Geom2dAdaptor_HCurve.hxx>
55#include <Geom2dConvert_CompCurveToBSplineCurve.hxx>
56#include <Geom2dLProp_CLProps2d.hxx>
7fd59977 57#include <Geom_Circle.hxx>
6a442250 58#include <Geom_Line.hxx>
7fd59977 59#include <Geom_OffsetCurve.hxx>
42cf5bc1 60#include <Geom_Plane.hxx>
61#include <Geom_Surface.hxx>
62#include <Geom_TrimmedCurve.hxx>
63#include <GeomAPI.hxx>
64#include <gp.hxx>
65#include <gp_Ax2.hxx>
66#include <gp_Dir2d.hxx>
67#include <gp_Pln.hxx>
68#include <gp_Vec.hxx>
69#include <MAT2d_CutCurve.hxx>
7fd59977 70#include <MAT_Arc.hxx>
7fd59977 71#include <MAT_Graph.hxx>
42cf5bc1 72#include <MAT_Node.hxx>
7fd59977 73#include <Precision.hxx>
42cf5bc1 74#include <Standard_ConstructionError.hxx>
75#include <Standard_ErrorHandler.hxx>
76#include <Standard_NoSuchObject.hxx>
7fd59977 77#include <Standard_NotImplemented.hxx>
42cf5bc1 78#include <TColgp_Array1OfPnt2d.hxx>
7fd59977 79#include <TColgp_SequenceOfPnt.hxx>
42cf5bc1 80#include <TColStd_Array1OfInteger.hxx>
81#include <TColStd_Array1OfReal.hxx>
82#include <TColStd_SequenceOfReal.hxx>
83#include <TopAbs.hxx>
7fd59977 84#include <TopExp.hxx>
85#include <TopExp_Explorer.hxx>
86#include <TopoDS.hxx>
7fd59977 87#include <TopoDS_Compound.hxx>
42cf5bc1 88#include <TopoDS_Face.hxx>
7fd59977 89#include <TopoDS_Iterator.hxx>
42cf5bc1 90#include <TopoDS_Shape.hxx>
91#include <TopoDS_Wire.hxx>
7fd59977 92#include <TopTools_DataMapIteratorOfDataMapOfShapeListOfShape.hxx>
93#include <TopTools_DataMapIteratorOfDataMapOfShapeShape.hxx>
42cf5bc1 94#include <TopTools_DataMapOfShapeListOfShape.hxx>
7fd59977 95#include <TopTools_DataMapOfShapeSequenceOfShape.hxx>
42cf5bc1 96#include <TopTools_IndexedDataMapOfShapeListOfShape.hxx>
7fd59977 97#include <TopTools_IndexedMapOfShape.hxx>
42cf5bc1 98#include <TopTools_ListIteratorOfListOfShape.hxx>
99#include <TopTools_ListOfShape.hxx>
100#include <TopTools_MapIteratorOfMapOfShape.hxx>
101#include <TopTools_MapOfShape.hxx>
102#include <TopTools_SequenceOfShape.hxx>
103
104#include <stdio.h>
873c119f 105#ifdef OCCT_DEBUG
106//#define DRAW
7fd59977 107#ifdef DRAW
108#include <Draw.hxx>
109#include <DrawTrSurf.hxx>
110#include <DrawTrSurf_Curve2d.hxx>
111#include <DBRep.hxx>
ec357c5c 112#include <Geom_Curve.hxx>
7fd59977 113static Standard_Boolean AffichGeom = Standard_False;
114static Standard_Boolean Affich2d = Standard_False;
115static Standard_Boolean AffichEdge = Standard_False;
116static Standard_Integer NbTRIMEDGES = 0;
117static Standard_Integer NbOFFSET = 0;
118static Standard_Integer NbEDGES = 0;
119static Standard_Integer NbBISSEC = 0;
7fd59977 120#endif
873c119f 121#endif
7fd59977 122
123// Modified by Sergey KHROMOV - Thu Nov 16 17:24:39 2000 Begin
124
125static void QuasiFleche(const Adaptor3d_Curve& C,
873c119f 126 const Standard_Real Deflection2,
127 const Standard_Real Udeb,
128 const gp_Pnt& Pdeb,
129 const gp_Vec& Vdeb,
130 const Standard_Real Ufin,
131 const gp_Pnt& Pfin,
132 const gp_Vec& Vfin,
133 const Standard_Integer Nbmin,
134 const Standard_Real Eps,
135 TColStd_SequenceOfReal& Parameters,
136 TColgp_SequenceOfPnt& Points);
7fd59977 137
138static Standard_Boolean PerformCurve (TColStd_SequenceOfReal& Parameters,
873c119f 139 TColgp_SequenceOfPnt& Points,
140 const Adaptor3d_Curve& C,
141 const Standard_Real Deflection,
142 const Standard_Real U1,
143 const Standard_Real U2,
144 const Standard_Real EPSILON,
145 const Standard_Integer Nbmin);
7fd59977 146
147static void CheckBadEdges(const TopoDS_Face& Spine, const Standard_Real Offset,
873c119f 148 const BRepMAT2d_BisectingLocus& Locus,
149 const BRepMAT2d_LinkTopoBilo& Link,
150 TopTools_ListOfShape& BadEdges);
7fd59977 151
152static Standard_Integer CutEdge (const TopoDS_Edge& E,
873c119f 153 const TopoDS_Face& F,
154 Standard_Integer ForceCut,
155 TopTools_ListOfShape& Cuts);
7fd59977 156
157
158static void CutCurve (const Handle(Geom2d_TrimmedCurve)& C,
873c119f 159 const Standard_Integer nbParts,
160 TColGeom2d_SequenceOfCurve& theCurves);
7fd59977 161// Modified by Sergey KHROMOV - Thu Nov 16 17:24:47 2000 End
162
163
164static void EdgeVertices (const TopoDS_Edge& E,
873c119f 165 TopoDS_Vertex& V1,
166 TopoDS_Vertex& V2)
7fd59977 167{
168 if (E.Orientation() == TopAbs_REVERSED) {
169 TopExp::Vertices(E,V2,V1);
170 }
171 else {
172 TopExp::Vertices(E,V1,V2);
173 }
174}
7fd59977 175static Standard_Boolean VertexFromNode
873c119f 176 (const Handle(MAT_Node)& aNode,
177 const Standard_Real Offset,
178 gp_Pnt2d& PN,
179 BRepFill_DataMapOfNodeShape& MapNodeVertex,
180 TopoDS_Vertex& VN);
7fd59977 181
182static void StoreInMap (const TopoDS_Shape& V1,
873c119f 183 const TopoDS_Shape& V2,
184 TopTools_IndexedDataMapOfShapeShape& MapVV);
7fd59977 185
186static void TrimEdge (const TopoDS_Edge& CurrentEdge,
e11c1bc4 187 const TopoDS_Shape& CurrentSpine,
188 const TopoDS_Face& AllSpine,
873c119f 189 const TopTools_ListOfShape& D,
6a442250 190 TopTools_SequenceOfShape& Sv,
191 TColStd_SequenceOfReal& MapverPar,
192 TopTools_SequenceOfShape& S,
193 TopTools_IndexedDataMapOfShapeShape& MapVV,
194 const Standard_Integer IndOfE);
7fd59977 195
e11c1bc4 196static Standard_Boolean IsInnerEdge(const TopoDS_Shape& ProE,
197 const TopoDS_Face& AllSpine,
198 Standard_Real& TrPar1,
199 Standard_Real& TrPar2);
200
7fd59977 201static Standard_Boolean DoubleOrNotInside (const TopTools_ListOfShape& EC,
873c119f 202 const TopoDS_Vertex& V);
7fd59977 203
204static Standard_Boolean IsSmallClosedEdge(const TopoDS_Edge& anEdge,
873c119f 205 const TopoDS_Vertex& aVertex);
7fd59977 206
207static void MakeCircle
873c119f 208 (const TopoDS_Edge& E,
209 const TopoDS_Vertex& V,
210 const TopoDS_Face& F,
211 const Standard_Real Offset,
212 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
213 const Handle(Geom_Plane)& RefPlane);
7fd59977 214
215static void MakeOffset
873c119f 216 (const TopoDS_Edge& E,
217 const TopoDS_Face& F,
218 const Standard_Real Offset,
219 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
220 const Handle(Geom_Plane)& RefPlane,
221 const Standard_Boolean IsOpenResult,
c7806cb6 222 const GeomAbs_JoinType theJoinType,
873c119f 223 const TopoDS_Vertex * Ends);
7fd59977 224
7642e2d0 225Standard_Boolean CheckSmallParamOnEdge(const TopoDS_Edge& anEdge);
226
7fd59977 227//=======================================================================
228//function : KPartCircle
229//purpose :
230//=======================================================================
231
232static Standard_Boolean KPartCircle
873c119f 233 (const TopoDS_Face& mySpine,
234 const Standard_Real myOffset,
235 const Standard_Boolean IsOpenResult,
236 const Standard_Real Alt,
237 TopoDS_Shape& myShape,
238 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& myMap,
239 Standard_Boolean& myIsDone)
7fd59977 240{
6b121e2b 241 TopoDS_Edge E;
242 for (TopExp_Explorer anEdgeIter (mySpine, TopAbs_EDGE); anEdgeIter.More(); anEdgeIter.Next())
243 {
244 if (!E.IsNull())
245 {
246 return Standard_False;
247 }
248 E = TopoDS::Edge (anEdgeIter.Current());
249 }
250 if (E.IsNull())
251 {
252 return Standard_False;
7fd59977 253 }
7fd59977 254
255 Standard_Real f,l;
256 TopLoc_Location L;
257 Handle(Geom_Curve) C = BRep_Tool::Curve(E,L,f,l);
6b121e2b 258 if (C.IsNull())
259 {
260 return Standard_False;
261 }
7fd59977 262
263 if (C->IsKind(STANDARD_TYPE(Geom_TrimmedCurve))) {
264 Handle(Geom_TrimmedCurve) Ct = Handle(Geom_TrimmedCurve)::DownCast(C);
265 C = Ct->BasisCurve();
266 }
267
da72a17c 268 if ((C->IsKind(STANDARD_TYPE(Geom_Circle)) && BRep_Tool::IsClosed(E)) || //closed circle
e11c1bc4 269 IsOpenResult)
6a442250 270 {
6a442250 271 Standard_Real anOffset = myOffset;
6a442250 272
0e0f7a7c 273 Handle(Geom2d_Curve) aPCurve = BRep_Tool::CurveOnSurface(E, mySpine, f, l);
6a442250 274 Handle(Geom2dAdaptor_HCurve) AHC = new Geom2dAdaptor_HCurve(aPCurve, f, l);
0e0f7a7c 275 Handle(Geom2d_Curve) OC;
276 if (AHC->GetType() == GeomAbs_Line)
277 {
ef237d73 278 if (E.Orientation() == TopAbs_REVERSED)
279 anOffset *= -1;
5201d3e6 280 Adaptor2d_OffsetCurve Off(AHC,anOffset);
0e0f7a7c 281 OC = new Geom2d_Line(Off.Line());
282 }
283 else if (AHC->GetType() == GeomAbs_Circle)
284 {
ef237d73 285 if (E.Orientation() == TopAbs_FORWARD)
286 anOffset *= -1;
0e0f7a7c 287 gp_Circ2d theCirc = AHC->Circle();
c7806cb6 288 if (anOffset > 0. || Abs(anOffset) < theCirc.Radius())
289 OC = new Geom2d_Circle (theCirc.Position(), theCirc.Radius() + anOffset);
290 else
291 {
292 myIsDone = Standard_False;
293 return Standard_False;
873c119f 294 }
0e0f7a7c 295 }
296 else
297 {
ef237d73 298 if (E.Orientation() == TopAbs_FORWARD)
299 anOffset *= -1;
0e0f7a7c 300 Handle(Geom2d_TrimmedCurve) G2dT = new Geom2d_TrimmedCurve(aPCurve, f, l);
301 OC = new Geom2d_OffsetCurve( G2dT, anOffset);
302 }
303 Handle(Geom_Surface) aSurf = BRep_Tool::Surface(mySpine);
6a442250 304 Handle(Geom_Plane) aPlane = Handle(Geom_Plane)::DownCast(aSurf);
0e0f7a7c 305 myShape = BRepLib_MakeEdge(OC, aPlane, f, l);
6a442250 306 BRepLib::BuildCurve3d(TopoDS::Edge(myShape));
307
308 myShape.Orientation(E.Orientation());
309 myShape.Location(L);
a2ff7810 310 if (fabs(Alt) > gp::Resolution()) {
6a442250 311 BRepAdaptor_Surface S(mySpine,0);
312 gp_Ax1 Nor = S.Plane().Axis();
313 gp_Trsf T;
314 gp_Vec Trans(Nor.Direction());
315 Trans = Alt*Trans;
316 T.SetTranslation(Trans);
317 myShape.Move(TopLoc_Location(T));
318 }
319
320 TopTools_ListOfShape LL;
321 LL.Append(myShape);
322 myMap.Add(E,LL);
323
324 TopoDS_Edge myEdge = TopoDS::Edge(myShape);
325 myShape = BRepLib_MakeWire(myEdge);
326
327 myIsDone = Standard_True;
328 return Standard_True;
329 }
7fd59977 330
0e0f7a7c 331 return Standard_False;
7fd59977 332}
333
334//=======================================================================
335//function : BRepFill_OffsetWire
336//purpose :
337//=======================================================================
338
339BRepFill_OffsetWire::BRepFill_OffsetWire()
6a442250 340 : myIsOpenResult(Standard_False),
341 myIsDone(Standard_False)
7fd59977 342{
343}
344
345
346//=======================================================================
347//function : BRepFill_OffsetWire
348//purpose :
349//=======================================================================
350
351BRepFill_OffsetWire::BRepFill_OffsetWire(const TopoDS_Face& Spine,
873c119f 352 const GeomAbs_JoinType Join,
353 const Standard_Boolean IsOpenResult)
7fd59977 354{
6a442250 355 Init(Spine,Join,IsOpenResult);
7fd59977 356}
357
7fd59977 358//=======================================================================
359//function : Init
360//purpose :
361//=======================================================================
362
363void BRepFill_OffsetWire::Init(const TopoDS_Face& Spine,
873c119f 364 const GeomAbs_JoinType Join,
365 const Standard_Boolean IsOpenResult)
7fd59977 366{
7fd59977 367 myIsDone = Standard_False;
368 TopoDS_Shape aLocalShape = Spine.Oriented(TopAbs_FORWARD);
369 mySpine = TopoDS::Face(aLocalShape);
873c119f 370 // mySpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
7fd59977 371 myJoinType = Join;
6a442250 372 myIsOpenResult = IsOpenResult;
873c119f 373
7fd59977 374 myMap.Clear();
375 myMapSpine.Clear();
376 //------------------------------------------------------------------
0d969553 377 // cut the spine for bissectors.
7fd59977 378 //------------------------------------------------------------------
873c119f 379 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 Begin
7fd59977 380 static BRepMAT2d_Explorer Exp;
381
382 Exp.Perform(mySpine);
383
873c119f 384 // TopoDS_Face anOldSpine = mySpine;
7fd59977 385
386 mySpine = TopoDS::Face(Exp.ModifiedShape(mySpine));
387 PrepareSpine ();
388
873c119f 389 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 End
7fd59977 390 TopoDS_Shape aShape;
86b3805f 391 BRepFill_IndexedDataMapOfOrientedShapeListOfShape aMap;
7fd59977 392 Standard_Boolean Done;
e11c1bc4 393 if (KPartCircle(myWorkSpine,1.,myIsOpenResult,0.,aShape,aMap,Done)) return;
873c119f 394
7fd59977 395
396 //-----------------------------------------------------
0d969553
Y
397 // Calculate the map of bissectors to the left.
398 // and Links Topology -> base elements of the map.
7fd59977 399 //-----------------------------------------------------
400
873c119f 401 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 Begin
402 // static BRepMAT2d_Explorer Exp;
403 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 End
7fd59977 404 Exp.Perform(myWorkSpine);
c19dd45e 405 myBilo.Compute(Exp, 1 ,MAT_Left, myJoinType, myIsOpenResult);
873c119f 406 myLink.Perform(Exp,myBilo);
7fd59977 407}
408
409
410//=======================================================================
411//function : IsDone
412//purpose :
413//=======================================================================
414
415Standard_Boolean BRepFill_OffsetWire::IsDone() const
416{
417 return myIsDone;
418}
419
420
421//=======================================================================
422//function : Spine
423//purpose :
424//=======================================================================
425
426const TopoDS_Face& BRepFill_OffsetWire::Spine() const
427{
428 return mySpine;
429}
430
431
432//=======================================================================
433//function : Shape
434//purpose :
435//=======================================================================
436
437const TopoDS_Shape& BRepFill_OffsetWire::Shape() const
438{
439 return myShape;
440}
441
442
443//=======================================================================
444//function : GeneratedShapes
445//purpose :
446//=======================================================================
447
448const TopTools_ListOfShape& BRepFill_OffsetWire::GeneratedShapes
873c119f 449 (const TopoDS_Shape& SpineShape)
7fd59977 450{
451 if (!myCallGen) {
452 if (!myMapSpine.IsEmpty()) {
0d969553 453 // myMapSpine can be empty if passed by PerformWithBilo.
7fd59977 454 TopTools_DataMapIteratorOfDataMapOfShapeShape it(myMapSpine);
455 for (; it.More(); it.Next()) {
86b3805f
J
456 if (myMap.Contains(it.Key())) {
457 if (!myMap.Contains(it.Value())) {
7fd59977 458 TopTools_ListOfShape L;
86b3805f 459 myMap.Add(it.Value(),L);
7fd59977 460 }
461 if ( !it.Value().IsSame(it.Key())) {
86b3805f 462 myMap.ChangeFromKey(it.Value()).Append(myMap.ChangeFromKey(it.Key()));
3f5aa017 463 myMap.RemoveKey(it.Key());
7fd59977 464 }
465 }
86b3805f
J
466 if (myMap.Contains(it.Key().Reversed())) {
467 if (!myMap.Contains(it.Value().Reversed())) {
7fd59977 468 TopTools_ListOfShape L;
86b3805f 469 myMap.Add(it.Value().Reversed(),L);
7fd59977 470 }
471 if ( !it.Value().IsSame(it.Key())) {
86b3805f 472 myMap.ChangeFromKey(it.Value().Reversed()).Append(myMap.ChangeFromKey(it.Key().Reversed()));
3f5aa017 473 myMap.RemoveKey(it.Key().Reversed());
7fd59977 474 }
475 }
476 }
477 }
478 myCallGen = Standard_True;
479 }
873c119f 480
86b3805f
J
481 if (myMap.Contains(SpineShape)) {
482 return myMap.FindFromKey(SpineShape);
7fd59977 483 }
484 else {
485 static TopTools_ListOfShape Empty;
486 return Empty;
487 }
488}
489
490
491//=======================================================================
492//function : JoinType
493//purpose :
494//=======================================================================
495
496GeomAbs_JoinType BRepFill_OffsetWire::JoinType() const
497{
498 return myJoinType;
499}
500
501//=======================================================================
502//function : Perform
503//purpose :
504//=======================================================================
505
506void BRepFill_OffsetWire::Perform (const Standard_Real Offset,
873c119f 507 const Standard_Real Alt)
7fd59977 508{
91bb31f3 509 // Modified by skv - Fri Jul 8 11:21:38 2005 OCC9145 Begin
510 try
511 {
7fd59977 512 OCC_CATCH_SIGNALS
91bb31f3 513 myCallGen = Standard_False;
e11c1bc4 514 if (KPartCircle(myWorkSpine,Offset,myIsOpenResult,Alt,myShape,myMap,myIsDone)) return;
7fd59977 515
516 TopoDS_Face oldWorkSpain = myWorkSpine;
517
518 TopTools_ListOfShape BadEdges;
519 CheckBadEdges(myWorkSpine,Offset,myBilo,myLink,BadEdges);
520
91bb31f3 521 if(!BadEdges.IsEmpty())
522 {
7fd59977 523 // Modification of myWorkSpine;
04232180 524 //std::cout << "Modification of myWorkSpine : " << BadEdges.Extent() << std::endl;
7fd59977 525 BRepTools_Substitution aSubst;
526 TopTools_ListIteratorOfListOfShape it(BadEdges);
527 TopTools_ListOfShape aL;
528 Standard_Real aDefl = .01 * Abs(Offset);
529 TColStd_SequenceOfReal Parameters;
530 TColgp_SequenceOfPnt Points;
531
532 for(; it.More(); it.Next()) {
91bb31f3 533 aL.Clear();
534 Parameters.Clear();
535 Points.Clear();
536 const TopoDS_Shape& anE = it.Value();
537
538 TopoDS_Vertex Vf, Vl;
539 TopExp::Vertices(TopoDS::Edge(anE), Vf, Vl);
540
541 Standard_Real f, l;
542 Handle(Geom_Curve) G3d = BRep_Tool::Curve(TopoDS::Edge(anE),f,l);
543 GeomAdaptor_Curve AC(G3d,f,l);
544
545 PerformCurve(Parameters, Points, AC, aDefl, f,
873c119f 546 l, Precision::Confusion(), 2);
91bb31f3 547
548 Standard_Integer NPnts = Points.Length();
549 if(NPnts > 2)
550 {
04232180 551 //std::cout << NPnts << " points " << std::endl;
91bb31f3 552 TopoDS_Vertex FV = Vf;
553 TopoDS_Vertex LV;
554 TopoDS_Edge newE;
555 Standard_Integer np;
556 for(np = 2; np < NPnts; np++) {
557 gp_Pnt LP = Points(np);
558 LV = BRepLib_MakeVertex(LP);
559 newE = BRepLib_MakeEdge(FV, LV);
560 aL.Append(newE);
561 FV = LV;
562 }
563 LV = Vl;
564 newE = BRepLib_MakeEdge(FV, LV);
565 aL.Append(newE);
566 }
567 else
568 {
04232180 569 //std::cout << " 2 points " << std::endl;
91bb31f3 570 TopoDS_Edge newE = BRepLib_MakeEdge(Vf, Vl);
571 aL.Append(newE);
572 }
573 //Update myMapSpine
574 if (myMapSpine.IsBound( anE ))
575 {
576 TopTools_ListIteratorOfListOfShape newit( aL );
577 for (; newit.More(); newit.Next())
578 {
579 TopoDS_Edge NewEdge = TopoDS::Edge( newit.Value() );
580 myMapSpine.Bind( NewEdge, myMapSpine(anE) );
581 TopoDS_Vertex NewV1, NewV2;
582 EdgeVertices( NewEdge, NewV1, NewV2 );
583 if (!myMapSpine.IsBound(NewV1)) myMapSpine.Bind( NewV1, myMapSpine(anE) );
584 if (!myMapSpine.IsBound(NewV2)) myMapSpine.Bind( NewV2, myMapSpine(anE) );
585 }
586 myMapSpine.UnBind( anE );
587 }
588 ///////////////////
589 aSubst.Substitute(anE, aL);
7fd59977 590 }
591
592 TopTools_DataMapOfShapeListOfShape wwmap;
593 TopoDS_Iterator itws( myWorkSpine );
594 for (; itws.More(); itws.Next())
91bb31f3 595 {
596 TopoDS_Shape aWire = itws.Value();
597 aSubst.Build( aWire );
598 if (aSubst.IsCopied(aWire))
599 {
600 TopoDS_Wire NewWire = TopoDS::Wire( aSubst.Copy(aWire).First() );
601 NewWire.Closed( aWire.Closed() );
602 TopTools_ListOfShape Lw;
603 Lw.Append( NewWire );
604 wwmap.Bind( aWire, Lw );
605 }
606 }
7fd59977 607 aSubst.Clear();
608 TopTools_DataMapIteratorOfDataMapOfShapeListOfShape itmap( wwmap );
609 for (; itmap.More(); itmap.Next())
91bb31f3 610 aSubst.Substitute( itmap.Key(), itmap.Value() );
873c119f 611
7fd59977 612 aSubst.Build(myWorkSpine);
873c119f 613
7fd59977 614 if(aSubst.IsCopied(myWorkSpine)) {
91bb31f3 615 myWorkSpine = TopoDS::Face(aSubst.Copy(myWorkSpine).First());
ab87e6fc 616
91bb31f3 617 BRepMAT2d_Explorer newExp;
618 newExp.Perform(myWorkSpine);
619 BRepMAT2d_BisectingLocus newBilo;
620 BRepMAT2d_LinkTopoBilo newLink;
c19dd45e 621 newBilo.Compute(newExp, 1, MAT_Left, myJoinType, myIsOpenResult);
ab87e6fc 622
91bb31f3 623 if(!newBilo.IsDone())
624 {
625 myShape.Nullify();
626 myIsDone = Standard_False;
627 return;
628 }
7fd59977 629
91bb31f3 630 newLink.Perform(newExp,newBilo);
631 PerformWithBiLo(myWorkSpine,Offset,newBilo,newLink,myJoinType,Alt);
632 myWorkSpine = oldWorkSpain;
7fd59977 633 }
634 else {
91bb31f3 635 PerformWithBiLo(myWorkSpine,Offset,myBilo,myLink,myJoinType,Alt);
7fd59977 636 }
7fd59977 637 }
91bb31f3 638 else
639 {
7fd59977 640 PerformWithBiLo(myWorkSpine,Offset,myBilo,myLink,myJoinType,Alt);
641 }
ab87e6fc 642 }
9775fa61 643 catch (Standard_Failure const& anException) {
0797d9d3 644#ifdef OCCT_DEBUG
04232180 645 std::cout<<"An exception was caught in BRepFill_OffsetWire::Perform : ";
646 anException.Print(std::cout);
647 std::cout<<std::endl;
63c629aa 648#endif
9775fa61 649 (void)anException;
650 myShape.Nullify();
651 myIsDone = Standard_False;
91bb31f3 652
7fd59977 653 return;
654 }
ab87e6fc 655
91bb31f3 656 // Modified by skv - Fri Jul 8 11:21:38 2005 OCC9145 End
657 // Modified by Sergey KHROMOV - Thu Mar 14 10:48:15 2002 Begin
6a442250 658 if (!myIsOpenResult)
659 {
660 TopExp_Explorer anExp(myShape, TopAbs_WIRE);
873c119f 661
6a442250 662 for (; anExp.More(); anExp.Next()) {
663 const TopoDS_Shape &aWire = anExp.Current();
873c119f 664
6a442250 665 if (!aWire.Closed()) {
666 myShape.Nullify();
667 myIsDone = Standard_False;
9775fa61 668 throw Standard_ConstructionError("Offset wire is not closed.");
6a442250 669 }
7fd59977 670 }
671 }
91bb31f3 672 // Modified by Sergey KHROMOV - Thu Mar 14 10:48:16 2002 End
7fd59977 673}
674
675//=======================================================================
676//function : Compute
677//purpose :
678//=======================================================================
679
680void Compute (const TopoDS_Face& Spine,
873c119f 681 TopoDS_Shape& aShape,
682 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
683 const Standard_Real Alt)
7fd59977 684{
685 BRep_Builder B;
686 B.MakeCompound(TopoDS::Compound(aShape));
687 Standard_Real ALT = Alt;
688 if ( Spine.Orientation() == TopAbs_REVERSED) ALT = -Alt;
689 gp_Trsf T;
690 T.SetTranslation(gp_Vec(0.,0.,ALT));
691 TopLoc_Location L(T);
692
693 for ( TopExp_Explorer exp(Spine,TopAbs_WIRE); exp.More(); exp.Next()) {
694 const TopoDS_Wire& CurW = TopoDS::Wire(exp.Current());
695 TopoDS_Shape aLocalShape = CurW.Moved(L);
696 TopoDS_Wire NewW = TopoDS::Wire(aLocalShape);
873c119f 697 // TopoDS_Wire NewW = TopoDS::Wire(CurW.Moved(L));
7fd59977 698 B.Add(aShape,NewW);
0d969553 699 // update Map.
7fd59977 700 TopoDS_Iterator it1( CurW);
701 TopoDS_Iterator it2( NewW);
702 for ( ; it1.More(); it1.Next(), it2.Next()) {
703 TopTools_ListOfShape List;
704 List.Append(it2.Value());
86b3805f 705 Map.Add(it1.Value(), List);
7fd59977 706 }
707 }
708}
709
710//=======================================================================
711//function : PerformWithBiLo
712//purpose :
713//=======================================================================
714
715void BRepFill_OffsetWire::PerformWithBiLo
873c119f 716 (const TopoDS_Face& Spine,
717 const Standard_Real Offset,
718 const BRepMAT2d_BisectingLocus& Locus,
719 BRepMAT2d_LinkTopoBilo& Link,
720 const GeomAbs_JoinType Join,
721 const Standard_Real Alt)
7fd59977 722{
7fd59977 723 myIsDone = Standard_False;
51740958 724 TopoDS_Shape aLocalShapeWork = Spine.Oriented(TopAbs_FORWARD);
725 myWorkSpine = TopoDS::Face(aLocalShapeWork);
873c119f 726 // myWorkSpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
7fd59977 727 myJoinType = Join;
728 myOffset = Offset ;
729 myShape.Nullify();
730
731
732 if (mySpine.IsNull()) {
733 TopoDS_Shape aLocalShape = Spine.Oriented(TopAbs_FORWARD);
734 mySpine = TopoDS::Face(aLocalShape);
873c119f 735 // mySpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
736 }
7fd59977 737 myMap.Clear();
738
7fd59977 739 if ( Abs(myOffset) < Precision::Confusion()) {
740 Compute(mySpine,myShape,myMap,Alt);
741 myIsDone = Standard_True;
742 return;
743 }
744
0d969553
Y
745 //********************************
746 // Calculate for a non null offset
747 //********************************
e11c1bc4 748 if (KPartCircle(myWorkSpine,Offset,myIsOpenResult,Alt,myShape,myMap,myIsDone))
91bb31f3 749 return;
7fd59977 750
751 BRep_Builder myBuilder;
873c119f 752
7fd59977 753 //---------------------------------------------------------------------
0d969553
Y
754 // MapNodeVertex : associate to each node of the map (key1) and to
755 // each element of the profile (key2) a vertex (item).
756 // MapBis : all edges or vertices (item) generated by
757 // a bisectrice on a face or an edge (key) of revolution tubes.
758 // MapVerPar : Map of parameters of vertices on parallel edges
759 // the list contained in MapVerPar (E) corresponds to
760 // parameters on E of vertices contained in MapBis(E);
7fd59977 761 //---------------------------------------------------------------------
762
763
764 BRepFill_DataMapOfNodeShape MapNodeVertex;
765 TopTools_DataMapOfShapeSequenceOfShape MapBis;
766 BRepFill_DataMapOfShapeSequenceOfReal MapVerPar;
767
768 TopTools_DataMapOfShapeShape EmptyMap;
769 TopTools_SequenceOfShape EmptySeq;
770 TopTools_ListOfShape EmptyList;
771 TColStd_SequenceOfReal EmptySeqOfReal;
772
7fd59977 773 Handle(Geom_Plane) RefPlane =
774 Handle(Geom_Plane)::DownCast(BRep_Tool::Surface(myWorkSpine));
a2ff7810 775 if (fabs(Alt) > gp::Resolution()) {
776 Standard_Real anAlt = Alt;
777 if ( myWorkSpine.Orientation() == TopAbs_REVERSED) anAlt = -Alt;
778 RefPlane = Handle(Geom_Plane)::DownCast
779 (RefPlane->Translated( anAlt * gp_Vec(RefPlane->Axis().Direction() )));
780 }
7fd59977 781
782 //---------------------------------------------------------------
0d969553 783 // Construction of Circles and OffsetCurves
7fd59977 784 //---------------------------------------------------------------
6a442250 785
786 TopoDS_Vertex Ends [2];
787 if (myIsOpenResult)
788 {
789 TopoDS_Wire theWire;
790 TopoDS_Iterator iter(mySpine);
791 theWire = TopoDS::Wire(iter.Value());
792 TopExp::Vertices(theWire, Ends[0], Ends[1]);
793 }
873c119f 794
6b121e2b 795 if (Locus.NumberOfContours() == 0)
796 {
797 return;
798 }
799
7fd59977 800 for (Standard_Integer ic = 1; ic <= Locus.NumberOfContours(); ic++) {
801 TopoDS_Shape PEE = Link.GeneratingShape(Locus.BasicElt(ic,Locus.NumberOfElts(ic)));
802 TopoDS_Shape& PE = PEE ;
803 for (Standard_Integer ie = 1; ie <= Locus.NumberOfElts(ic); ie++) {
804 const TopoDS_Shape& SE = Link.GeneratingShape(Locus.BasicElt(ic,ie));
805 if (SE.ShapeType() == TopAbs_VERTEX) {
0e0f7a7c 806 if (!SE.IsSame(Ends[0]) && !SE.IsSame(Ends[1]))
807 MakeCircle (TopoDS::Edge(PE),TopoDS::Vertex(SE),
808 myWorkSpine,myOffset,myMap,RefPlane);
7fd59977 809 }
810 else {
873c119f 811 MakeOffset (TopoDS::Edge(SE),myWorkSpine,myOffset,myMap,RefPlane,
c7806cb6 812 myIsOpenResult, myJoinType, Ends);
873c119f 813 PE = SE;
7fd59977 814 }
815 }
816 }
817
016dfb16 818 //Remove possible hanging arcs on vertices
819 if (myIsOpenResult && myJoinType == GeomAbs_Arc)
820 {
821 if (!myMap.IsEmpty() &&
822 myMap.FindKey(1).ShapeType() == TopAbs_VERTEX)
823 {
3f5aa017 824 myMap.RemoveFromIndex(1);
016dfb16 825 }
826 if (!myMap.IsEmpty() &&
827 myMap.FindKey(myMap.Extent()).ShapeType() == TopAbs_VERTEX)
828 myMap.RemoveLast();
829 }
7fd59977 830
873c119f 831#ifdef OCCT_DEBUG
1896126e 832#ifdef DRAW
7fd59977 833 if (AffichEdge) {
04232180 834 std::cout << " End Construction of geometric primitives "<<std::endl;
7fd59977 835 }
836#endif
873c119f 837#endif
7fd59977 838
839
840 //---------------------------------------------------
0d969553 841 // Construction of offset vertices.
7fd59977 842 //---------------------------------------------------
843 BRepFill_DataMapOfOrientedShapeListOfShape Detromp;
844 Handle(MAT_Arc) CurrentArc;
845 Handle(Geom2d_Curve) Bis, PCurve1, PCurve2 ;
846 Handle(Geom_Curve) CBis;
847 Standard_Boolean Reverse;
848 TopoDS_Edge CurrentEdge;
849 TopoDS_Shape S [2];
850 TopoDS_Edge E [2];
851 TopLoc_Location L;
86b3805f 852 Standard_Integer j, k;
7fd59977 853
854 for (Standard_Integer i = 1; i <= Locus.Graph()->NumberOfArcs(); i++) {
855
856 CurrentArc = Locus.Graph()->Arc(i);
857 Bisector_Bisec Bisec = Locus.GeomBis(CurrentArc,Reverse);
873c119f 858#ifdef OCCT_DEBUG
7fd59977 859#ifdef DRAW
873c119f 860
861 if ( AffichGeom) {
862 char name[256];
863 sprintf(name,"BISSEC_%d",NbBISSEC++);
864 DrawTrSurf::Set(name,Bisec.Value());
865 }
866#endif
7fd59977 867#endif
868
0d969553
Y
869 //-------------------------------------------------------------------
870 // Return elements of the spine corresponding to separate basicElts.
871 //-------------------------------------------------------------------
7fd59977 872 S [0] = Link.GeneratingShape(CurrentArc->FirstElement());
873 S [1] = Link.GeneratingShape(CurrentArc->SecondElement());
874
875 TopTools_SequenceOfShape Vertices;
876 TColgp_SequenceOfPnt Params;
873c119f 877
7fd59977 878 TopTools_DataMapOfShapeSequenceOfShape MapSeqVer;
879 BRepFill_DataMapOfShapeSequenceOfPnt MapSeqPar;
880
881 //-----------------------------------------------------------
0d969553
Y
882 // Return parallel edges on each face.
883 // If no offset generated => move to the next bissectrice.
7fd59977 884 //--------------------------------------------------------------
86b3805f
J
885 if (myMap.Contains(S[0]) && myMap.Contains(S[1])) {
886 E [0] = TopoDS::Edge(myMap.FindFromKey(S[0]).First());
887 E [1] = TopoDS::Edge(myMap.FindFromKey(S[1]).First());
7fd59977 888 }
889 else continue;
890
891 //-----------------------------------------------------------
0d969553
Y
892 // Construction of vertices corresponding to the node of the map.
893 // if they are on the offset.
7fd59977 894 //-----------------------------------------------------------
895 TopoDS_Vertex VS,VE;
896 Handle(MAT_Node) Node1, Node2;
897
898 if (Reverse) {
899 Node1 = CurrentArc->SecondNode();
900 Node2 = CurrentArc->FirstNode();
901 }
902 else {
903 Node1 = CurrentArc->FirstNode();
904 Node2 = CurrentArc->SecondNode();
905 }
873c119f 906
7fd59977 907 Standard_Boolean StartOnEdge = 0, EndOnEdge = 0;
873c119f 908
7fd59977 909 if (!Node1->Infinite()) {
910 gp_Pnt2d aLocalPnt2d = Locus.GeomElt(Node1);
911 StartOnEdge = VertexFromNode(Node1, myOffset, aLocalPnt2d ,MapNodeVertex,VS);
873c119f 912 // StartOnEdge = VertexFromNode(Node1, myOffset, Locus.GeomElt(Node1),
913 // MapNodeVertex,VS);
7fd59977 914 }
915 if (!Node2->Infinite()) {
916 gp_Pnt2d aLocalPnt2d = Locus.GeomElt(Node2) ;
917 EndOnEdge = VertexFromNode(Node2, myOffset, aLocalPnt2d ,MapNodeVertex,VE);
873c119f 918 // EndOnEdge = VertexFromNode(Node2, myOffset, Locus.GeomElt(Node2),
919 // MapNodeVertex,VE);
7fd59977 920 }
921
9eb68d38 922 if (myJoinType == GeomAbs_Intersection)
923 StartOnEdge = EndOnEdge = 0;
924
7fd59977 925 //---------------------------------------------
0d969553 926 // Construction of geometries.
7fd59977 927 //---------------------------------------------
928 BRepFill_TrimEdgeTool Trim (Bisec,
873c119f 929 Locus.GeomElt(CurrentArc->FirstElement()),
930 Locus.GeomElt(CurrentArc->SecondElement()),
931 myOffset);
7fd59977 932
933 //-----------------------------------------------------------
0d969553 934 // Construction of vertices on edges parallel to the spine.
7fd59977 935 //-----------------------------------------------------------
936
46767247 937 Trim.IntersectWith(E[0], E[1], S[0], S[1], Ends[0], Ends[1],
938 myJoinType, myIsOpenResult, Params);
7fd59977 939
940 for (Standard_Integer s = 1; s <= Params.Length(); s++) {
941 TopoDS_Vertex VC;
942 myBuilder.MakeVertex (VC);
943 gp_Pnt2d P2 = Bisec.Value()->Value(Params.Value(s).X());
944 gp_Pnt PVC(P2.X(),P2.Y(),0.);
945
946 myBuilder.UpdateVertex(VC,PVC,Precision::Confusion());
947 Vertices.Append(VC);
948 }
949 if (StartOnEdge) {
950 Standard_Boolean Start = 1;
951 Trim.AddOrConfuse(Start, E[0], E[1], Params);
952 if (Params.Length() == Vertices.Length())
873c119f 953 Vertices.SetValue(1,VS);
7fd59977 954
955 else
873c119f 956 // the point was not found by IntersectWith
957 Vertices.Prepend(VS);
7fd59977 958 }
959 if (EndOnEdge) {
960 Standard_Boolean Start = 0;
961 Trim.AddOrConfuse(Start, E[0], E[1], Params);
962 if (Params.Length() == Vertices.Length())
873c119f 963 Vertices.SetValue(Params.Length(),VE);
7fd59977 964
965 else
873c119f 966 // the point was not found by IntersectWith
967 Vertices.Append(VE);
7fd59977 968 }
969
970 //------------------------------------------------------------
0d969553
Y
971 // Update Detromp.
972 // Detromp allows to remove vertices on the offset
973 // corresponding to tangency zones
974 // Detromp ranks the vertices that limit
975 // the parts of the bissectrices located between the spine and the
976 // offset.
7fd59977 977 //------------------------------------------------------------
978 if (!Detromp.IsBound(S[0])) Detromp.Bind(S[0],EmptyList);
979 if (!Detromp.IsBound(S[1])) Detromp.Bind(S[1],EmptyList);
980
981
c19dd45e 982 UpdateDetromp (Detromp, S[0], S[1], Vertices, Params,
873c119f 983 Bisec, StartOnEdge, EndOnEdge, Trim);
7fd59977 984 //----------------------------------------------
0d969553
Y
985 // Storage of vertices on parallel edges.
986 // fill MapBis and MapVerPar.
7fd59977 987 //----------------------------------------------
988 if (!Vertices.IsEmpty()) {
989 for (k = 0; k <= 1; k++) {
873c119f 990 if (!MapBis.IsBound(E[k])) {
991 MapBis .Bind(E[k],EmptySeq);
992 MapVerPar.Bind(E[k],EmptySeqOfReal);
993 }
994 for (Standard_Integer ii = 1; ii <= Vertices.Length(); ii++) {
995 MapBis (E[k]).Append(Vertices.Value(ii));
996 if (k == 0) MapVerPar (E[k]).Append(Params.Value(ii).Y());
997 else MapVerPar (E[k]).Append(Params.Value(ii).Z());
998 }
7fd59977 999 }
1000 }
1001 else {
1002 //------------------------------------------------------------
0d969553
Y
1003 // FOR COMPLETE CIRCLES. the parallel line can be contained
1004 // in the zone without intersection with the border
1005 // no intersection
1006 // if myoffset is < distance of nodes the parallel can be valid.
7fd59977 1007 //-------------------------------------------------------------
1008 for (k = 0; k <= 1; k++) {
873c119f 1009 if (!MapBis.IsBound(E[k])) {
1010 if (Node1->Distance() > myOffset && Node2->Distance() > myOffset) {
1011 MapBis .Bind(E[k],EmptySeq);
1012 MapVerPar.Bind(E[k],EmptySeqOfReal);
1013 }
1014 }
7fd59977 1015 }
1016 }
1017 }
873c119f 1018
1019#ifdef OCCT_DEBUG
1896126e 1020#ifdef DRAW
7fd59977 1021 if (AffichEdge) {
04232180 1022 std::cout << " End Construction of vertices on offsets"<<std::endl;
7fd59977 1023 }
1024#endif
873c119f 1025#endif
7fd59977 1026
1027 //----------------------------------
0d969553 1028 // Construction of parallel edges.
7fd59977 1029 //----------------------------------
1030 TopTools_IndexedDataMapOfShapeShape MapVV;
1031
1032 TopoDS_Shape CurrentSpine;
1033
86b3805f 1034 //BRepFill_DataMapIteratorOfDataMapOfOrientedShapeListOfShape ite1;
7fd59977 1035
86b3805f
J
1036 for (j = 1; j <= myMap.Extent(); j++) {
1037 CurrentSpine = myMap.FindKey(j);
1038 CurrentEdge = TopoDS::Edge(myMap(j).First());
7fd59977 1039
86b3805f 1040 myMap(j).Clear();
7fd59977 1041 if (MapBis.IsBound(CurrentEdge)) {
51740958 1042 TopTools_SequenceOfShape aSeqOfShape;
7fd59977 1043 if (!MapBis(CurrentEdge).IsEmpty()) {
6a442250 1044 Standard_Integer IndOfE = 0;
1045 if (myIsOpenResult)
1046 {
1047 if (j == 1)
1048 IndOfE = 1;
1049 else if (j == myMap.Extent())
1050 IndOfE = -1;
1051 }
873c119f 1052 TrimEdge (CurrentEdge,
1053 CurrentSpine,
1054 mySpine,
1055 Detromp (CurrentSpine),
1056 MapBis (CurrentEdge) ,
1057 MapVerPar(CurrentEdge) ,
51740958 1058 aSeqOfShape, MapVV, IndOfE);
1059 for ( k = 1; k <= aSeqOfShape.Length(); k++) {
1060 myMap(j).Append(aSeqOfShape.Value(k));
873c119f 1061 }
7fd59977 1062 }
1063 else {
873c119f 1064 //-----------------
1065 // Complete circles
1066 //-----------------
1067 myMap(j).Append(CurrentEdge);
7fd59977 1068 }
1069 }
1070 }
873c119f 1071
7fd59977 1072 Standard_Integer ind;
1073 for (ind = 1; ind <= MapVV.Extent(); ind++)
873c119f 1074 {
1075 TopoDS_Vertex OldV = TopoDS::Vertex(MapVV.FindKey(ind));
1076 TopoDS_Vertex NewV = TopoDS::Vertex(MapVV(ind));
1077 gp_Pnt P1 = BRep_Tool::Pnt(OldV);
1078 gp_Pnt P2 = BRep_Tool::Pnt(NewV);
1079 myBuilder.UpdateVertex(NewV, P1.Distance(P2));
1080 TopTools_ListOfShape LV;
1081 LV.Append( NewV.Oriented(TopAbs_FORWARD) );
1082 BRepTools_Substitution aSubst;
1083 aSubst.Substitute( OldV, LV );
1084 for (j = 1; j <= myMap.Extent(); j++)
7fd59977 1085 {
873c119f 1086 TopTools_ListIteratorOfListOfShape itl(myMap(j));
1087 for (; itl.More(); itl.Next())
1088 {
1089 aSubst.Build(itl.Value());
1090 if (aSubst.IsCopied(itl.Value()))
1091 {
1092 const TopTools_ListOfShape& listSh = aSubst.Copy(itl.Value());
1093 TopAbs_Orientation SaveOr = itl.Value().Orientation();
1094 itl.Value() = listSh.First();
1095 itl.Value().Orientation(SaveOr);
1096 }
1097 }
7fd59977 1098 }
873c119f 1099 }
7fd59977 1100
1101 //----------------------------------
0d969553 1102 // Construction of offset wires.
7fd59977 1103 //----------------------------------
1104 MakeWires ();
1105
0d969553 1106 // Update vertices ( Constructed in the plane Z = 0) !!!
7fd59977 1107 TopTools_MapOfShape MapVertex;
1108 for ( TopExp_Explorer exp(myShape,TopAbs_VERTEX); exp.More(); exp.Next()) {
1109 TopoDS_Vertex V = TopoDS::Vertex(exp.Current());
1110 if ( MapVertex.Add(V)) {
1111 gp_Pnt P = BRep_Tool::Pnt(V);
1112 P = RefPlane->Value(P.X(),P.Y());
1113 myBuilder.UpdateVertex(V,P, Precision::Confusion());
1114 }
1115 }
1116
0d969553 1117 // Construction of curves 3d.
7fd59977 1118 BRepLib::BuildCurves3d(myShape);
1119 MapVertex.Clear();
1120 TopExp_Explorer Explo( myShape, TopAbs_EDGE );
1121 for (; Explo.More(); Explo.Next())
873c119f 1122 {
51740958 1123 TopoDS_Edge anEdge = TopoDS::Edge( Explo.Current() );
873c119f 1124 TopoDS_Vertex V1, V2;
51740958 1125 TopExp::Vertices(anEdge, V1, V2 );
873c119f 1126 Handle(BRep_TVertex)& TV1 = *((Handle(BRep_TVertex)*) &(V1).TShape());
1127 Handle(BRep_TVertex)& TV2 = *((Handle(BRep_TVertex)*) &(V2).TShape());
1128
1129 TopLoc_Location loc;
1130 Standard_Real f, l;
51740958 1131 Handle( Geom_Curve ) theCurve = BRep_Tool::Curve(anEdge, loc, f, l );
873c119f 1132 theCurve = Handle( Geom_Curve )::DownCast( theCurve->Copy() );
1133 theCurve->Transform( loc.Transformation() );
1134 gp_Pnt f3d = theCurve->Value( f );
1135 gp_Pnt l3d = theCurve->Value( l );
1136
1137 Standard_Real dist1, dist2;
1138 dist1 = f3d.Distance( TV1->Pnt() );
1139 dist2 = l3d.Distance( TV2->Pnt() );
1140 if (! MapVertex.Contains( V1 ))
7fd59977 1141 {
7fd59977 1142
873c119f 1143 TV1->Pnt( f3d );
1144 MapVertex.Add( V1 );
7fd59977 1145 }
873c119f 1146 else
1147 TV1->UpdateTolerance( 1.5*dist1 );
1148 if (! MapVertex.Contains( V2 ))
1149 {
1150 TV2->Pnt( l3d );
1151 MapVertex.Add( V2 );
1152 }
1153 else
1154 TV2->UpdateTolerance( 1.5*dist2 );
1155 }
7fd59977 1156
1867dc32 1157 if (!myIsOpenResult)
1158 FixHoles();
7fd59977 1159
1160 myIsDone = Standard_True;
1161}
1162
1163
1164//=======================================================================
1165//function : Generated
1166//purpose :
1167//=======================================================================
1168
86b3805f 1169BRepFill_IndexedDataMapOfOrientedShapeListOfShape&
873c119f 1170 BRepFill_OffsetWire::Generated()
7fd59977 1171{
1172 return myMap;
1173}
1174
1175
1176//=======================================================================
1177//function : PrepareSpine
1178//purpose :
1179//=======================================================================
1180
1181void BRepFill_OffsetWire::PrepareSpine()
1182{
1183 BRep_Builder B;
1184 TopTools_ListOfShape Cuts;
1185 TopTools_ListIteratorOfListOfShape IteCuts;
1186 TopoDS_Vertex V1,V2;
1187
1188 myWorkSpine.Nullify();
1189 myMapSpine.Clear();
1190
1191 TopLoc_Location L;
1192 const Handle(Geom_Surface)& S = BRep_Tool::Surface (mySpine,L);
1193 Standard_Real TolF = BRep_Tool::Tolerance(mySpine);
1194 B.MakeFace(myWorkSpine,S,L,TolF);
1195
1196 for (TopoDS_Iterator IteF(mySpine) ; IteF.More(); IteF.Next()) {
1197
1198 TopoDS_Wire NW;
1199 B.MakeWire (NW);
1200
873c119f 1201 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:55 2000 Begin
7fd59977 1202 Standard_Integer ForcedCut = 0;
1203 Standard_Integer nbResEdges = -1;
1204 TopTools_IndexedMapOfShape EdgeMap;
1205
1206 TopExp::MapShapes(IteF.Value(), TopAbs_EDGE, EdgeMap);
1207 Standard_Integer nbEdges = EdgeMap.Extent();
1208
6a442250 1209 if (nbEdges == 1 && !myIsOpenResult) //in case of open wire there's no need to do it
7fd59977 1210 ForcedCut = 2;
873c119f 1211 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:48 2000 End
7fd59977 1212
1213 for (TopoDS_Iterator IteW(IteF.Value()); IteW.More(); IteW.Next()) {
1214
1215 const TopoDS_Edge& E = TopoDS::Edge(IteW.Value());
1216 EdgeVertices(E,V1,V2);
1217 myMapSpine.Bind(V1,V1);
1218 myMapSpine.Bind(V2,V2);
1219 Cuts.Clear();
1220
0d969553 1221 // Cut
7fd59977 1222 TopoDS_Shape aLocalShape = E.Oriented(TopAbs_FORWARD);
873c119f 1223 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:29 2000 Begin
7fd59977 1224 if (nbEdges == 2 && nbResEdges == 0)
873c119f 1225 ForcedCut = 1;
1226 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:33 2000 End
7fd59977 1227 nbResEdges = CutEdge (TopoDS::Edge(aLocalShape), mySpine, ForcedCut, Cuts);
1228
1229 if (Cuts.IsEmpty()) {
873c119f 1230 B.Add(NW,E);
1231 myMapSpine.Bind(E,E);
7fd59977 1232 }
1233 else {
873c119f 1234 for (IteCuts.Initialize(Cuts); IteCuts.More(); IteCuts.Next()) {
1235 TopoDS_Edge NE = TopoDS::Edge(IteCuts.Value());
1236 NE.Orientation(E.Orientation());
1237 B.Add(NW,NE);
1238 myMapSpine.Bind(NE,E);
1239 EdgeVertices(NE,V1,V2);
1240 if (!myMapSpine.IsBound(V1)) myMapSpine.Bind(V1,E);
1241 if (!myMapSpine.IsBound(V2)) myMapSpine.Bind(V2,E);
1242 }
7fd59977 1243 }
1244 }
873c119f 1245 // Modified by Sergey KHROMOV - Thu Mar 7 09:17:41 2002 Begin
7fd59977 1246 TopoDS_Vertex aV1;
1247 TopoDS_Vertex aV2;
1248
1249 TopExp::Vertices(NW, aV1, aV2);
1250
1251 NW.Closed(aV1.IsSame(aV2));
873c119f 1252
1253 // Modified by Sergey KHROMOV - Thu Mar 7 09:17:43 2002 End
7fd59977 1254 B.Add(myWorkSpine, NW);
1255 }
1256
873c119f 1257#ifdef OCCT_DEBUG
7fd59977 1258#ifdef DRAW
1259 if ( AffichEdge) {
1896126e 1260 DBRep::Set("WS",myWorkSpine);
873c119f 1261 DBRep::Set("MS",mySpine);
1262 BRepTools::Write(myWorkSpine, "WS");
1263 BRepTools::Write(mySpine, "MS");
7fd59977 1264 }
1265#endif
873c119f 1266#endif
7fd59977 1267
1268}
1269
1270//=======================================================================
c19dd45e 1271//function : UpdateDetromp
1272//purpose : For each interval on bissectrice defined by parameters
1273// test if the medium point is at a distance > offset
1274// in this case vertices corresponding to the extremities of the interval
1275// are ranked in the proofing.
1276// => If the same vertex appears in the proofing, the
1277// border of the zone of proximity is tangent to the offset .
1278//=======================================================================
1279
1280void BRepFill_OffsetWire::UpdateDetromp (BRepFill_DataMapOfOrientedShapeListOfShape& Detromp,
1281 const TopoDS_Shape& Shape1,
1282 const TopoDS_Shape& Shape2,
1283 const TopTools_SequenceOfShape& Vertices,
1284 const TColgp_SequenceOfPnt& Params,
1285 const Bisector_Bisec& Bisec,
1286 const Standard_Boolean SOnE,
1287 const Standard_Boolean EOnE,
1288 const BRepFill_TrimEdgeTool& Trim) const
1289{
c19dd45e 1290 Standard_Integer ii = 1;
c19dd45e 1291
46767247 1292 if (myJoinType == GeomAbs_Intersection)
1293 {
1294 for (; ii <= Vertices.Length(); ii++)
1295 {
1296 const TopoDS_Vertex& aVertex = TopoDS::Vertex(Vertices.Value(ii));
1297 Detromp(Shape1).Append(aVertex);
1298 Detromp(Shape2).Append(aVertex);
c19dd45e 1299 }
c19dd45e 1300 }
46767247 1301 else //myJoinType == GeomAbs_Arc
1302 {
1303 Standard_Real U1,U2;
1304 TopoDS_Vertex V1,V2;
1305
1306 const Handle(Geom2d_Curve)& Bis = Bisec.Value();
c65f8201 1307 Standard_Boolean ForceAdd = Standard_False;
1308 Handle(Geom2d_TrimmedCurve) aTC = Handle(Geom2d_TrimmedCurve)::DownCast(Bis);
1309 if(!aTC.IsNull() && aTC->BasisCurve()->IsPeriodic())
1310 {
1311 gp_Pnt2d Pf = Bis->Value(Bis->FirstParameter());
1312 gp_Pnt2d Pl = Bis->Value(Bis->LastParameter());
1313 ForceAdd = Pf.Distance(Pl) <= Precision::Confusion();
1314 }
1315
46767247 1316 U1 = Bis->FirstParameter();
1317
1318 if (SOnE) {
1319 // the first point of the bissectrice is on the offset
1320 V1 = TopoDS::Vertex(Vertices.Value(ii));
1321 ii++;
1322 }
1323
1324 while (ii <= Vertices.Length()) {
1325 U2 = Params.Value(ii).X();
1326 V2 = TopoDS::Vertex(Vertices.Value(ii));
1327
1328 gp_Pnt2d P = Bis->Value((U2 + U1)*0.5);
c65f8201 1329 if (!Trim.IsInside(P) || ForceAdd) {
873c119f 1330 if (!V1.IsNull()) {
1331 Detromp(Shape1).Append(V1);
1332 Detromp(Shape2).Append(V1);
1333 }
46767247 1334 Detromp(Shape1).Append(V2);
1335 Detromp(Shape2).Append(V2);
c19dd45e 1336 }
46767247 1337 U1 = U2;
1338 V1 = V2;
1339 ii ++;
c19dd45e 1340 }
46767247 1341
1342 // test medium point between the last parameter and the end of the bissectrice.
1343 U2 = Bis->LastParameter();
1344 if (!EOnE) {
1345 if (!Precision::IsInfinite(U2)) {
1346 gp_Pnt2d P = Bis->Value((U2 + U1)*0.5);
c65f8201 1347 if (!Trim.IsInside(P) || ForceAdd) {
46767247 1348 if (!V1.IsNull()) {
1349 Detromp(Shape1).Append(V1);
1350 Detromp(Shape2).Append(V1);
1351 }
1352 }
c19dd45e 1353 }
46767247 1354 else {
1355 if (!V1.IsNull()) {
1356 Detromp(Shape1).Append(V1);
1357 Detromp(Shape2).Append(V1);
1358 }
1359 }
1360 }
1361 //else if(myJoinType != GeomAbs_Arc)
1362 //{
1363 // if (!V1.IsNull()) {
1364 // Detromp(Shape1).Append(V1);
1365 // Detromp(Shape2).Append(V1);
1366 // }
1367 //}
1368 } //end of else (myJoinType==GeomAbs_Arc)
c19dd45e 1369}
1370
1371//=======================================================================
7fd59977 1372//function : MakeWires
1373//purpose :
1374//=======================================================================
1375
1376void BRepFill_OffsetWire::MakeWires()
1377{
1378 //--------------------------------------------------------
0d969553 1379 // creation of a single list of created parallel edges.
7fd59977 1380 //--------------------------------------------------------
1381 TopTools_SequenceOfShape TheEdges;
1382 TopTools_ListOfShape TheWires;
1383 TopTools_ListIteratorOfListOfShape itl;
86b3805f
J
1384 //BRepFill_DataMapIteratorOfDataMapOfOrientedShapeListOfShape ite;
1385 TopTools_IndexedDataMapOfShapeListOfShape MVE;
1386 //TopTools_DataMapIteratorOfDataMapOfShapeListOfShape MVEit;
7fd59977 1387 TopoDS_Vertex V1,V2,VF,CV;
86b3805f 1388 Standard_Integer i;
7fd59977 1389
86b3805f
J
1390 for (i = 1; i <= myMap.Extent(); i++) {
1391 for (itl.Initialize(myMap(i)); itl.More(); itl.Next()) {
7fd59977 1392 const TopoDS_Edge& E = TopoDS::Edge(itl.Value());
1393 TopExp::Vertices (E,V1,V2);
1394 if (V1.IsSame(V2) && IsSmallClosedEdge(E, V1))
873c119f 1395 continue; //remove small closed edges
7642e2d0 1396 if (!CheckSmallParamOnEdge(E))
1397 continue;
86b3805f 1398 if (!MVE.Contains(V1)) {
873c119f 1399 TopTools_ListOfShape empty;
1400 MVE.Add(V1,empty);
7fd59977 1401 }
86b3805f
J
1402 MVE.ChangeFromKey(V1).Append(E);
1403 if (!MVE.Contains(V2)) {
873c119f 1404 TopTools_ListOfShape empty;
1405 MVE.Add(V2,empty);
7fd59977 1406 }
86b3805f 1407 MVE.ChangeFromKey(V2).Append(E);
7fd59977 1408 }
1409 }
1410
1411 //--------------------------------------
0d969553 1412 // Creation of parallel wires.
7fd59977 1413 //--------------------------------------
1414 BRep_Builder B;
1415
873c119f 1416
1417 // Standard_Integer NbEdges;
1418 // Standard_Boolean NewWire = Standard_True;
1419 // Standard_Boolean AddEdge = Standard_False;
7fd59977 1420
1421 TopoDS_Wire NW;
1422 Standard_Boolean End;
1423 TopoDS_Edge CE;
1424
1425 while (!MVE.IsEmpty()) {
1426 B.MakeWire(NW);
1427
86b3805f
J
1428 //MVEit.Initialize(MVE);
1429 for (i = 1; i <= MVE.Extent(); i++)
1430 if(MVE(i).Extent() == 1)
1431 break;
7fd59977 1432
86b3805f
J
1433 //if(!MVEit.More()) MVEit.Initialize(MVE);
1434 if (i > MVE.Extent())
1435 i = 1;
7fd59977 1436
86b3805f
J
1437 CV = VF = TopoDS::Vertex(MVE.FindKey(i));
1438 CE = TopoDS::Edge(MVE(i).First());
7fd59977 1439 End = Standard_False;
1867dc32 1440 MVE.ChangeFromKey(CV).RemoveFirst();
1441
1442 if (myIsOpenResult && MVE.FindFromKey(CV).IsEmpty())
1443 {
3f5aa017 1444 MVE.RemoveKey(CV);
1867dc32 1445 }
1446
7fd59977 1447
873c119f 1448 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:59 2002 Begin
7fd59977 1449 Standard_Boolean isClosed = Standard_False;
873c119f 1450
1451 // Modified by Sergey KHROMOV - Thu Mar 14 11:30:00 2002 End
7fd59977 1452
1453 while(!End) {
1454 //-------------------------------
0d969553 1455 // Construction of a wire.
7fd59977 1456 //-------------------------------
1457 TopExp::Vertices(CE,V1,V2);
1458 if (!CV.IsSame(V1)) CV = V1; else CV = V2;
1459
1460 B.Add (NW,CE);
1461
86b3805f 1462 if (VF.IsSame(CV) || !MVE.Contains(CV)) {
873c119f 1463 // Modified by Sergey KHROMOV - Thu Mar 14 11:30:14 2002 Begin
1464 isClosed = VF.IsSame(CV);
1465 // Modified by Sergey KHROMOV - Thu Mar 14 11:30:15 2002 End
1466 End = Standard_True;
3f5aa017 1467 MVE.RemoveKey(VF);
7fd59977 1468 }
1469
1470 if (!End) {
873c119f 1471 if (MVE.FindFromKey(CV).Extent() > 2) {
04232180 1472 //std::cout <<"vertex on more that 2 edges in a face."<<std::endl;
873c119f 1473 }
1474 for ( itl.Initialize(MVE.FindFromKey(CV)); itl.More(); itl.Next()) {
1475 if (itl.Value().IsSame(CE)) {
1476 MVE.ChangeFromKey(CV).Remove(itl);
1477 break;
1478 }
1479 }
1480 if (!MVE.FindFromKey(CV).IsEmpty()) {
1481 CE = TopoDS::Edge(MVE.FindFromKey(CV).First());
1482 MVE.ChangeFromKey(CV).RemoveFirst();
1483 }
1867dc32 1484 else if (myIsOpenResult)//CV was a vertex with one edge
1485 End = Standard_True;
1486
873c119f 1487 if (MVE.FindFromKey(CV).IsEmpty())
86b3805f 1488 {
3f5aa017 1489 MVE.RemoveKey(CV);
86b3805f 1490 }
7fd59977 1491 }
1492 }
873c119f 1493 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:31 2002 Begin
1494 // NW.Closed(Standard_True);
7fd59977 1495 NW.Closed(isClosed);
873c119f 1496 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:37 2002 End
7fd59977 1497 TheWires.Append(NW);
1498 }
1499
0d969553
Y
1500 // update myShape :
1501 // -- if only one wire : myShape is a Wire
1502 // -- if several wires : myShape is a Compound.
7fd59977 1503 if ( TheWires.Extent() == 1) {
1504 myShape = TheWires.First();
1505 }
1506 else {
1507 TopoDS_Compound R;
1508 B.MakeCompound(R);
1509 TopTools_ListIteratorOfListOfShape it(TheWires);
1510 for ( ; it.More(); it.Next()) {
1511 B.Add(R, it.Value());
1512 }
1513 myShape = R;
1514 }
1515
1516}
1517
1518//=======================================================================
1519//function : FixHoles
1520//purpose :
1521//=======================================================================
1522
1523void BRepFill_OffsetWire::FixHoles()
1524{
1525 TopTools_SequenceOfShape ClosedWires, UnclosedWires, IsolatedWires;
1526
1527 Standard_Real MaxTol = 0.;
7fd59977 1528 BRep_Builder BB;
1529
1530 TopExp_Explorer Explo( mySpine, TopAbs_VERTEX );
1531 for (; Explo.More(); Explo.Next())
91bb31f3 1532 {
1533 const TopoDS_Vertex& aVertex = TopoDS::Vertex( Explo.Current() );
1534 Standard_Real Tol = BRep_Tool::Tolerance(aVertex);
1535 if (Tol > MaxTol)
1536 MaxTol = Tol;
1537 }
7fd59977 1538 MaxTol *= 100.;
1539
1540 Explo.Init( myShape, TopAbs_WIRE );
1541 for (; Explo.More(); Explo.Next())
91bb31f3 1542 {
1543 TopoDS_Shape aWire = Explo.Current();
1544 // Remove duplicated edges
1545 TopTools_DataMapOfShapeListOfShape EEmap;
1546 TopoDS_Iterator it( aWire );
1547 for (; it.More(); it.Next())
7fd59977 1548 {
91bb31f3 1549 const TopoDS_Shape& anEdge = it.Value();
1550 if (! EEmap.IsBound( anEdge ))
1551 {
1552 TopTools_ListOfShape LE;
1553 EEmap.Bind( anEdge, LE );
1554 }
7fd59977 1555 else
91bb31f3 1556 EEmap(anEdge).Append( anEdge );
7fd59977 1557 }
91bb31f3 1558 aWire.Free( Standard_True );
1559 TopTools_DataMapIteratorOfDataMapOfShapeListOfShape mapit( EEmap );
1560 for (; mapit.More(); mapit.Next())
1561 {
1562 const TopTools_ListOfShape& LE = mapit.Value();
1563 TopTools_ListIteratorOfListOfShape itl( LE );
1564 for (; itl.More(); itl.Next())
1565 BB.Remove( aWire, itl.Value() );
1566 }
1567 // Sorting
1568 if (aWire.Closed())
1569 ClosedWires.Append( aWire );
1570 else
1571 UnclosedWires.Append( aWire );
1572 }
1573
7fd59977 1574 while (!UnclosedWires.IsEmpty())
91bb31f3 1575 {
1576 TopoDS_Wire& Base = TopoDS::Wire( UnclosedWires(1) );
1577 TopoDS_Vertex Vf, Vl;
1578 TopExp::Vertices( Base, Vf, Vl );
1579 if(Vf.IsNull() || Vl.IsNull())
873c119f 1580 {
9775fa61 1581 throw Standard_Failure("BRepFill_OffsetWire::FixHoles(): Wrong wire.");
873c119f 1582 }
91bb31f3 1583 gp_Pnt Pf, Pl;
1584 Pf = BRep_Tool::Pnt(Vf);
1585 Pl = BRep_Tool::Pnt(Vl);
1586 Standard_Real DistF = RealLast(), DistL = RealLast();
1232a766 1587 Standard_Integer IndexF = 0, IndexL = 0;
91bb31f3 1588 Standard_Boolean IsFirstF = Standard_False, IsFirstL = Standard_False;
1589 for (Standard_Integer i = 2; i <= UnclosedWires.Length(); i++)
7fd59977 1590 {
91bb31f3 1591 TopoDS_Wire aWire = TopoDS::Wire( UnclosedWires(i) );
1592 TopoDS_Vertex V1, V2;
1593 TopExp::Vertices( aWire, V1, V2 );
1594
1595 if(V1.IsNull() || V2.IsNull())
873c119f 1596 {
9775fa61 1597 throw Standard_Failure("BRepFill_OffsetWire::FixHoles(): Wrong wire.");
873c119f 1598 }
91bb31f3 1599
1600 gp_Pnt P1, P2;
1601 P1 = BRep_Tool::Pnt(V1);
1602 P2 = BRep_Tool::Pnt(V2);
1603 Standard_Real dist = Pf.Distance( P1 );
1604 if (dist < DistF)
1605 {
1606 DistF = dist;
1607 IndexF = i;
1608 IsFirstF = Standard_True;
1609 }
1610 dist = Pf.Distance( P2 );
1611 if (dist < DistF)
1612 {
1613 DistF = dist;
1614 IndexF = i;
1615 IsFirstF = Standard_False;
1616 }
1617 dist = Pl.Distance( P1 );
1618 if (dist < DistL)
1619 {
1620 DistL = dist;
1621 IndexL = i;
1622 IsFirstL = Standard_True;
1623 }
1624 dist = Pl.Distance( P2 );
1625 if (dist < DistL)
1626 {
1627 DistL = dist;
1628 IndexL = i;
1629 IsFirstL = Standard_False;
1630 }
1631 }
1232a766 1632 if (DistF > MaxTol)
1633 IndexF = 0;
1634 if (DistL > MaxTol)
1635 IndexL = 0;
91bb31f3 1636 TopoDS_Wire theWire;
1637 TopoDS_Edge theEdge;
1638 TopoDS_Vertex theVertex;
1639 Standard_Real CommonTol;
1640 Standard_Boolean TryToClose = Standard_True;
1641 if (DistF <= MaxTol && DistL <= MaxTol && IndexF == IndexL && IsFirstF == IsFirstL)
1642 {
1643 if (DistF < DistL)
1644 {
1645 DistL = RealLast();
1646 IndexL++;
1647 }
1648 else
1649 {
1650 DistF = RealLast();
1651 IndexF++;
1652 }
1653 TryToClose = Standard_False;
1654 }
1655 if (DistF <= MaxTol)
1656 {
1657 theWire = TopoDS::Wire( UnclosedWires(IndexF) );
1658 TopoDS_Vertex V1, V2;
1659 TopExp::Vertices( theWire, V1, V2 );
1660 TopTools_IndexedDataMapOfShapeListOfShape VEmap;
1661 TopExp::MapShapesAndAncestors( theWire, TopAbs_VERTEX, TopAbs_EDGE, VEmap );
1662 theEdge = (IsFirstF)? TopoDS::Edge(VEmap.FindFromKey( V1 ).First()) :
1663 TopoDS::Edge(VEmap.FindFromKey( V2 ).First());
1664 TopoDS_Iterator it( theWire );
1665 for (; it.More(); it.Next())
1666 {
1667 TopoDS_Edge anEdge = TopoDS::Edge( it.Value() );
1668 if (IsFirstF) anEdge.Reverse();
1669 if (!anEdge.IsSame( theEdge ))
1670 BB.Add( Base, anEdge );
1671 }
1672 theVertex = (IsFirstF)? V1 : V2;
1673 CommonTol = Max( BRep_Tool::Tolerance(Vf), BRep_Tool::Tolerance(theVertex) );
1674 if (DistF <= CommonTol)
1675 {
1676 theEdge.Free( Standard_True );
1677 Vf.Orientation( theVertex.Orientation() );
1678 BB.Remove( theEdge, theVertex );
1679 BB.Add( theEdge, Vf );
1680 BB.UpdateVertex( Vf, CommonTol );
1681 if (IsFirstF) theEdge.Reverse();
1682 BB.Add( Base, theEdge );
1683 }
1684 else
1685 {
1686 if (IsFirstF) theEdge.Reverse();
1687 BB.Add( Base, theEdge );
1688 // Creating new edge from theVertex to Vf
1689 TopoDS_Edge NewEdge = BRepLib_MakeEdge( theVertex, Vf );
1690 BB.Add( Base, NewEdge );
1691 }
1692 }
1693 if (DistL <= MaxTol && IndexL != IndexF)
1694 {
1695 theWire = TopoDS::Wire( UnclosedWires(IndexL) );
1696 TopoDS_Vertex V1, V2;
1697 TopExp::Vertices( theWire, V1, V2 );
1698 TopTools_IndexedDataMapOfShapeListOfShape VEmap;
1699 TopExp::MapShapesAndAncestors( theWire, TopAbs_VERTEX, TopAbs_EDGE, VEmap );
1700 theEdge = (IsFirstL)? TopoDS::Edge(VEmap.FindFromKey( V1 ).First()) :
1701 TopoDS::Edge(VEmap.FindFromKey( V2 ).First());
1702 TopoDS_Iterator it( theWire );
1703 for (; it.More(); it.Next())
1704 {
1705 TopoDS_Edge anEdge = TopoDS::Edge( it.Value() );
1706 if (!IsFirstL) anEdge.Reverse();
1707 if (!anEdge.IsSame( theEdge ))
1708 BB.Add( Base, anEdge );
1709 }
1710 theVertex = (IsFirstL)? V1 : V2;
1711 CommonTol = Max( BRep_Tool::Tolerance(Vl), BRep_Tool::Tolerance(theVertex) );
1712 if (DistL <= CommonTol)
1713 {
1714 theEdge.Free( Standard_True );
1715 Vl.Orientation( theVertex.Orientation() );
1716 BB.Remove( theEdge, theVertex );
1717 BB.Add( theEdge, Vl );
1718 BB.UpdateVertex( Vl, CommonTol );
1719 if (!IsFirstL) theEdge.Reverse();
1720 BB.Add( Base, theEdge );
1721 }
1722 else
1723 {
1724 if (!IsFirstL) theEdge.Reverse();
1725 BB.Add( Base, theEdge );
1726 // Creating new edge from Vl to theVertex
1727 TopoDS_Edge NewEdge = BRepLib_MakeEdge( Vl, theVertex );
1728 BB.Add( Base, NewEdge );
1729 }
1730 }
1731 // Check if it is possible to close resulting wire
1732 if (TryToClose)
1733 {
1734 TopExp::Vertices( Base, Vf, Vl );
1735 CommonTol = Max( BRep_Tool::Tolerance(Vf), BRep_Tool::Tolerance(Vl) );
1736 TopTools_IndexedDataMapOfShapeListOfShape VEmap;
1737 TopExp::MapShapesAndAncestors( Base, TopAbs_VERTEX, TopAbs_EDGE, VEmap );
1738 TopoDS_Edge Efirst, Elast;
1739 Efirst = TopoDS::Edge(VEmap.FindFromKey( Vf ).First());
1740 Elast = TopoDS::Edge(VEmap.FindFromKey( Vl ).First());
7fd59977 1741 Pf = BRep_Tool::Pnt(Vf);
1742 Pl = BRep_Tool::Pnt(Vl);
91bb31f3 1743 Standard_Real Dist = Pf.Distance(Pl);
1744 if (Dist <= CommonTol)
1745 {
1746 Elast.Free( Standard_True );
1747 Vf.Orientation( Vl.Orientation() );
1748 BB.Remove( Elast, Vl );
1749 BB.Add( Elast, Vf );
1750 BB.UpdateVertex( Vf, CommonTol );
1751 Base.Closed( Standard_True );
1752 }
1753 else if (Dist <= MaxTol)
1754 {
1755 // Creating new edge from Vl to Vf
1756 TopoDS_Edge NewEdge = BRepLib_MakeEdge( Vf, Vl );
1757 BB.Add( Base, NewEdge );
1758 Base.Closed( Standard_True );
1759 }
7fd59977 1760 }
91bb31f3 1761 // Updating sequences ClosedWires and UnclosedWires
1762 if (DistF <= MaxTol)
1763 UnclosedWires.Remove( IndexF );
1764 if (DistL <= MaxTol && IndexL != IndexF)
7fd59977 1765 {
91bb31f3 1766 if (DistF <= MaxTol && IndexL > IndexF)
1767 IndexL--;
1768 UnclosedWires.Remove( IndexL );
7fd59977 1769 }
91bb31f3 1770 if (Base.Closed())
7fd59977 1771 {
91bb31f3 1772 ClosedWires.Append( Base );
1773 UnclosedWires.Remove( 1 );
7fd59977 1774 }
91bb31f3 1775 else if (DistF > MaxTol && DistL > MaxTol)
1776 {
1777 IsolatedWires.Append( Base );
1778 UnclosedWires.Remove( 1 );
1779 }
1780 }
1781
1782 // Updating myShape
1783 if (ClosedWires.Length() + IsolatedWires.Length() == 1)
1784 {
1785 if (!ClosedWires.IsEmpty())
1786 myShape = ClosedWires.First();
1787 else
1788 myShape = IsolatedWires.First();
1789 }
1790 else
1791 {
1792 TopoDS_Compound R;
1793 BB.MakeCompound( R );
51740958 1794 Standard_Integer i;
91bb31f3 1795 for (i = 1; i <= ClosedWires.Length(); i++)
1796 BB.Add( R, ClosedWires(i) );
1797 for (i = 1; i <= IsolatedWires.Length(); i++)
1798 BB.Add( R, IsolatedWires(i) );
1799 myShape = R;
1800 }
7fd59977 1801}
1802
1803//=======================================================================
1804//function : CutEdge
0d969553
Y
1805//purpose : Cut edge at the extrema of curvatures and points of inflexion.
1806// So, closed circles are cut in two.
1807// If <Cuts> is empty, the edge is not modified.
1808// The first and the last vertex of the initial edge
1809// belong to the first and the last parts respectively.
7fd59977 1810//=======================================================================
1811Standard_Integer CutEdge (const TopoDS_Edge& E,
873c119f 1812 const TopoDS_Face& F,
1813 Standard_Integer ForceCut,
1814 TopTools_ListOfShape& Cuts)
7fd59977 1815{
1816 Cuts.Clear();
1817 MAT2d_CutCurve Cuter;
1818 TColGeom2d_SequenceOfCurve theCurves;
1819 Standard_Real f,l;
1820 Handle(Geom2d_Curve) C2d;
1821 Handle(Geom2d_TrimmedCurve) CT2d;
873c119f 1822 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:25 2002 Begin
7fd59977 1823 Standard_Real aTol = BRep_Tool::Tolerance(E);
1824 Handle(Geom_Curve) aC;
873c119f 1825 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:25 2002 End
7fd59977 1826
1827 TopoDS_Vertex V1,V2,VF,VL;
1828 TopExp::Vertices (E,V1,V2);
1829 BRep_Builder B;
1830
1831 C2d = BRep_Tool::CurveOnSurface (E,F,f,l);
873c119f 1832 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:54 2002 Begin
7fd59977 1833 aC = BRep_Tool::Curve(E,f,l);
873c119f 1834 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:54 2002 End
7fd59977 1835 CT2d = new Geom2d_TrimmedCurve(C2d,f,l);
1836 //if (E.Orientation() == TopAbs_REVERSED) CT2d->Reverse();
1837
1838 if (CT2d->BasisCurve()->IsKind(STANDARD_TYPE(Geom2d_Circle)) &&
873c119f 1839 ( Abs(f-l) >= M_PI) ) {
1840 return 0;
7fd59977 1841 }
1842
1843 //-------------------------
0d969553 1844 // Cut curve.
7fd59977 1845 //-------------------------
1846 Cuter.Perform(CT2d);
1847
873c119f 1848 // Modified by Sergey KHROMOV - Thu Nov 16 17:28:29 2000 Begin
7fd59977 1849 if (ForceCut == 0) {
1850 if (Cuter.UnModified()) {
873c119f 1851 //-----------------------------
1852 // edge not modified => return.
1853 //-----------------------------
7fd59977 1854 return 0;
1855 } else {
1856 for (Standard_Integer k = 1; k <= Cuter.NbCurves(); k++)
873c119f 1857 theCurves.Append(Cuter.Value(k));
7fd59977 1858 }
1859 } else if (ForceCut == 1) {
1860 if (Cuter.UnModified()) {
1861 CutCurve (CT2d, 2, theCurves);
1862 } else {
1863 for (Standard_Integer k = 1; k <= Cuter.NbCurves(); k++)
873c119f 1864
1865 theCurves.Append(Cuter.Value(k));
7fd59977 1866 }
1867 } else if (ForceCut == 2) {
1868 if (Cuter.UnModified()) {
1869 CutCurve (CT2d, 3, theCurves);
1870 } else {
1871 if (Cuter.NbCurves() == 2) {
873c119f 1872
1873 Handle(Geom2d_TrimmedCurve)CC = Cuter.Value(1);
1874
1875 if (CC->LastParameter() > (l+f)/2.) {
1876 CutCurve (CC, 2, theCurves);
1877 theCurves.Append(Cuter.Value(2));
1878 } else {
1879 theCurves.Append(CC);
1880 CutCurve (Cuter.Value(2), 2, theCurves);
1881 }
7fd59977 1882 } else {
873c119f 1883 for (Standard_Integer k = 1; k <= Cuter.NbCurves(); k++)
1884 theCurves.Append(Cuter.Value(k));
7fd59977 1885 }
1886 }
1887 }
873c119f 1888
1889 // Modified by Sergey KHROMOV - Thu Nov 16 17:28:37 2000 End
7fd59977 1890
1891 //--------------------------------------
0d969553 1892 // Creation of cut edges.
7fd59977 1893 //--------------------------------------
1894 VF = V1;
1895
1896 for (Standard_Integer k = 1; k <= theCurves.Length(); k++) {
1897
1898 Handle(Geom2d_TrimmedCurve)CC = Handle(Geom2d_TrimmedCurve)::DownCast(theCurves.Value(k));
1899
1900 if (k == theCurves.Length()) {VL = V2;}
1901 else {
873c119f 1902 // Modified by Sergey KHROMOV - Wed Mar 6 17:38:02 2002 Begin
7fd59977 1903 gp_Pnt P = aC->Value(CC->LastParameter());
1904
1905 VL = BRepLib_MakeVertex(P);
1906 B.UpdateVertex(VL, aTol);
873c119f 1907 // Modified by Sergey KHROMOV - Wed Mar 6 17:38:05 2002 End
7fd59977 1908 }
1909 TopoDS_Shape aLocalShape = E.EmptyCopied();
1910 TopoDS_Edge NE = TopoDS::Edge(aLocalShape);
873c119f 1911 // TopoDS_Edge NE = TopoDS::Edge(E.EmptyCopied());
7fd59977 1912 NE.Orientation(TopAbs_FORWARD);
1913 B.Add (NE,VF.Oriented(TopAbs_FORWARD));
1914 B.Add (NE,VL.Oriented(TopAbs_REVERSED));
1915 B.Range(NE,CC->FirstParameter(),CC->LastParameter());
1916 Cuts.Append(NE.Oriented(E.Orientation()));
1917 VF = VL;
1918 }
1919
1920 return theCurves.Length();
1921}
1922
1923// Modified by Sergey KHROMOV - Thu Nov 16 17:27:56 2000 Begin
1924//=======================================================================
1925//function : CutCurve
1926//purpose :
1927//=======================================================================
1928
1929void CutCurve (const Handle(Geom2d_TrimmedCurve)& C,
873c119f 1930 const Standard_Integer nbParts,
1931 TColGeom2d_SequenceOfCurve& theCurves)
7fd59977 1932{
1933 Handle(Geom2d_TrimmedCurve) TrimC;
1934 Standard_Real UF,UL,UC;
1935 Standard_Real Step;
1936 gp_Pnt2d PF,PL,PC;
1937 Standard_Real PTol = Precision::PConfusion()*10;
1938 Standard_Real Tol = Precision::Confusion()*10;
1939 Standard_Boolean YaCut = Standard_False;
1940
1941 UF = C->FirstParameter();
1942 UL = C->LastParameter ();
1943 PF = C->Value(UF);
1944 PL = C->Value(UL);
1945
1946 Step = (UL - UF)/nbParts;
1947
1948 for (Standard_Integer i = 1; i < nbParts; i++) {
1949
1950 UC = UF + i*Step;
1951 PC = C->Value(UC);
1952
1953 if (UC - UF > PTol && PC.Distance(PF) > Tol) {
1954 if ( UL - UC < PTol || PL.Distance(PC) < Tol)
873c119f 1955 continue;
7fd59977 1956
1957 TrimC = new Geom2d_TrimmedCurve(C,UF,UC);
1958 theCurves.Append(TrimC);
1959 UF = UC;
1960 PF = PC;
1961 YaCut = Standard_True;
1962 }
1963 }
1964 if (YaCut) {
1965 TrimC = new Geom2d_TrimmedCurve(C,UF,UL);
1966 theCurves.Append(TrimC);
1967 } else
1968 theCurves.Append(C);
1969}
1970// Modified by Sergey KHROMOV - Thu Nov 16 17:28:13 2000 End
1971
1972//=======================================================================
1973//function : MakeCircle
1974//purpose :
1975//=======================================================================
1976
1977void MakeCircle (const TopoDS_Edge& E,
873c119f 1978 const TopoDS_Vertex& V,
1979 const TopoDS_Face& F,
1980 const Standard_Real Offset,
1981 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
1982 const Handle(Geom_Plane)& RefPlane)
7fd59977 1983{
0d969553 1984 // evaluate the Axis of the Circle.
7fd59977 1985 Standard_Real f,l;
1986 Handle(Geom2d_Curve) GC = BRep_Tool::CurveOnSurface(E,F,f,l);
1987 gp_Vec2d DX;
1988 gp_Pnt2d P;
1989
1990 if (E.Orientation() == TopAbs_FORWARD) {
1991 GC->D1(l,P,DX);
1992 DX.Reverse();
1993 }
1994 else GC->D1(f,P,DX);
1995
1996 gp_Ax2d Axis(P,gp_Dir2d(DX));
1997 Handle(Geom2d_Circle) Circ
1998 = new Geom2d_Circle(Axis, Abs(Offset), Offset < 0.);
1999
2000 // Bind the edges in my Map.
2001 TopoDS_Edge OE = BRepLib_MakeEdge(Circ, RefPlane);
2002 TopTools_ListOfShape LL;
2003
2004 LL.Append(OE);
86b3805f 2005 Map.Add(V,LL);
7fd59977 2006
873c119f 2007#ifdef OCCT_DEBUG
7fd59977 2008#ifdef DRAW
2009 if ( AffichGeom && !OE.IsNull()) {
1896126e 2010 char name[256];
7fd59977 2011 sprintf(name,"OFFSET_%d",++NbOFFSET);
2012 DBRep::Set(name,OE);
2013 }
2014#endif
873c119f 2015#endif
7fd59977 2016}
2017
2018//=======================================================================
2019//function : MakeOffset
2020//purpose :
2021//=======================================================================
2022
2023void MakeOffset (const TopoDS_Edge& E,
873c119f 2024 const TopoDS_Face& F,
2025 const Standard_Real Offset,
2026 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
2027 const Handle(Geom_Plane)& RefPlane,
2028 const Standard_Boolean IsOpenResult,
c7806cb6 2029 const GeomAbs_JoinType theJoinType,
873c119f 2030 const TopoDS_Vertex * Ends)
7fd59977 2031{
2032 Standard_Real f,l;
2033 Standard_Real anOffset = Offset;
2034
2035 if (E.Orientation() == TopAbs_REVERSED) anOffset *= -1;
2036
2037 Handle(Geom2d_Curve) G2d = BRep_Tool::CurveOnSurface(E,F,f,l);
2038 Handle(Geom2d_Curve) G2dOC;
2039
6a442250 2040 Standard_Boolean ToExtendFirstPar = Standard_True;
2041 Standard_Boolean ToExtendLastPar = Standard_True;
2042 if (IsOpenResult)
2043 {
2044 TopoDS_Vertex V1, V2;
2045 TopExp::Vertices(E, V1, V2);
2046 if (V1.IsSame(Ends[0]) ||
873c119f 2047 V1.IsSame(Ends[1]))
6a442250 2048 ToExtendFirstPar = Standard_False;
2049 if (V2.IsSame(Ends[0]) ||
873c119f 2050 V2.IsSame(Ends[1]))
6a442250 2051 ToExtendLastPar = Standard_False;
2052 }
2053
7fd59977 2054 Geom2dAdaptor_Curve AC(G2d,f,l);
2055 if ( AC.GetType() == GeomAbs_Circle) {
0d969553
Y
2056 // if the offset is greater otr equal to the radius and the side of the
2057 // concavity of the circle => edge null.
7fd59977 2058 gp_Circ2d C1(AC.Circle());
7fd59977 2059 gp_Ax22d axes( C1.Axis());
2060 gp_Dir2d Xd = axes.XDirection();
2061 gp_Dir2d Yd = axes.YDirection();
2062 Standard_Real Crossed = Xd.X()*Yd.Y()-Xd.Y()*Yd.X();
2063 Standard_Real Signe = ( Crossed > 0.) ? 1. : -1.;
2064
9ffd84ad 2065 if (anOffset*Signe < AC.Circle().Radius() - Precision::Confusion()) {
0d969553 2066
7fd59977 2067 Handle(Geom2dAdaptor_HCurve) AHC =
873c119f 2068 new Geom2dAdaptor_HCurve(G2d);
5201d3e6 2069 Adaptor2d_OffsetCurve Off(AHC,-anOffset);
7fd59977 2070 Handle(Geom2d_Circle) CC = new Geom2d_Circle(Off.Circle());
2071
c6541a0c 2072 Standard_Real Delta = 2*M_PI - l + f;
c7806cb6 2073 if (theJoinType == GeomAbs_Arc)
2074 {
873c119f 2075 if (ToExtendFirstPar)
2076 f -= 0.2*Delta;
2077 if (ToExtendLastPar)
2078 l += 0.2*Delta;
c7806cb6 2079 }
2080 else //GeomAbs_Intersection
2081 {
2082 if (ToExtendFirstPar && ToExtendLastPar)
2083 {
2084 Standard_Real old_l = l;
2085 f = old_l + Delta/2.;
2086 l = f + 2*M_PI;
2087 }
2088 else if (ToExtendFirstPar)
2089 {
2090 f = l;
2091 l = f + 2*M_PI;
2092 }
2093 else if (ToExtendLastPar)
2094 {
2095 l = f + 2*M_PI;
2096 }
2097 }
7fd59977 2098 G2dOC = new Geom2d_TrimmedCurve(CC,f,l);
2099 }
2100 }
2101 else if (AC.GetType() == GeomAbs_Line) {
2102 Handle(Geom2dAdaptor_HCurve) AHC =
2103 new Geom2dAdaptor_HCurve(G2d);
5201d3e6 2104 Adaptor2d_OffsetCurve Off(AHC,anOffset);
7fd59977 2105 Handle(Geom2d_Line) CC = new Geom2d_Line(Off.Line());
2106 Standard_Real Delta = (l - f);
6a442250 2107 if (ToExtendFirstPar)
c7806cb6 2108 {
2109 if (theJoinType == GeomAbs_Arc)
873c119f 2110 f -= Delta;
c7806cb6 2111 else //GeomAbs_Intersection
2112 f = -Precision::Infinite();
2113 }
6a442250 2114 if (ToExtendLastPar)
c7806cb6 2115 {
2116 if (theJoinType == GeomAbs_Arc)
873c119f 2117 l += Delta;
c7806cb6 2118 else //GeomAbs_Intersection
2119 l = Precision::Infinite();
2120 }
7fd59977 2121 G2dOC = new Geom2d_TrimmedCurve(CC,f,l);
2122 }
2123 else {
2124
2125 anOffset = -anOffset;
2126 Handle(Geom2d_TrimmedCurve) G2dT = new Geom2d_TrimmedCurve(G2d,f,l);
2127 G2dOC = new Geom2d_OffsetCurve( G2dT, anOffset);
2128
2129 }
2130
2131 // Bind the edges in my Map.
2132 if (!G2dOC.IsNull()) {
2133 TopoDS_Edge OE = BRepLib_MakeEdge(G2dOC, RefPlane);
2134 OE.Orientation(E.Orientation());
2135 TopTools_ListOfShape LL;
2136 LL.Append(OE);
86b3805f 2137 Map.Add(E,LL);
7fd59977 2138
873c119f 2139#ifdef OCCT_DEBUG
7fd59977 2140#ifdef DRAW
2141 if (AffichGeom && !OE.IsNull()) {
1896126e 2142 char name[256];
7fd59977 2143 sprintf(name,"OFFSET_%d",++NbOFFSET);
2144 DBRep::Set(name,OE);
873c119f 2145 //Standard_Real ii = 0;
7fd59977 2146 }
2147#endif
873c119f 2148#endif
2149
7fd59977 2150 }
2151}
2152
7fd59977 2153
2154//=======================================================================
2155//function : VertexFromNode
2156//purpose :
2157//=======================================================================
2158
2159Standard_Boolean VertexFromNode (const Handle(MAT_Node)& aNode,
873c119f 2160 const Standard_Real Offset,
2161 gp_Pnt2d& PN,
2162 BRepFill_DataMapOfNodeShape& MapNodeVertex,
2163 TopoDS_Vertex& VN)
7fd59977 2164{
2165 Standard_Boolean Status;
2166 Standard_Real Tol = Precision::Confusion();
2167 BRep_Builder B;
2168
2169 if (!aNode->Infinite() && Abs(aNode->Distance()-Offset) < Tol) {
2170 //------------------------------------------------
0d969553 2171 // the Node gives a vertex on the offset
7fd59977 2172 //------------------------------------------------
2173 if (MapNodeVertex.IsBound(aNode)) {
2174 VN = TopoDS::Vertex(MapNodeVertex(aNode));
2175 }
2176 else {
2177 gp_Pnt P(PN.X(),PN.Y(),0.);
2178 B.MakeVertex (VN);
2179 B.UpdateVertex(VN,P, Precision::Confusion());
2180 MapNodeVertex.Bind(aNode,VN);
2181 }
2182 Status = Standard_True;
2183 }
2184 else Status = Standard_False;
2185
2186 return Status;
2187}
2188
2189
2190//=======================================================================
2191//function : StoreInMap
2192//purpose :
2193//=======================================================================
2194
2195void StoreInMap (const TopoDS_Shape& V1,
873c119f 2196 const TopoDS_Shape& V2,
2197 TopTools_IndexedDataMapOfShapeShape& MapVV)
7fd59977 2198{
2199 TopoDS_Shape OldV = V1, NewV = V2;
2200 Standard_Integer i;
2201
2202 if (MapVV.Contains(V2))
2203 NewV = MapVV.FindFromKey(V2);
2204
2205 if (MapVV.Contains(V1))
2206 MapVV.ChangeFromKey(V1) = NewV;
2207
2208 for (i = 1; i <= MapVV.Extent(); i++)
2209 if (MapVV(i).IsSame(V1))
2210 MapVV(i) = NewV;
2211
2212 MapVV.Add(V1, NewV);
2213}
2214
2215//=======================================================================
2216//function : TrimEdge
2217//purpose :
2218//=======================================================================
2219
2220void TrimEdge (const TopoDS_Edge& E,
e11c1bc4 2221 const TopoDS_Shape& ProE,
2222 const TopoDS_Face& AllSpine,
7fd59977 2223 const TopTools_ListOfShape& Detromp,
6a442250 2224 TopTools_SequenceOfShape& TheVer,
2225 TColStd_SequenceOfReal& ThePar,
2226 TopTools_SequenceOfShape& S,
2227 TopTools_IndexedDataMapOfShapeShape& MapVV,
2228 const Standard_Integer IndOfE)
7fd59977 2229{
2230 Standard_Boolean Change = Standard_True;
2231 BRep_Builder TheBuilder;
2232 S.Clear();
2233
2234 //-----------------------------------------------------------
0d969553 2235 // Parse two sequences depending on the parameter on the edge.
7fd59977 2236 //-----------------------------------------------------------
2237 while (Change) {
2238 Change = Standard_False;
2239 for (Standard_Integer i = 1; i < ThePar.Length(); i++) {
2240 if (ThePar.Value(i) > ThePar.Value(i+1)) {
873c119f 2241 ThePar.Exchange(i,i+1);
2242 TheVer.Exchange(i,i+1);
2243 Change = Standard_True;
7fd59977 2244 }
2245 }
2246 }
2247
2248 //----------------------------------------------------------
0d969553 2249 // If a vertex is not in the proofing, it is eliminated.
7fd59977 2250 //----------------------------------------------------------
2251 if (!BRep_Tool::Degenerated(E)) {
2252 for (Standard_Integer k = 1; k <= TheVer.Length(); k ++) {
2253 if ( DoubleOrNotInside (Detromp,
873c119f 2254 TopoDS::Vertex(TheVer.Value(k)))) {
2255 TheVer.Remove(k);
2256 ThePar.Remove(k);
2257 k--;
7fd59977 2258 }
2259 }
2260 }
2261
2262 //----------------------------------------------------------
0d969553
Y
2263 // If a vertex_double appears twice in the proofing
2264 // the vertex is removed.
2265 // otherwise preserve only one of its representations.
7fd59977 2266 //----------------------------------------------------------
2267 if (!BRep_Tool::Degenerated(E)) {
94f71cad 2268 Standard_Real aParTol = 2.0 * Precision::PConfusion();
7fd59977 2269 for (Standard_Integer k = 1; k < TheVer.Length(); k ++) {
2270 if (TheVer.Value(k).IsSame(TheVer.Value(k+1)) ||
94f71cad 2271 Abs(ThePar.Value(k)-ThePar.Value(k+1)) <= aParTol) {
873c119f 2272
2273 if(k+1 == TheVer.Length()) {
2274 StoreInMap(TheVer(k), TheVer(k+1), MapVV);
2275 TheVer.Remove(k);
2276 ThePar.Remove(k);
2277 }
2278 else {
2279 StoreInMap(TheVer(k+1), TheVer(k), MapVV);
2280 TheVer.Remove(k+1);
2281 ThePar.Remove(k+1);
2282 }
2283 /*
2284 if ( DoubleOrNotInside (Detromp,
2285 TopoDS::Vertex(TheVer.Value(k)))) {
2286 TheVer.Remove(k);
2287 ThePar.Remove(k);
2288 k--;
2289 }
2290 */
2291 k--;
7fd59977 2292 }
2293 }
2294 }
2295 //-----------------------------------------------------------
0d969553
Y
2296 // Creation of edges.
2297 // the number of vertices should be even. The created edges
2298 // go from a vertex with uneven index i to vertex i+1;
7fd59977 2299 //-----------------------------------------------------------
6a442250 2300 if (IndOfE == 1 || IndOfE == -1) //open result and extreme edges of result
2301 {
7fd59977 2302 TopoDS_Shape aLocalShape = E.EmptyCopied();
2303 TopoDS_Edge NewEdge = TopoDS::Edge(aLocalShape);
6a442250 2304 TopoDS_Vertex V1, V2;
2305 TopExp::Vertices(E, V1, V2);
2306 Standard_Real fpar, lpar;
e11c1bc4 2307 Handle(Geom_Surface) aPlane;
2308 TopLoc_Location aLoc;
2309 Handle(Geom2d_Curve) PCurve;
2310 BRep_Tool::CurveOnSurface(E, PCurve, aPlane, aLoc, fpar, lpar);
2311 //BRep_Tool::Range(E, fpar, lpar);
2312
2313 Standard_Real TrPar1, TrPar2;
2314 Standard_Boolean ToTrimAsOrigin = IsInnerEdge(ProE, AllSpine, TrPar1, TrPar2);
2315
6a442250 2316 if (IndOfE == 1) //first edge of open wire
2317 {
2318 if (NewEdge.Orientation() == TopAbs_FORWARD)
2319 {
e11c1bc4 2320 if (ToTrimAsOrigin)
2321 {
2322 fpar = TrPar1;
2323 gp_Pnt2d TrPnt2d = PCurve->Value(fpar);
2324 gp_Pnt TrPnt(TrPnt2d.X(), TrPnt2d.Y(), 0.);
2325 V1 = BRepLib_MakeVertex(TrPnt);
2326 }
6a442250 2327 TheBuilder.Add(NewEdge, V1.Oriented(TopAbs_FORWARD));
2328 TheBuilder.Add(NewEdge, TheVer.First().Oriented(TopAbs_REVERSED));
2329 TheBuilder.Range(NewEdge, fpar, ThePar.First());
2330 }
2331 else
2332 {
e11c1bc4 2333 if (ToTrimAsOrigin)
2334 {
2335 lpar = TrPar2;
2336 gp_Pnt2d TrPnt2d = PCurve->Value(lpar);
2337 gp_Pnt TrPnt(TrPnt2d.X(), TrPnt2d.Y(), 0.);
2338 V2 = BRepLib_MakeVertex(TrPnt);
2339 }
6a442250 2340 TheBuilder.Add(NewEdge, TheVer.First().Oriented(TopAbs_REVERSED));
2341 TheBuilder.Add(NewEdge, V2.Oriented(TopAbs_FORWARD));
2342 TheBuilder.Range(NewEdge, ThePar.First(), lpar);
2343 }
7fd59977 2344 }
6a442250 2345 else //last edge of open wire
2346 {
2347 if (NewEdge.Orientation() == TopAbs_FORWARD)
2348 {
e11c1bc4 2349 if (ToTrimAsOrigin)
2350 {
2351 lpar = TrPar2;
2352 gp_Pnt2d TrPnt2d = PCurve->Value(lpar);
2353 gp_Pnt TrPnt(TrPnt2d.X(), TrPnt2d.Y(), 0.);
2354 V2 = BRepLib_MakeVertex(TrPnt);
2355 }
6a442250 2356 TheBuilder.Add(NewEdge, TheVer.First().Oriented(TopAbs_FORWARD));
2357 TheBuilder.Add(NewEdge, V2.Oriented(TopAbs_REVERSED));
2358 TheBuilder.Range(NewEdge, ThePar.First(), lpar);
2359 }
2360 else
2361 {
e11c1bc4 2362 if (ToTrimAsOrigin)
2363 {
2364 fpar = TrPar1;
2365 gp_Pnt2d TrPnt2d = PCurve->Value(fpar);
2366 gp_Pnt TrPnt(TrPnt2d.X(), TrPnt2d.Y(), 0.);
2367 V1 = BRepLib_MakeVertex(TrPnt);
2368 }
6a442250 2369 TheBuilder.Add(NewEdge, V1.Oriented(TopAbs_REVERSED));
2370 TheBuilder.Add(NewEdge, TheVer.First().Oriented(TopAbs_FORWARD));
2371 TheBuilder.Range(NewEdge, fpar, ThePar.First());
2372 }
7fd59977 2373 }
6a442250 2374 S.Append(NewEdge);
2375 }
2376 else
2377 {
2378 for (Standard_Integer k = 1; k < TheVer.Length(); k = k+2) {
2379 TopoDS_Shape aLocalShape = E.EmptyCopied();
2380 TopoDS_Edge NewEdge = TopoDS::Edge(aLocalShape);
2381 // TopoDS_Edge NewEdge = TopoDS::Edge(E.EmptyCopied());
2382
2383 if (NewEdge.Orientation() == TopAbs_REVERSED) {
2384 TheBuilder.Add (NewEdge,TheVer.Value(k) .Oriented(TopAbs_REVERSED));
2385 TheBuilder.Add (NewEdge,TheVer.Value(k+1).Oriented(TopAbs_FORWARD));
2386 }
2387 else {
2388 TheBuilder.Add (NewEdge,TheVer.Value(k) .Oriented(TopAbs_FORWARD));
2389 TheBuilder.Add (NewEdge,TheVer.Value(k+1).Oriented(TopAbs_REVERSED));
2390 }
2391
2392
2393 TheBuilder.Range(NewEdge,ThePar.Value(k),ThePar.Value(k+1));
2394
873c119f 2395#ifdef OCCT_DEBUG
7fd59977 2396#ifdef DRAW
6a442250 2397 if ( AffichEdge) {
2398 char name[256];
2399 sprintf(name,"TRIMEDGE_%d",NbTRIMEDGES);
2400 DBRep::Set(name,NewEdge);
2401 }
2402 if (Affich2d) {
2403 TopLoc_Location L;
2404 Standard_Real f,l;
2405 Handle(Geom_Surface) Surf;
2406 Handle(Geom2d_Curve) C;
2407 BRep_Tool::CurveOnSurface(NewEdge,C,Surf,L,f,l);
2408 char name[256];
2409 sprintf(name,"OFFSET2d_%d",NbTRIMEDGES++);
2410 Handle(Geom2d_TrimmedCurve) C2d = new Geom2d_TrimmedCurve(C,f,l);
2411 Handle(DrawTrSurf_Curve2d) dr =
2412 new DrawTrSurf_Curve2d(C2d,Standard_False);
2413 dr->SetColor(Draw_bleu);
2414 Draw::Set(name,dr);
2415 }
7fd59977 2416#endif
873c119f 2417#endif
6a442250 2418 S.Append(NewEdge);
2419 }
7fd59977 2420 }
2421}
2422
2423//=======================================================================
e11c1bc4 2424//function : IsInnerEdge
2425//purpose :
2426//=======================================================================
2427
2428static Standard_Boolean IsInnerEdge(const TopoDS_Shape& ProE,
2429 const TopoDS_Face& AllSpine,
2430 Standard_Real& TrPar1,
2431 Standard_Real& TrPar2)
2432{
2433 if (ProE.ShapeType() != TopAbs_EDGE)
2434 return Standard_False;
2435
2436 TopoDS_Edge anEdge = TopoDS::Edge(ProE);
2437
2438 TopTools_IndexedDataMapOfShapeListOfShape VEmap;
2439 TopExp::MapShapesAndAncestors(AllSpine, TopAbs_VERTEX, TopAbs_EDGE, VEmap);
2440 for (Standard_Integer i = 1; i <= VEmap.Extent(); i++)
2441 {
2442 const TopTools_ListOfShape& LE = VEmap(i);
2443 if (LE.Extent() == 1 && anEdge.IsSame(LE.First()))
2444 return Standard_False;
2445 }
2446
2447 BRep_Tool::Range(anEdge, TrPar1, TrPar2);
2448 return Standard_True;
2449}
2450
2451
2452
2453//=======================================================================
7fd59977 2454//function : DoubleOrNotInside
0d969553 2455//purpose : return True if V appears twice in LV or is not inside.
7fd59977 2456//=======================================================================
2457
2458Standard_Boolean DoubleOrNotInside (const TopTools_ListOfShape& LV,
873c119f 2459 const TopoDS_Vertex& V)
7fd59977 2460{
2461 Standard_Boolean Vu = Standard_False;
2462 TopTools_ListIteratorOfListOfShape it(LV);
2463
2464 for ( ; it.More(); it.Next()) {
2465 if (V.IsSame(it.Value())) {
2466 if (Vu) return Standard_True;
2467 else Vu = Standard_True;
2468 }
2469 }
2470 if (Vu) return Standard_False;
2471 else return Standard_True;
2472}
2473
2474Standard_Boolean IsSmallClosedEdge(const TopoDS_Edge& anEdge,
873c119f 2475 const TopoDS_Vertex& aVertex)
7fd59977 2476{
2477 gp_Pnt PV = BRep_Tool::Pnt(aVertex);
2478 gp_Pnt2d PV2d, Pfirst, Plast, Pmid;
2479 PV2d.SetCoord( PV.X(), PV.Y() );
2480
2481 Handle(Geom2d_Curve) PCurve;
2482 Handle( BRep_CurveRepresentation ) CurveRep =
2483 ((Handle(BRep_TEdge)::DownCast(anEdge.TShape()))->Curves()).First();
2484 PCurve = CurveRep->PCurve();
2485
2486 Standard_Real fpar = (Handle(BRep_GCurve)::DownCast(CurveRep))->First();
2487 Standard_Real lpar = (Handle(BRep_GCurve)::DownCast(CurveRep))->Last();
2488 Pfirst = PCurve->Value(fpar);
2489 Plast = PCurve->Value(lpar);
2490 Pmid = PCurve->Value((fpar + lpar)*0.5);
2491
2492 Standard_Real theTol = BRep_Tool::Tolerance(aVertex);
2493 theTol *= 1.5;
2494
2495 Standard_Real dist1 = Pfirst.Distance(PV2d);
2496 Standard_Real dist2 = Plast.Distance(PV2d);
2497 Standard_Real dist3 = Pmid.Distance(PV2d);
2498
2499 if (dist1 <= theTol && dist2 <= theTol && dist3 <= theTol)
2500 return Standard_True;
2501
2502 return Standard_False;
2503}
2504
2505static void CheckBadEdges(const TopoDS_Face& Spine, const Standard_Real Offset,
873c119f 2506 const BRepMAT2d_BisectingLocus& Locus,
2507 const BRepMAT2d_LinkTopoBilo& Link,
2508 TopTools_ListOfShape& BadEdges)
7fd59977 2509{
2510
2511 TopoDS_Face F = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
2512 Standard_Real eps = Precision::Confusion();
2513 Standard_Real LimCurv = 1./Offset;
2514
2515 TopTools_MapOfShape aMap;
2516
2517 for (Standard_Integer ic = 1; ic <= Locus.NumberOfContours(); ic++) {
2518 for (Standard_Integer ie = 1; ie <= Locus.NumberOfElts(ic); ie++) {
2519 const TopoDS_Shape& SE = Link.GeneratingShape(Locus.BasicElt(ic,ie));
2520 if (SE.ShapeType() == TopAbs_EDGE) {
2521
873c119f 2522
2523 if (aMap.Contains(SE)) {
04232180 2524 //std::cout << "Edge is treated second time" << std::endl;
873c119f 2525 continue;
2526 }
2527
2528
2529 TopoDS_Edge E = TopoDS::Edge(SE);
2530
2531
2532 Standard_Real f,l;
2533
2534
2535 Handle(Geom2d_Curve) G2d = BRep_Tool::CurveOnSurface(E,F,f,l);
2536
2537
2538 Geom2dAdaptor_Curve AC(G2d,f,l);
2539 GeomAbs_CurveType aCType = AC.GetType();
2540
2541
2542 if(aCType != GeomAbs_Line && aCType != GeomAbs_Circle) {
2543
2544
2545 Standard_Boolean reverse = Standard_False;
2546 if (E.Orientation() == TopAbs_FORWARD) reverse = Standard_True;
2547
2548
2549 gp_Pnt2d P, Pc;
2550 gp_Dir2d N;
2551
2552
2553 Geom2dLProp_CLProps2d aCLProps(G2d, 2, eps);
2554
2555
2556 aCLProps.SetParameter(f);
2557 if(!aCLProps.IsTangentDefined()) {
2558 BadEdges.Append(SE);
2559 aMap.Add(SE);
2560 continue;
2561 }
2562
2563
2564 P = aCLProps.Value();
2565 Standard_Real Crv = aCLProps.Curvature();
2566
2567
2568 if(Crv >= eps) {
2569 aCLProps.Tangent(N);
2570 Standard_Real x = N.Y(), y = -N.X();
2571 N.SetCoord(x, y);
2572 if (reverse) N.Reverse();
2573 aCLProps.CentreOfCurvature(Pc);
2574 gp_Vec2d Dir( P, Pc );
2575 if (N.Dot(Dir) > 0.) {
2576 if (LimCurv <= Crv + eps) {
2577 BadEdges.Append(SE);
2578 aMap.Add(SE);
2579 continue;
2580 }
2581 }
2582 }
2583
2584
2585 aCLProps.SetParameter(l);
2586 if(!aCLProps.IsTangentDefined()) {
2587 BadEdges.Append(SE);
2588 aMap.Add(SE);
2589 continue;
2590 }
2591
2592
2593 P = aCLProps.Value();
2594 Crv = aCLProps.Curvature();
2595
2596
2597 if(Crv >= eps) {
2598 aCLProps.Tangent(N);
2599 Standard_Real x = N.Y(), y = -N.X();
2600 N.SetCoord(x, y);
2601 if (reverse) N.Reverse();
2602 aCLProps.CentreOfCurvature(Pc);
2603 gp_Vec2d Dir( P, Pc );
2604 if (N.Dot(Dir) > 0.) {
2605 if (LimCurv <= Crv + eps) {
2606 BadEdges.Append(SE);
2607 aMap.Add(SE);
2608 continue;
2609 }
2610 }
2611 }
2612 }
7fd59977 2613 }
2614 }
2615 }
2616}
2617
2618
2619//=======================================================================
2620//function : PerformCurve
2621//purpose :
2622//=======================================================================
2623
2624static Standard_Boolean PerformCurve (TColStd_SequenceOfReal& Parameters,
873c119f 2625
2626 TColgp_SequenceOfPnt& Points,
2627 const Adaptor3d_Curve& C,
2628 const Standard_Real Deflection,
2629 const Standard_Real U1,
2630 const Standard_Real U2,
2631 const Standard_Real EPSILON,
2632 const Standard_Integer Nbmin)
7fd59977 2633{
2634 Standard_Real UU1 = Min(U1, U2);
2635 Standard_Real UU2 = Max(U1, U2);
2636
2637 gp_Pnt Pdeb, Pfin;
2638 gp_Vec Ddeb,Dfin;
2639 C.D1(UU1,Pdeb,Ddeb);
2640 Parameters.Append(UU1);
2641 Points.Append(Pdeb);
2642
2643 C.D1(UU2,Pfin,Dfin);
91bb31f3 2644
2645 const Standard_Real aDelta = UU2 - UU1;
2646 const Standard_Real aDist = Pdeb.Distance(Pfin);
2647
2648 if((aDelta/aDist) > 5.0e-14)
2649 {
2650 QuasiFleche(C,Deflection*Deflection,
873c119f 2651
2652 UU1,Pdeb,
2653 Ddeb,
2654 UU2,Pfin,
2655 Dfin,
2656 Nbmin,
2657 EPSILON*EPSILON,
2658 Parameters,Points);
91bb31f3 2659 }
2660
7fd59977 2661 return Standard_True;
2662}
2663//=======================================================================
2664//function : QuasiFleche
2665//purpose :
2666//=======================================================================
2667
2668static void QuasiFleche(const Adaptor3d_Curve& C,
873c119f 2669
2670 const Standard_Real Deflection2,
2671 const Standard_Real Udeb,
2672 const gp_Pnt& Pdeb,
2673 const gp_Vec& Vdeb,
2674 const Standard_Real Ufin,
2675 const gp_Pnt& Pfin,
2676 const gp_Vec& Vfin,
2677 const Standard_Integer Nbmin,
2678 const Standard_Real Eps,
2679 TColStd_SequenceOfReal& Parameters,
2680 TColgp_SequenceOfPnt& Points)
7fd59977 2681{
2682 Standard_Integer Ptslength = Points.Length();
2683 Standard_Real Udelta = Ufin-Udeb;
2684 gp_Pnt Pdelta;
2685 gp_Vec Vdelta;
2686 if (Nbmin > 2) {
2687 Udelta /=(Nbmin-1);
2688 C.D1(Udeb+Udelta,Pdelta,Vdelta);
2689 }
2690 else {
2691 Pdelta = Pfin;
2692 Vdelta = Vfin;
2693 }
2694
2695
2696 Standard_Real Norme = gp_Vec(Pdeb,Pdelta).SquareMagnitude();
2697 Standard_Real theFleche=0;
2698 Standard_Boolean flecheok = Standard_False;
2699 if (Norme > Eps) {
0d969553 2700 // Evaluation of the arrow by interpolation. See IntWalk_IWalking_5.gxx
7fd59977 2701 Standard_Real N1 = Vdeb.SquareMagnitude();
2702 Standard_Real N2 = Vdelta.SquareMagnitude();
2703 if (N1 > Eps && N2 > Eps) {
2704 Standard_Real Normediff =
873c119f 2705
2706 (Vdeb.Normalized().XYZ()-Vdelta.Normalized().XYZ()).SquareModulus();
7fd59977 2707 if (Normediff > Eps) {
873c119f 2708
2709 theFleche = Normediff*Norme/64.;
2710 flecheok = Standard_True;
7fd59977 2711 }
2712 }
2713 }
2714 if (!flecheok) {
2715 gp_Pnt Pmid((Pdeb.XYZ()+Pdelta.XYZ())/2.);
2716 gp_Pnt Pverif(C.Value(Udeb+Udelta/2.));
2717 theFleche = Pmid.SquareDistance(Pverif);
2718 }
2719
2720 if (theFleche < Deflection2) {
2721 Parameters.Append(Udeb+Udelta);
2722 Points.Append(Pdelta);
2723 }
2724 else {
2725 QuasiFleche(C,Deflection2,Udeb,Pdeb,
873c119f 2726
2727 Vdeb,
2728 Udeb+Udelta,Pdelta,
2729 Vdelta,
2730 3,
2731 Eps,
2732 Parameters,Points);
7fd59977 2733
2734 }
2735
2736 if (Nbmin > 2) {
2737 QuasiFleche(C,Deflection2,Udeb+Udelta,Pdelta,
873c119f 2738
2739 Vdelta,
2740 Ufin,Pfin,
2741 Vfin,
2742 Nbmin-(Points.Length()-Ptslength),
2743 Eps,
2744 Parameters,Points);
7fd59977 2745 }
2746}
ab87e6fc 2747
7642e2d0 2748Standard_Boolean CheckSmallParamOnEdge(const TopoDS_Edge& anEdge)
2749{
2750 const BRep_ListOfCurveRepresentation& aList = ((Handle(BRep_TEdge)::DownCast(anEdge.TShape()))->Curves());
2751 if (!aList.IsEmpty())
2752 {
2753 Handle( BRep_CurveRepresentation ) CRep = ((Handle(BRep_TEdge)::DownCast(anEdge.TShape()))->Curves()).First();
2754 Standard_Real f = (Handle(BRep_GCurve)::DownCast(CRep))->First();
2755 Standard_Real l = (Handle(BRep_GCurve)::DownCast(CRep))->Last();
2756 if (Abs (l - f) < Precision::PConfusion())
2757 return Standard_False;
2758 }
2759 return Standard_True;
2760}
2761
2762