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