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