Increment OCCT version up to 7.4.0
[occt.git] / src / BRepFill / BRepFill_OffsetWire.cxx
... / ...
CommitLineData
1// Created on: 1995-04-20
2// Created by: Bruno DUMORTIER
3// Copyright (c) 1995-1999 Matra Datavision
4// Copyright (c) 1999-2014 OPEN CASCADE SAS
5//
6// This file is part of Open CASCADE Technology software library.
7//
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
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.
13//
14// Alternatively, this file may be used under the terms of Open CASCADE
15// commercial license or contractual agreement.
16
17// Modified by skv - Fri Jul 8 11:21:38 2005 OCC9145
18
19#include <Adaptor3d_Curve.hxx>
20#include <Adaptor2d_OffsetCurve.hxx>
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>
28#include <BRepAdaptor_Curve.hxx>
29#include <BRepAdaptor_Surface.hxx>
30#include <BRepFill_DataMapOfNodeShape.hxx>
31#include <BRepFill_DataMapOfOrientedShapeListOfShape.hxx>
32#include <BRepFill_DataMapOfShapeSequenceOfPnt.hxx>
33#include <BRepFill_DataMapOfShapeSequenceOfReal.hxx>
34#include <BRepFill_OffsetWire.hxx>
35#include <BRepFill_TrimEdgeTool.hxx>
36#include <BRepLib.hxx>
37#include <BRepLib_MakeEdge.hxx>
38#include <BRepLib_MakeFace.hxx>
39#include <BRepLib_MakeVertex.hxx>
40#include <BRepLib_MakeWire.hxx>
41#include <BRepMAT2d_BisectingLocus.hxx>
42#include <BRepMAT2d_Explorer.hxx>
43#include <BRepMAT2d_LinkTopoBilo.hxx>
44#include <BRepTools.hxx>
45#include <BRepTools_Substitution.hxx>
46#include <BRepTools_WireExplorer.hxx>
47#include <Geom2d_BSplineCurve.hxx>
48#include <Geom2d_Circle.hxx>
49#include <Geom2d_Curve.hxx>
50#include <Geom2d_Line.hxx>
51#include <Geom2d_OffsetCurve.hxx>
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>
57#include <Geom_Circle.hxx>
58#include <Geom_Line.hxx>
59#include <Geom_OffsetCurve.hxx>
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>
70#include <MAT_Arc.hxx>
71#include <MAT_Graph.hxx>
72#include <MAT_Node.hxx>
73#include <Precision.hxx>
74#include <Standard_ConstructionError.hxx>
75#include <Standard_ErrorHandler.hxx>
76#include <Standard_NoSuchObject.hxx>
77#include <Standard_NotImplemented.hxx>
78#include <TColgp_Array1OfPnt2d.hxx>
79#include <TColgp_SequenceOfPnt.hxx>
80#include <TColStd_Array1OfInteger.hxx>
81#include <TColStd_Array1OfReal.hxx>
82#include <TColStd_SequenceOfReal.hxx>
83#include <TopAbs.hxx>
84#include <TopExp.hxx>
85#include <TopExp_Explorer.hxx>
86#include <TopoDS.hxx>
87#include <TopoDS_Compound.hxx>
88#include <TopoDS_Face.hxx>
89#include <TopoDS_Iterator.hxx>
90#include <TopoDS_Shape.hxx>
91#include <TopoDS_Wire.hxx>
92#include <TopTools_DataMapIteratorOfDataMapOfShapeListOfShape.hxx>
93#include <TopTools_DataMapIteratorOfDataMapOfShapeShape.hxx>
94#include <TopTools_DataMapOfShapeListOfShape.hxx>
95#include <TopTools_DataMapOfShapeSequenceOfShape.hxx>
96#include <TopTools_IndexedDataMapOfShapeListOfShape.hxx>
97#include <TopTools_IndexedMapOfShape.hxx>
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>
105#ifdef OCCT_DEBUG
106//#define DRAW
107#ifdef DRAW
108#include <Draw.hxx>
109#include <DrawTrSurf.hxx>
110#include <DrawTrSurf_Curve2d.hxx>
111#include <DBRep.hxx>
112#include <Geom_Curve.hxx>
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;
120#endif
121#endif
122
123// Modified by Sergey KHROMOV - Thu Nov 16 17:24:39 2000 Begin
124
125static void QuasiFleche(const Adaptor3d_Curve& C,
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);
137
138static Standard_Boolean PerformCurve (TColStd_SequenceOfReal& Parameters,
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);
146
147static void CheckBadEdges(const TopoDS_Face& Spine, const Standard_Real Offset,
148 const BRepMAT2d_BisectingLocus& Locus,
149 const BRepMAT2d_LinkTopoBilo& Link,
150 TopTools_ListOfShape& BadEdges);
151
152static Standard_Integer CutEdge (const TopoDS_Edge& E,
153 const TopoDS_Face& F,
154 Standard_Integer ForceCut,
155 TopTools_ListOfShape& Cuts);
156
157
158static void CutCurve (const Handle(Geom2d_TrimmedCurve)& C,
159 const Standard_Integer nbParts,
160 TColGeom2d_SequenceOfCurve& theCurves);
161// Modified by Sergey KHROMOV - Thu Nov 16 17:24:47 2000 End
162
163
164static void EdgeVertices (const TopoDS_Edge& E,
165 TopoDS_Vertex& V1,
166 TopoDS_Vertex& V2)
167{
168 if (E.Orientation() == TopAbs_REVERSED) {
169 TopExp::Vertices(E,V2,V1);
170 }
171 else {
172 TopExp::Vertices(E,V1,V2);
173 }
174}
175static Standard_Boolean VertexFromNode
176 (const Handle(MAT_Node)& aNode,
177 const Standard_Real Offset,
178 gp_Pnt2d& PN,
179 BRepFill_DataMapOfNodeShape& MapNodeVertex,
180 TopoDS_Vertex& VN);
181
182static void StoreInMap (const TopoDS_Shape& V1,
183 const TopoDS_Shape& V2,
184 TopTools_IndexedDataMapOfShapeShape& MapVV);
185
186static void TrimEdge (const TopoDS_Edge& CurrentEdge,
187 const TopoDS_Shape& CurrentSpine,
188 const TopoDS_Face& AllSpine,
189 const TopTools_ListOfShape& D,
190 TopTools_SequenceOfShape& Sv,
191 TColStd_SequenceOfReal& MapverPar,
192 TopTools_SequenceOfShape& S,
193 TopTools_IndexedDataMapOfShapeShape& MapVV,
194 const Standard_Integer IndOfE);
195
196static Standard_Boolean IsInnerEdge(const TopoDS_Shape& ProE,
197 const TopoDS_Face& AllSpine,
198 Standard_Real& TrPar1,
199 Standard_Real& TrPar2);
200
201static Standard_Boolean DoubleOrNotInside (const TopTools_ListOfShape& EC,
202 const TopoDS_Vertex& V);
203
204static Standard_Boolean IsSmallClosedEdge(const TopoDS_Edge& anEdge,
205 const TopoDS_Vertex& aVertex);
206
207static void MakeCircle
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);
214
215static void MakeOffset
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,
222 const GeomAbs_JoinType theJoinType,
223 const TopoDS_Vertex * Ends);
224
225Standard_Boolean CheckSmallParamOnEdge(const TopoDS_Edge& anEdge);
226
227//=======================================================================
228//function : KPartCircle
229//purpose :
230//=======================================================================
231
232static Standard_Boolean KPartCircle
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)
240{
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;
253 }
254
255 Standard_Real f,l;
256 TopLoc_Location L;
257 Handle(Geom_Curve) C = BRep_Tool::Curve(E,L,f,l);
258 if (C.IsNull())
259 {
260 return Standard_False;
261 }
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
268 if ((C->IsKind(STANDARD_TYPE(Geom_Circle)) && BRep_Tool::IsClosed(E)) || //closed circle
269 IsOpenResult)
270 {
271 Standard_Real anOffset = myOffset;
272
273 Handle(Geom2d_Curve) aPCurve = BRep_Tool::CurveOnSurface(E, mySpine, f, l);
274 Handle(Geom2dAdaptor_HCurve) AHC = new Geom2dAdaptor_HCurve(aPCurve, f, l);
275 Handle(Geom2d_Curve) OC;
276 if (AHC->GetType() == GeomAbs_Line)
277 {
278 if (E.Orientation() == TopAbs_REVERSED)
279 anOffset *= -1;
280 Adaptor2d_OffsetCurve Off(AHC,anOffset);
281 OC = new Geom2d_Line(Off.Line());
282 }
283 else if (AHC->GetType() == GeomAbs_Circle)
284 {
285 if (E.Orientation() == TopAbs_FORWARD)
286 anOffset *= -1;
287 gp_Circ2d theCirc = AHC->Circle();
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;
294 }
295 }
296 else
297 {
298 if (E.Orientation() == TopAbs_FORWARD)
299 anOffset *= -1;
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);
304 Handle(Geom_Plane) aPlane = Handle(Geom_Plane)::DownCast(aSurf);
305 myShape = BRepLib_MakeEdge(OC, aPlane, f, l);
306 BRepLib::BuildCurve3d(TopoDS::Edge(myShape));
307
308 myShape.Orientation(E.Orientation());
309 myShape.Location(L);
310 if (fabs(Alt) > gp::Resolution()) {
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 }
330
331 return Standard_False;
332}
333
334//=======================================================================
335//function : BRepFill_OffsetWire
336//purpose :
337//=======================================================================
338
339BRepFill_OffsetWire::BRepFill_OffsetWire()
340 : myIsOpenResult(Standard_False),
341 myIsDone(Standard_False)
342{
343}
344
345
346//=======================================================================
347//function : BRepFill_OffsetWire
348//purpose :
349//=======================================================================
350
351BRepFill_OffsetWire::BRepFill_OffsetWire(const TopoDS_Face& Spine,
352 const GeomAbs_JoinType Join,
353 const Standard_Boolean IsOpenResult)
354{
355 Init(Spine,Join,IsOpenResult);
356}
357
358//=======================================================================
359//function : Init
360//purpose :
361//=======================================================================
362
363void BRepFill_OffsetWire::Init(const TopoDS_Face& Spine,
364 const GeomAbs_JoinType Join,
365 const Standard_Boolean IsOpenResult)
366{
367 myIsDone = Standard_False;
368 TopoDS_Shape aLocalShape = Spine.Oriented(TopAbs_FORWARD);
369 mySpine = TopoDS::Face(aLocalShape);
370 // mySpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
371 myJoinType = Join;
372 myIsOpenResult = IsOpenResult;
373
374 myMap.Clear();
375 myMapSpine.Clear();
376 //------------------------------------------------------------------
377 // cut the spine for bissectors.
378 //------------------------------------------------------------------
379 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 Begin
380 static BRepMAT2d_Explorer Exp;
381
382 Exp.Perform(mySpine);
383
384 // TopoDS_Face anOldSpine = mySpine;
385
386 mySpine = TopoDS::Face(Exp.ModifiedShape(mySpine));
387 PrepareSpine ();
388
389 // Modified by Sergey KHROMOV - Tue Nov 26 17:39:03 2002 End
390 TopoDS_Shape aShape;
391 BRepFill_IndexedDataMapOfOrientedShapeListOfShape aMap;
392 Standard_Boolean Done;
393 if (KPartCircle(myWorkSpine,1.,myIsOpenResult,0.,aShape,aMap,Done)) return;
394
395
396 //-----------------------------------------------------
397 // Calculate the map of bissectors to the left.
398 // and Links Topology -> base elements of the map.
399 //-----------------------------------------------------
400
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
404 Exp.Perform(myWorkSpine);
405 myBilo.Compute(Exp, 1 ,MAT_Left, myJoinType, myIsOpenResult);
406 myLink.Perform(Exp,myBilo);
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
449 (const TopoDS_Shape& SpineShape)
450{
451 if (!myCallGen) {
452 if (!myMapSpine.IsEmpty()) {
453 // myMapSpine can be empty if passed by PerformWithBilo.
454 TopTools_DataMapIteratorOfDataMapOfShapeShape it(myMapSpine);
455 for (; it.More(); it.Next()) {
456 if (myMap.Contains(it.Key())) {
457 if (!myMap.Contains(it.Value())) {
458 TopTools_ListOfShape L;
459 myMap.Add(it.Value(),L);
460 }
461 if ( !it.Value().IsSame(it.Key())) {
462 myMap.ChangeFromKey(it.Value()).Append(myMap.ChangeFromKey(it.Key()));
463 myMap.RemoveKey(it.Key());
464 }
465 }
466 if (myMap.Contains(it.Key().Reversed())) {
467 if (!myMap.Contains(it.Value().Reversed())) {
468 TopTools_ListOfShape L;
469 myMap.Add(it.Value().Reversed(),L);
470 }
471 if ( !it.Value().IsSame(it.Key())) {
472 myMap.ChangeFromKey(it.Value().Reversed()).Append(myMap.ChangeFromKey(it.Key().Reversed()));
473 myMap.RemoveKey(it.Key().Reversed());
474 }
475 }
476 }
477 }
478 myCallGen = Standard_True;
479 }
480
481 if (myMap.Contains(SpineShape)) {
482 return myMap.FindFromKey(SpineShape);
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,
507 const Standard_Real Alt)
508{
509 // Modified by skv - Fri Jul 8 11:21:38 2005 OCC9145 Begin
510 try
511 {
512 OCC_CATCH_SIGNALS
513 myCallGen = Standard_False;
514 if (KPartCircle(myWorkSpine,Offset,myIsOpenResult,Alt,myShape,myMap,myIsDone)) return;
515
516 TopoDS_Face oldWorkSpain = myWorkSpine;
517
518 TopTools_ListOfShape BadEdges;
519 CheckBadEdges(myWorkSpine,Offset,myBilo,myLink,BadEdges);
520
521 if(!BadEdges.IsEmpty())
522 {
523 // Modification of myWorkSpine;
524 //std::cout << "Modification of myWorkSpine : " << BadEdges.Extent() << std::endl;
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()) {
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,
546 l, Precision::Confusion(), 2);
547
548 Standard_Integer NPnts = Points.Length();
549 if(NPnts > 2)
550 {
551 //std::cout << NPnts << " points " << std::endl;
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 {
569 //std::cout << " 2 points " << std::endl;
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);
590 }
591
592 TopTools_DataMapOfShapeListOfShape wwmap;
593 TopoDS_Iterator itws( myWorkSpine );
594 for (; itws.More(); itws.Next())
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 }
607 aSubst.Clear();
608 TopTools_DataMapIteratorOfDataMapOfShapeListOfShape itmap( wwmap );
609 for (; itmap.More(); itmap.Next())
610 aSubst.Substitute( itmap.Key(), itmap.Value() );
611
612 aSubst.Build(myWorkSpine);
613
614 if(aSubst.IsCopied(myWorkSpine)) {
615 myWorkSpine = TopoDS::Face(aSubst.Copy(myWorkSpine).First());
616
617 BRepMAT2d_Explorer newExp;
618 newExp.Perform(myWorkSpine);
619 BRepMAT2d_BisectingLocus newBilo;
620 BRepMAT2d_LinkTopoBilo newLink;
621 newBilo.Compute(newExp, 1, MAT_Left, myJoinType, myIsOpenResult);
622
623 if(!newBilo.IsDone())
624 {
625 myShape.Nullify();
626 myIsDone = Standard_False;
627 return;
628 }
629
630 newLink.Perform(newExp,newBilo);
631 PerformWithBiLo(myWorkSpine,Offset,newBilo,newLink,myJoinType,Alt);
632 myWorkSpine = oldWorkSpain;
633 }
634 else {
635 PerformWithBiLo(myWorkSpine,Offset,myBilo,myLink,myJoinType,Alt);
636 }
637 }
638 else
639 {
640 PerformWithBiLo(myWorkSpine,Offset,myBilo,myLink,myJoinType,Alt);
641 }
642 }
643 catch (Standard_Failure const& anException) {
644#ifdef OCCT_DEBUG
645 std::cout<<"An exception was caught in BRepFill_OffsetWire::Perform : ";
646 anException.Print(std::cout);
647 std::cout<<std::endl;
648#endif
649 (void)anException;
650 myShape.Nullify();
651 myIsDone = Standard_False;
652
653 return;
654 }
655
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
658 if (!myIsOpenResult)
659 {
660 TopExp_Explorer anExp(myShape, TopAbs_WIRE);
661
662 for (; anExp.More(); anExp.Next()) {
663 const TopoDS_Shape &aWire = anExp.Current();
664
665 if (!aWire.Closed()) {
666 myShape.Nullify();
667 myIsDone = Standard_False;
668 throw Standard_ConstructionError("Offset wire is not closed.");
669 }
670 }
671 }
672 // Modified by Sergey KHROMOV - Thu Mar 14 10:48:16 2002 End
673}
674
675//=======================================================================
676//function : Compute
677//purpose :
678//=======================================================================
679
680void Compute (const TopoDS_Face& Spine,
681 TopoDS_Shape& aShape,
682 BRepFill_IndexedDataMapOfOrientedShapeListOfShape& Map,
683 const Standard_Real Alt)
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);
697 // TopoDS_Wire NewW = TopoDS::Wire(CurW.Moved(L));
698 B.Add(aShape,NewW);
699 // update Map.
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());
705 Map.Add(it1.Value(), List);
706 }
707 }
708}
709
710//=======================================================================
711//function : PerformWithBiLo
712//purpose :
713//=======================================================================
714
715void BRepFill_OffsetWire::PerformWithBiLo
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)
722{
723 myIsDone = Standard_False;
724 TopoDS_Shape aLocalShapeWork = Spine.Oriented(TopAbs_FORWARD);
725 myWorkSpine = TopoDS::Face(aLocalShapeWork);
726 // myWorkSpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
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);
735 // mySpine = TopoDS::Face(Spine.Oriented(TopAbs_FORWARD));
736 }
737 myMap.Clear();
738
739 if ( Abs(myOffset) < Precision::Confusion()) {
740 Compute(mySpine,myShape,myMap,Alt);
741 myIsDone = Standard_True;
742 return;
743 }
744
745 //********************************
746 // Calculate for a non null offset
747 //********************************
748 if (KPartCircle(myWorkSpine,Offset,myIsOpenResult,Alt,myShape,myMap,myIsDone))
749 return;
750
751 BRep_Builder myBuilder;
752
753 //---------------------------------------------------------------------
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);
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
773 Handle(Geom_Plane) RefPlane =
774 Handle(Geom_Plane)::DownCast(BRep_Tool::Surface(myWorkSpine));
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 }
781
782 //---------------------------------------------------------------
783 // Construction of Circles and OffsetCurves
784 //---------------------------------------------------------------
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 }
794
795 if (Locus.NumberOfContours() == 0)
796 {
797 return;
798 }
799
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) {
806 if (!SE.IsSame(Ends[0]) && !SE.IsSame(Ends[1]))
807 MakeCircle (TopoDS::Edge(PE),TopoDS::Vertex(SE),
808 myWorkSpine,myOffset,myMap,RefPlane);
809 }
810 else {
811 MakeOffset (TopoDS::Edge(SE),myWorkSpine,myOffset,myMap,RefPlane,
812 myIsOpenResult, myJoinType, Ends);
813 PE = SE;
814 }
815 }
816 }
817
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 {
824 myMap.RemoveFromIndex(1);
825 }
826 if (!myMap.IsEmpty() &&
827 myMap.FindKey(myMap.Extent()).ShapeType() == TopAbs_VERTEX)
828 myMap.RemoveLast();
829 }
830
831#ifdef OCCT_DEBUG
832#ifdef DRAW
833 if (AffichEdge) {
834 std::cout << " End Construction of geometric primitives "<<std::endl;
835 }
836#endif
837#endif
838
839
840 //---------------------------------------------------
841 // Construction of offset vertices.
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;
852 Standard_Integer j, k;
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);
858#ifdef OCCT_DEBUG
859#ifdef DRAW
860
861 if ( AffichGeom) {
862 char name[256];
863 sprintf(name,"BISSEC_%d",NbBISSEC++);
864 DrawTrSurf::Set(name,Bisec.Value());
865 }
866#endif
867#endif
868
869 //-------------------------------------------------------------------
870 // Return elements of the spine corresponding to separate basicElts.
871 //-------------------------------------------------------------------
872 S [0] = Link.GeneratingShape(CurrentArc->FirstElement());
873 S [1] = Link.GeneratingShape(CurrentArc->SecondElement());
874
875 TopTools_SequenceOfShape Vertices;
876 TColgp_SequenceOfPnt Params;
877
878 TopTools_DataMapOfShapeSequenceOfShape MapSeqVer;
879 BRepFill_DataMapOfShapeSequenceOfPnt MapSeqPar;
880
881 //-----------------------------------------------------------
882 // Return parallel edges on each face.
883 // If no offset generated => move to the next bissectrice.
884 //--------------------------------------------------------------
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());
888 }
889 else continue;
890
891 //-----------------------------------------------------------
892 // Construction of vertices corresponding to the node of the map.
893 // if they are on the offset.
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 }
906
907 Standard_Boolean StartOnEdge = 0, EndOnEdge = 0;
908
909 if (!Node1->Infinite()) {
910 gp_Pnt2d aLocalPnt2d = Locus.GeomElt(Node1);
911 StartOnEdge = VertexFromNode(Node1, myOffset, aLocalPnt2d ,MapNodeVertex,VS);
912 // StartOnEdge = VertexFromNode(Node1, myOffset, Locus.GeomElt(Node1),
913 // MapNodeVertex,VS);
914 }
915 if (!Node2->Infinite()) {
916 gp_Pnt2d aLocalPnt2d = Locus.GeomElt(Node2) ;
917 EndOnEdge = VertexFromNode(Node2, myOffset, aLocalPnt2d ,MapNodeVertex,VE);
918 // EndOnEdge = VertexFromNode(Node2, myOffset, Locus.GeomElt(Node2),
919 // MapNodeVertex,VE);
920 }
921
922 if (myJoinType == GeomAbs_Intersection)
923 StartOnEdge = EndOnEdge = 0;
924
925 //---------------------------------------------
926 // Construction of geometries.
927 //---------------------------------------------
928 BRepFill_TrimEdgeTool Trim (Bisec,
929 Locus.GeomElt(CurrentArc->FirstElement()),
930 Locus.GeomElt(CurrentArc->SecondElement()),
931 myOffset);
932
933 //-----------------------------------------------------------
934 // Construction of vertices on edges parallel to the spine.
935 //-----------------------------------------------------------
936
937 Trim.IntersectWith(E[0], E[1], S[0], S[1], Ends[0], Ends[1],
938 myJoinType, myIsOpenResult, Params);
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())
953 Vertices.SetValue(1,VS);
954
955 else
956 // the point was not found by IntersectWith
957 Vertices.Prepend(VS);
958 }
959 if (EndOnEdge) {
960 Standard_Boolean Start = 0;
961 Trim.AddOrConfuse(Start, E[0], E[1], Params);
962 if (Params.Length() == Vertices.Length())
963 Vertices.SetValue(Params.Length(),VE);
964
965 else
966 // the point was not found by IntersectWith
967 Vertices.Append(VE);
968 }
969
970 //------------------------------------------------------------
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.
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
982 UpdateDetromp (Detromp, S[0], S[1], Vertices, Params,
983 Bisec, StartOnEdge, EndOnEdge, Trim);
984 //----------------------------------------------
985 // Storage of vertices on parallel edges.
986 // fill MapBis and MapVerPar.
987 //----------------------------------------------
988 if (!Vertices.IsEmpty()) {
989 for (k = 0; k <= 1; k++) {
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 }
999 }
1000 }
1001 else {
1002 //------------------------------------------------------------
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.
1007 //-------------------------------------------------------------
1008 for (k = 0; k <= 1; k++) {
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 }
1015 }
1016 }
1017 }
1018
1019#ifdef OCCT_DEBUG
1020#ifdef DRAW
1021 if (AffichEdge) {
1022 std::cout << " End Construction of vertices on offsets"<<std::endl;
1023 }
1024#endif
1025#endif
1026
1027 //----------------------------------
1028 // Construction of parallel edges.
1029 //----------------------------------
1030 TopTools_IndexedDataMapOfShapeShape MapVV;
1031
1032 TopoDS_Shape CurrentSpine;
1033
1034 //BRepFill_DataMapIteratorOfDataMapOfOrientedShapeListOfShape ite1;
1035
1036 for (j = 1; j <= myMap.Extent(); j++) {
1037 CurrentSpine = myMap.FindKey(j);
1038 CurrentEdge = TopoDS::Edge(myMap(j).First());
1039
1040 myMap(j).Clear();
1041 if (MapBis.IsBound(CurrentEdge)) {
1042 TopTools_SequenceOfShape aSeqOfShape;
1043 if (!MapBis(CurrentEdge).IsEmpty()) {
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 }
1052 TrimEdge (CurrentEdge,
1053 CurrentSpine,
1054 mySpine,
1055 Detromp (CurrentSpine),
1056 MapBis (CurrentEdge) ,
1057 MapVerPar(CurrentEdge) ,
1058 aSeqOfShape, MapVV, IndOfE);
1059 for ( k = 1; k <= aSeqOfShape.Length(); k++) {
1060 myMap(j).Append(aSeqOfShape.Value(k));
1061 }
1062 }
1063 else {
1064 //-----------------
1065 // Complete circles
1066 //-----------------
1067 myMap(j).Append(CurrentEdge);
1068 }
1069 }
1070 }
1071
1072 Standard_Integer ind;
1073 for (ind = 1; ind <= MapVV.Extent(); ind++)
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++)
1085 {
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 }
1098 }
1099 }
1100
1101 //----------------------------------
1102 // Construction of offset wires.
1103 //----------------------------------
1104 MakeWires ();
1105
1106 // Update vertices ( Constructed in the plane Z = 0) !!!
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
1117 // Construction of curves 3d.
1118 BRepLib::BuildCurves3d(myShape);
1119 MapVertex.Clear();
1120 TopExp_Explorer Explo( myShape, TopAbs_EDGE );
1121 for (; Explo.More(); Explo.Next())
1122 {
1123 TopoDS_Edge anEdge = TopoDS::Edge( Explo.Current() );
1124 TopoDS_Vertex V1, V2;
1125 TopExp::Vertices(anEdge, V1, V2 );
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;
1131 Handle( Geom_Curve ) theCurve = BRep_Tool::Curve(anEdge, loc, f, l );
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 ))
1141 {
1142
1143 TV1->Pnt( f3d );
1144 MapVertex.Add( V1 );
1145 }
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 }
1156
1157 if (!myIsOpenResult)
1158 FixHoles();
1159
1160 myIsDone = Standard_True;
1161}
1162
1163
1164//=======================================================================
1165//function : Generated
1166//purpose :
1167//=======================================================================
1168
1169BRepFill_IndexedDataMapOfOrientedShapeListOfShape&
1170 BRepFill_OffsetWire::Generated()
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
1201 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:55 2000 Begin
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
1209 if (nbEdges == 1 && !myIsOpenResult) //in case of open wire there's no need to do it
1210 ForcedCut = 2;
1211 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:48 2000 End
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
1221 // Cut
1222 TopoDS_Shape aLocalShape = E.Oriented(TopAbs_FORWARD);
1223 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:29 2000 Begin
1224 if (nbEdges == 2 && nbResEdges == 0)
1225 ForcedCut = 1;
1226 // Modified by Sergey KHROMOV - Thu Nov 16 17:29:33 2000 End
1227 nbResEdges = CutEdge (TopoDS::Edge(aLocalShape), mySpine, ForcedCut, Cuts);
1228
1229 if (Cuts.IsEmpty()) {
1230 B.Add(NW,E);
1231 myMapSpine.Bind(E,E);
1232 }
1233 else {
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 }
1243 }
1244 }
1245 // Modified by Sergey KHROMOV - Thu Mar 7 09:17:41 2002 Begin
1246 TopoDS_Vertex aV1;
1247 TopoDS_Vertex aV2;
1248
1249 TopExp::Vertices(NW, aV1, aV2);
1250
1251 NW.Closed(aV1.IsSame(aV2));
1252
1253 // Modified by Sergey KHROMOV - Thu Mar 7 09:17:43 2002 End
1254 B.Add(myWorkSpine, NW);
1255 }
1256
1257#ifdef OCCT_DEBUG
1258#ifdef DRAW
1259 if ( AffichEdge) {
1260 DBRep::Set("WS",myWorkSpine);
1261 DBRep::Set("MS",mySpine);
1262 BRepTools::Write(myWorkSpine, "WS");
1263 BRepTools::Write(mySpine, "MS");
1264 }
1265#endif
1266#endif
1267
1268}
1269
1270//=======================================================================
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{
1290 Standard_Integer ii = 1;
1291
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);
1299 }
1300 }
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();
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
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);
1329 if (!Trim.IsInside(P) || ForceAdd) {
1330 if (!V1.IsNull()) {
1331 Detromp(Shape1).Append(V1);
1332 Detromp(Shape2).Append(V1);
1333 }
1334 Detromp(Shape1).Append(V2);
1335 Detromp(Shape2).Append(V2);
1336 }
1337 U1 = U2;
1338 V1 = V2;
1339 ii ++;
1340 }
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);
1347 if (!Trim.IsInside(P) || ForceAdd) {
1348 if (!V1.IsNull()) {
1349 Detromp(Shape1).Append(V1);
1350 Detromp(Shape2).Append(V1);
1351 }
1352 }
1353 }
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)
1369}
1370
1371//=======================================================================
1372//function : MakeWires
1373//purpose :
1374//=======================================================================
1375
1376void BRepFill_OffsetWire::MakeWires()
1377{
1378 //--------------------------------------------------------
1379 // creation of a single list of created parallel edges.
1380 //--------------------------------------------------------
1381 TopTools_SequenceOfShape TheEdges;
1382 TopTools_ListOfShape TheWires;
1383 TopTools_ListIteratorOfListOfShape itl;
1384 //BRepFill_DataMapIteratorOfDataMapOfOrientedShapeListOfShape ite;
1385 TopTools_IndexedDataMapOfShapeListOfShape MVE;
1386 //TopTools_DataMapIteratorOfDataMapOfShapeListOfShape MVEit;
1387 TopoDS_Vertex V1,V2,VF,CV;
1388 Standard_Integer i;
1389
1390 for (i = 1; i <= myMap.Extent(); i++) {
1391 for (itl.Initialize(myMap(i)); itl.More(); itl.Next()) {
1392 const TopoDS_Edge& E = TopoDS::Edge(itl.Value());
1393 TopExp::Vertices (E,V1,V2);
1394 if (V1.IsSame(V2) && IsSmallClosedEdge(E, V1))
1395 continue; //remove small closed edges
1396 if (!CheckSmallParamOnEdge(E))
1397 continue;
1398 if (!MVE.Contains(V1)) {
1399 TopTools_ListOfShape empty;
1400 MVE.Add(V1,empty);
1401 }
1402 MVE.ChangeFromKey(V1).Append(E);
1403 if (!MVE.Contains(V2)) {
1404 TopTools_ListOfShape empty;
1405 MVE.Add(V2,empty);
1406 }
1407 MVE.ChangeFromKey(V2).Append(E);
1408 }
1409 }
1410
1411 //--------------------------------------
1412 // Creation of parallel wires.
1413 //--------------------------------------
1414 BRep_Builder B;
1415
1416
1417 // Standard_Integer NbEdges;
1418 // Standard_Boolean NewWire = Standard_True;
1419 // Standard_Boolean AddEdge = Standard_False;
1420
1421 TopoDS_Wire NW;
1422 Standard_Boolean End;
1423 TopoDS_Edge CE;
1424
1425 while (!MVE.IsEmpty()) {
1426 B.MakeWire(NW);
1427
1428 //MVEit.Initialize(MVE);
1429 for (i = 1; i <= MVE.Extent(); i++)
1430 if(MVE(i).Extent() == 1)
1431 break;
1432
1433 //if(!MVEit.More()) MVEit.Initialize(MVE);
1434 if (i > MVE.Extent())
1435 i = 1;
1436
1437 CV = VF = TopoDS::Vertex(MVE.FindKey(i));
1438 CE = TopoDS::Edge(MVE(i).First());
1439 End = Standard_False;
1440 MVE.ChangeFromKey(CV).RemoveFirst();
1441
1442 if (myIsOpenResult && MVE.FindFromKey(CV).IsEmpty())
1443 {
1444 MVE.RemoveKey(CV);
1445 }
1446
1447
1448 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:59 2002 Begin
1449 Standard_Boolean isClosed = Standard_False;
1450
1451 // Modified by Sergey KHROMOV - Thu Mar 14 11:30:00 2002 End
1452
1453 while(!End) {
1454 //-------------------------------
1455 // Construction of a wire.
1456 //-------------------------------
1457 TopExp::Vertices(CE,V1,V2);
1458 if (!CV.IsSame(V1)) CV = V1; else CV = V2;
1459
1460 B.Add (NW,CE);
1461
1462 if (VF.IsSame(CV) || !MVE.Contains(CV)) {
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;
1467 MVE.RemoveKey(VF);
1468 }
1469
1470 if (!End) {
1471 if (MVE.FindFromKey(CV).Extent() > 2) {
1472 //std::cout <<"vertex on more that 2 edges in a face."<<std::endl;
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 }
1484 else if (myIsOpenResult)//CV was a vertex with one edge
1485 End = Standard_True;
1486
1487 if (MVE.FindFromKey(CV).IsEmpty())
1488 {
1489 MVE.RemoveKey(CV);
1490 }
1491 }
1492 }
1493 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:31 2002 Begin
1494 // NW.Closed(Standard_True);
1495 NW.Closed(isClosed);
1496 // Modified by Sergey KHROMOV - Thu Mar 14 11:29:37 2002 End
1497 TheWires.Append(NW);
1498 }
1499
1500 // update myShape :
1501 // -- if only one wire : myShape is a Wire
1502 // -- if several wires : myShape is a Compound.
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.;
1528 BRep_Builder BB;
1529
1530 TopExp_Explorer Explo( mySpine, TopAbs_VERTEX );
1531 for (; Explo.More(); Explo.Next())
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 }
1538 MaxTol *= 100.;
1539
1540 Explo.Init( myShape, TopAbs_WIRE );
1541 for (; Explo.More(); Explo.Next())
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())
1548 {
1549 const TopoDS_Shape& anEdge = it.Value();
1550 if (! EEmap.IsBound( anEdge ))
1551 {
1552 TopTools_ListOfShape LE;
1553 EEmap.Bind( anEdge, LE );
1554 }
1555 else
1556 EEmap(anEdge).Append( anEdge );
1557 }
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
1574 while (!UnclosedWires.IsEmpty())
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())
1580 {
1581 throw Standard_Failure("BRepFill_OffsetWire::FixHoles(): Wrong wire.");
1582 }
1583 gp_Pnt Pf, Pl;
1584 Pf = BRep_Tool::Pnt(Vf);
1585 Pl = BRep_Tool::Pnt(Vl);
1586 Standard_Real DistF = RealLast(), DistL = RealLast();
1587 Standard_Integer IndexF = 0, IndexL = 0;
1588 Standard_Boolean IsFirstF = Standard_False, IsFirstL = Standard_False;
1589 for (Standard_Integer i = 2; i <= UnclosedWires.Length(); i++)
1590 {
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())
1596 {
1597 throw Standard_Failure("BRepFill_OffsetWire::FixHoles(): Wrong wire.");
1598 }
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 }
1632 if (DistF > MaxTol)
1633 IndexF = 0;
1634 if (DistL > MaxTol)
1635 IndexL = 0;
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());
1741 Pf = BRep_Tool::Pnt(Vf);
1742 Pl = BRep_Tool::Pnt(Vl);
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 }
1760 }
1761 // Updating sequences ClosedWires and UnclosedWires
1762 if (DistF <= MaxTol)
1763 UnclosedWires.Remove( IndexF );
1764 if (DistL <= MaxTol && IndexL != IndexF)
1765 {
1766 if (DistF <= MaxTol && IndexL > IndexF)
1767 IndexL--;
1768 UnclosedWires.Remove( IndexL );
1769 }
1770 if (Base.Closed())
1771 {
1772 ClosedWires.Append( Base );
1773 UnclosedWires.Remove( 1 );
1774 }
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 );
1794 Standard_Integer i;
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 }
1801}
1802
1803//=======================================================================
1804//function : CutEdge
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.
1810//=======================================================================
1811Standard_Integer CutEdge (const TopoDS_Edge& E,
1812 const TopoDS_Face& F,
1813 Standard_Integer ForceCut,
1814 TopTools_ListOfShape& Cuts)
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;
1822 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:25 2002 Begin
1823 Standard_Real aTol = BRep_Tool::Tolerance(E);
1824 Handle(Geom_Curve) aC;
1825 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:25 2002 End
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);
1832 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:54 2002 Begin
1833 aC = BRep_Tool::Curve(E,f,l);
1834 // Modified by Sergey KHROMOV - Wed Mar 6 17:36:54 2002 End
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)) &&
1839 ( Abs(f-l) >= M_PI) ) {
1840 return 0;
1841 }
1842
1843 //-------------------------
1844 // Cut curve.
1845 //-------------------------
1846 Cuter.Perform(CT2d);
1847
1848 // Modified by Sergey KHROMOV - Thu Nov 16 17:28:29 2000 Begin
1849 if (ForceCut == 0) {
1850 if (Cuter.UnModified()) {
1851 //-----------------------------
1852 // edge not modified => return.
1853 //-----------------------------
1854 return 0;
1855 } else {
1856 for (Standard_Integer k = 1; k <= Cuter.NbCurves(); k++)
1857 theCurves.Append(Cuter.Value(k));
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++)
1864
1865 theCurves.Append(Cuter.Value(k));
1866 }
1867 } else if (ForceCut == 2) {
1868 if (Cuter.UnModified()) {
1869 CutCurve (CT2d, 3, theCurves);
1870 } else {
1871 if (Cuter.NbCurves() == 2) {
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 }
1882 } else {
1883 for (Standard_Integer k = 1; k <= Cuter.NbCurves(); k++)
1884 theCurves.Append(Cuter.Value(k));
1885 }
1886 }
1887 }
1888
1889 // Modified by Sergey KHROMOV - Thu Nov 16 17:28:37 2000 End
1890
1891 //--------------------------------------
1892 // Creation of cut edges.
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 {
1902 // Modified by Sergey KHROMOV - Wed Mar 6 17:38:02 2002 Begin
1903 gp_Pnt P = aC->Value(CC->LastParameter());
1904
1905 VL = BRepLib_MakeVertex(P);
1906 B.UpdateVertex(VL, aTol);
1907 // Modified by Sergey KHROMOV - Wed Mar 6 17:38:05 2002 End
1908 }
1909 TopoDS_Shape aLocalShape = E.EmptyCopied();
1910 TopoDS_Edge NE = TopoDS::Edge(aLocalShape);
1911 // TopoDS_Edge NE = TopoDS::Edge(E.EmptyCopied());
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,
1930 const Standard_Integer nbParts,
1931 TColGeom2d_SequenceOfCurve& theCurves)
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)
1955 continue;
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,
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)
1983{
1984 // evaluate the Axis of the Circle.
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);
2005 Map.Add(V,LL);
2006
2007#ifdef OCCT_DEBUG
2008#ifdef DRAW
2009 if ( AffichGeom && !OE.IsNull()) {
2010 char name[256];
2011 sprintf(name,"OFFSET_%d",++NbOFFSET);
2012 DBRep::Set(name,OE);
2013 }
2014#endif
2015#endif
2016}
2017
2018//=======================================================================
2019//function : MakeOffset
2020//purpose :
2021//=======================================================================
2022
2023void MakeOffset (const TopoDS_Edge& E,
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,
2029 const GeomAbs_JoinType theJoinType,
2030 const TopoDS_Vertex * Ends)
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
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]) ||
2047 V1.IsSame(Ends[1]))
2048 ToExtendFirstPar = Standard_False;
2049 if (V2.IsSame(Ends[0]) ||
2050 V2.IsSame(Ends[1]))
2051 ToExtendLastPar = Standard_False;
2052 }
2053
2054 Geom2dAdaptor_Curve AC(G2d,f,l);
2055 if ( AC.GetType() == GeomAbs_Circle) {
2056 // if the offset is greater otr equal to the radius and the side of the
2057 // concavity of the circle => edge null.
2058 gp_Circ2d C1(AC.Circle());
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
2065 if (anOffset*Signe < AC.Circle().Radius() - Precision::Confusion()) {
2066
2067 Handle(Geom2dAdaptor_HCurve) AHC =
2068 new Geom2dAdaptor_HCurve(G2d);
2069 Adaptor2d_OffsetCurve Off(AHC,-anOffset);
2070 Handle(Geom2d_Circle) CC = new Geom2d_Circle(Off.Circle());
2071
2072 Standard_Real Delta = 2*M_PI - l + f;
2073 if (theJoinType == GeomAbs_Arc)
2074 {
2075 if (ToExtendFirstPar)
2076 f -= 0.2*Delta;
2077 if (ToExtendLastPar)
2078 l += 0.2*Delta;
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 }
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);
2104 Adaptor2d_OffsetCurve Off(AHC,anOffset);
2105 Handle(Geom2d_Line) CC = new Geom2d_Line(Off.Line());
2106 Standard_Real Delta = (l - f);
2107 if (ToExtendFirstPar)
2108 {
2109 if (theJoinType == GeomAbs_Arc)
2110 f -= Delta;
2111 else //GeomAbs_Intersection
2112 f = -Precision::Infinite();
2113 }
2114 if (ToExtendLastPar)
2115 {
2116 if (theJoinType == GeomAbs_Arc)
2117 l += Delta;
2118 else //GeomAbs_Intersection
2119 l = Precision::Infinite();
2120 }
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);
2137 Map.Add(E,LL);
2138
2139#ifdef OCCT_DEBUG
2140#ifdef DRAW
2141 if (AffichGeom && !OE.IsNull()) {
2142 char name[256];
2143 sprintf(name,"OFFSET_%d",++NbOFFSET);
2144 DBRep::Set(name,OE);
2145 //Standard_Real ii = 0;
2146 }
2147#endif
2148#endif
2149
2150 }
2151}
2152
2153
2154//=======================================================================
2155//function : VertexFromNode
2156//purpose :
2157//=======================================================================
2158
2159Standard_Boolean VertexFromNode (const Handle(MAT_Node)& aNode,
2160 const Standard_Real Offset,
2161 gp_Pnt2d& PN,
2162 BRepFill_DataMapOfNodeShape& MapNodeVertex,
2163 TopoDS_Vertex& VN)
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 //------------------------------------------------
2171 // the Node gives a vertex on the offset
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,
2196 const TopoDS_Shape& V2,
2197 TopTools_IndexedDataMapOfShapeShape& MapVV)
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,
2221 const TopoDS_Shape& ProE,
2222 const TopoDS_Face& AllSpine,
2223 const TopTools_ListOfShape& Detromp,
2224 TopTools_SequenceOfShape& TheVer,
2225 TColStd_SequenceOfReal& ThePar,
2226 TopTools_SequenceOfShape& S,
2227 TopTools_IndexedDataMapOfShapeShape& MapVV,
2228 const Standard_Integer IndOfE)
2229{
2230 Standard_Boolean Change = Standard_True;
2231 BRep_Builder TheBuilder;
2232 S.Clear();
2233
2234 //-----------------------------------------------------------
2235 // Parse two sequences depending on the parameter on the edge.
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)) {
2241 ThePar.Exchange(i,i+1);
2242 TheVer.Exchange(i,i+1);
2243 Change = Standard_True;
2244 }
2245 }
2246 }
2247
2248 //----------------------------------------------------------
2249 // If a vertex is not in the proofing, it is eliminated.
2250 //----------------------------------------------------------
2251 if (!BRep_Tool::Degenerated(E)) {
2252 for (Standard_Integer k = 1; k <= TheVer.Length(); k ++) {
2253 if ( DoubleOrNotInside (Detromp,
2254 TopoDS::Vertex(TheVer.Value(k)))) {
2255 TheVer.Remove(k);
2256 ThePar.Remove(k);
2257 k--;
2258 }
2259 }
2260 }
2261
2262 //----------------------------------------------------------
2263 // If a vertex_double appears twice in the proofing
2264 // the vertex is removed.
2265 // otherwise preserve only one of its representations.
2266 //----------------------------------------------------------
2267 if (!BRep_Tool::Degenerated(E)) {
2268 Standard_Real aParTol = 2.0 * Precision::PConfusion();
2269 for (Standard_Integer k = 1; k < TheVer.Length(); k ++) {
2270 if (TheVer.Value(k).IsSame(TheVer.Value(k+1)) ||
2271 Abs(ThePar.Value(k)-ThePar.Value(k+1)) <= aParTol) {
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--;
2292 }
2293 }
2294 }
2295 //-----------------------------------------------------------
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;
2299 //-----------------------------------------------------------
2300 if (IndOfE == 1 || IndOfE == -1) //open result and extreme edges of result
2301 {
2302 TopoDS_Shape aLocalShape = E.EmptyCopied();
2303 TopoDS_Edge NewEdge = TopoDS::Edge(aLocalShape);
2304 TopoDS_Vertex V1, V2;
2305 TopExp::Vertices(E, V1, V2);
2306 Standard_Real fpar, lpar;
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
2316 if (IndOfE == 1) //first edge of open wire
2317 {
2318 if (NewEdge.Orientation() == TopAbs_FORWARD)
2319 {
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 }
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 {
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 }
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 }
2344 }
2345 else //last edge of open wire
2346 {
2347 if (NewEdge.Orientation() == TopAbs_FORWARD)
2348 {
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 }
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 {
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 }
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 }
2373 }
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
2395#ifdef OCCT_DEBUG
2396#ifdef DRAW
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 }
2416#endif
2417#endif
2418 S.Append(NewEdge);
2419 }
2420 }
2421}
2422
2423//=======================================================================
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//=======================================================================
2454//function : DoubleOrNotInside
2455//purpose : return True if V appears twice in LV or is not inside.
2456//=======================================================================
2457
2458Standard_Boolean DoubleOrNotInside (const TopTools_ListOfShape& LV,
2459 const TopoDS_Vertex& V)
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,
2475 const TopoDS_Vertex& aVertex)
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,
2506 const BRepMAT2d_BisectingLocus& Locus,
2507 const BRepMAT2d_LinkTopoBilo& Link,
2508 TopTools_ListOfShape& BadEdges)
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
2522
2523 if (aMap.Contains(SE)) {
2524 //std::cout << "Edge is treated second time" << std::endl;
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 }
2613 }
2614 }
2615 }
2616}
2617
2618
2619//=======================================================================
2620//function : PerformCurve
2621//purpose :
2622//=======================================================================
2623
2624static Standard_Boolean PerformCurve (TColStd_SequenceOfReal& Parameters,
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)
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);
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,
2651
2652 UU1,Pdeb,
2653 Ddeb,
2654 UU2,Pfin,
2655 Dfin,
2656 Nbmin,
2657 EPSILON*EPSILON,
2658 Parameters,Points);
2659 }
2660
2661 return Standard_True;
2662}
2663//=======================================================================
2664//function : QuasiFleche
2665//purpose :
2666//=======================================================================
2667
2668static void QuasiFleche(const Adaptor3d_Curve& C,
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)
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) {
2700 // Evaluation of the arrow by interpolation. See IntWalk_IWalking_5.gxx
2701 Standard_Real N1 = Vdeb.SquareMagnitude();
2702 Standard_Real N2 = Vdelta.SquareMagnitude();
2703 if (N1 > Eps && N2 > Eps) {
2704 Standard_Real Normediff =
2705
2706 (Vdeb.Normalized().XYZ()-Vdelta.Normalized().XYZ()).SquareModulus();
2707 if (Normediff > Eps) {
2708
2709 theFleche = Normediff*Norme/64.;
2710 flecheok = Standard_True;
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,
2726
2727 Vdeb,
2728 Udeb+Udelta,Pdelta,
2729 Vdelta,
2730 3,
2731 Eps,
2732 Parameters,Points);
2733
2734 }
2735
2736 if (Nbmin > 2) {
2737 QuasiFleche(C,Deflection2,Udeb+Udelta,Pdelta,
2738
2739 Vdelta,
2740 Ufin,Pfin,
2741 Vfin,
2742 Nbmin-(Points.Length()-Ptslength),
2743 Eps,
2744 Parameters,Points);
2745 }
2746}
2747
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