Salome HOME
57d8422425912ad1194b4a15c270a8fcf92bee0f
[modules/geom.git] / src / GEOMImpl / GEOMImpl_ProjectionDriver.cxx
1 // Copyright (C) 2007-2016  CEA/DEN, EDF R&D, OPEN CASCADE
2 //
3 // Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
5 //
6 // This library is free software; you can redistribute it and/or
7 // modify it under the terms of the GNU Lesser General Public
8 // License as published by the Free Software Foundation; either
9 // version 2.1 of the License, or (at your option) any later version.
10 //
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 // Lesser General Public License for more details.
15 //
16 // You should have received a copy of the GNU Lesser General Public
17 // License along with this library; if not, write to the Free Software
18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
19 //
20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
21 //
22
23 #include <Standard_Stream.hxx>
24
25 #include <GEOMImpl_ProjectionDriver.hxx>
26
27 #include <GEOMImpl_IMirror.hxx>
28 #include <GEOMImpl_IProjection.hxx>
29 #include <GEOMImpl_IProjOnCyl.hxx>
30 #include <GEOMImpl_Types.hxx>
31 #include <GEOM_Function.hxx>
32 #include <GEOMUtils.hxx>
33 #include <GEOMUtils_HTrsfCurve2d.hxx>
34
35 #include <Approx_Curve2d.hxx>
36 #include <Bnd_Box2d.hxx>
37 #include <BndLib_Add2dCurve.hxx>
38 #include <BRep_Tool.hxx>
39 #include <BRepAdaptor_Curve2d.hxx>
40 #include <BRepBuilderAPI_Transform.hxx>
41 #include <BRepBuilderAPI_MakeEdge.hxx>
42 #include <BRepBuilderAPI_MakeFace.hxx>
43 #include <BRepBuilderAPI_MakeVertex.hxx>
44 #include <BRepBuilderAPI_MakeWire.hxx>
45 #include <BRepClass_FaceClassifier.hxx>
46 #include <BRepExtrema_DistShapeShape.hxx>
47 #include <BRepLib.hxx>
48 #include <BRepOffsetAPI_NormalProjection.hxx>
49 #include <BRepTools.hxx>
50 #include <BRepTools_WireExplorer.hxx>
51
52 #include <TopAbs.hxx>
53 #include <TopExp.hxx>
54 #include <TopoDS.hxx>
55 #include <TopoDS_Shape.hxx>
56 #include <TopoDS_Edge.hxx>
57 #include <TopoDS_Face.hxx>
58 #include <TopoDS_Vertex.hxx>
59 #include <TopoDS_Wire.hxx>
60 #include <TopTools_ListIteratorOfListOfShape.hxx>
61
62 #include <GeomAPI_ProjectPointOnSurf.hxx>
63 #include <Geom_Curve.hxx>
64 #include <Geom_CylindricalSurface.hxx>
65 #include <Geom_Plane.hxx>
66 #include <Geom2d_TrimmedCurve.hxx>
67
68 #include <gp_Trsf.hxx>
69 #include <gp_Pnt.hxx>
70 #include <gp_Vec.hxx>
71
72 //=======================================================================
73 //function : GetID
74 //purpose  :
75 //======================================================================= 
76 const Standard_GUID& GEOMImpl_ProjectionDriver::GetID()
77 {
78   static Standard_GUID aProjectionDriver ("FF1BBB70-5D14-4df2-980B-3A668264EA16");
79   return aProjectionDriver; 
80 }
81
82
83 //=======================================================================
84 //function : GEOMImpl_ProjectionDriver
85 //purpose  : 
86 //=======================================================================
87
88 GEOMImpl_ProjectionDriver::GEOMImpl_ProjectionDriver() 
89 {
90 }
91
92 //=======================================================================
93 //function : Execute
94 //purpose  :
95 //======================================================================= 
96 Standard_Integer GEOMImpl_ProjectionDriver::Execute(LOGBOOK& log) const
97 {
98   if (Label().IsNull())  return 0;    
99   Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
100
101   if (aFunction.IsNull()) return 0;
102
103   Standard_Integer aType = aFunction->GetType();
104
105   if (aType == PROJECTION_COPY) {
106     // Projection
107     TopoDS_Shape aShape;
108     gp_Trsf aTrsf;
109
110     GEOMImpl_IMirror TI (aFunction);
111
112     Handle(GEOM_Function) anOriginalFunction = TI.GetOriginal();
113     if (anOriginalFunction.IsNull()) return 0;
114
115     TopoDS_Shape anOriginal = anOriginalFunction->GetValue();
116     if (anOriginal.IsNull()) return 0;
117
118     // Source shape (point, edge or wire)
119     if (anOriginal.ShapeType() != TopAbs_VERTEX &&
120         anOriginal.ShapeType() != TopAbs_EDGE &&
121         anOriginal.ShapeType() != TopAbs_WIRE) {
122       Standard_ConstructionError::Raise
123         ("Projection aborted : the source shape is neither a vertex, nor an edge or a wire");
124     }
125
126     // Target face
127     Handle(GEOM_Function) aTargetFunction = TI.GetPlane();
128     if (aTargetFunction.IsNull()) return 0;
129     TopoDS_Shape aFaceShape = aTargetFunction->GetValue();
130     //if (aFaceShape.IsNull() || aFaceShape.ShapeType() != TopAbs_FACE) {
131     //  Standard_ConstructionError::Raise
132     //    ("Projection aborted : the target shape is not a face");
133     //}
134
135     Standard_Real tol = 1.e-4;        
136
137     if (anOriginal.ShapeType() == TopAbs_VERTEX) {
138       if (aFaceShape.IsNull() || aFaceShape.ShapeType() != TopAbs_FACE) {
139         Standard_ConstructionError::Raise
140           ("Projection aborted : the target shape is not a face");
141       }
142       TopoDS_Face aFace = TopoDS::Face(aFaceShape);
143       Handle(Geom_Surface) surface = BRep_Tool::Surface(aFace);
144       double U1, U2, V1, V2;
145       //surface->Bounds(U1, U2, V1, V2);
146       BRepTools::UVBounds(aFace, U1, U2, V1, V2);
147
148       // projector
149       GeomAPI_ProjectPointOnSurf proj;
150       proj.Init(surface, U1, U2, V1, V2, tol);
151
152       gp_Pnt aPnt = BRep_Tool::Pnt(TopoDS::Vertex(anOriginal));
153       proj.Perform(aPnt);
154       if (!proj.IsDone()) {
155         Standard_ConstructionError::Raise
156           ("Projection aborted : the algorithm failed");
157       }
158       int nbPoints = proj.NbPoints();
159       if (nbPoints < 1) {
160         Standard_ConstructionError::Raise("No solution found");
161       }
162
163       Quantity_Parameter U, V;
164       proj.LowerDistanceParameters(U, V);
165       gp_Pnt2d aProjPnt (U, V);
166
167       // classifier
168       BRepClass_FaceClassifier aClsf (aFace, aProjPnt, tol);
169       if (aClsf.State() != TopAbs_IN && aClsf.State() != TopAbs_ON) {
170         bool isSol = false;
171         double minDist = RealLast();
172         for (int i = 1; i <= nbPoints; i++) {
173           Quantity_Parameter Ui, Vi;
174           proj.Parameters(i, Ui, Vi);
175           aProjPnt = gp_Pnt2d(Ui, Vi);
176           aClsf.Perform(aFace, aProjPnt, tol);
177           if (aClsf.State() == TopAbs_IN || aClsf.State() == TopAbs_ON) {
178             isSol = true;
179             double dist = proj.Distance(i);
180             if (dist < minDist) {
181               minDist = dist;
182               U = Ui;
183               V = Vi;
184             }
185           }
186         }
187         if (!isSol) {
188           Standard_ConstructionError::Raise("No solution found");
189         }
190       }
191
192       gp_Pnt surfPnt = surface->Value(U, V);
193
194       aShape = BRepBuilderAPI_MakeVertex(surfPnt).Shape();
195     }
196     else {
197       //see BRepTest_BasicCommands.cxx for example of BRepOffsetAPI_NormalProjection
198       BRepOffsetAPI_NormalProjection OrtProj (aFaceShape);
199       OrtProj.Add(anOriginal);
200
201       // Compute maximal tolerance of projection.
202       TopExp_Explorer anExp(anOriginal,TopAbs_VERTEX);
203       Standard_Real   aMaxTol = Precision::Confusion();
204
205       for(; anExp.More(); anExp.Next()) { 
206         const TopoDS_Vertex aVtx    = TopoDS::Vertex(anExp.Current());
207         const Standard_Real aCurTol = BRep_Tool::Tolerance(aVtx);
208
209         if (aMaxTol < aCurTol) {
210           aMaxTol = aCurTol;
211         }
212       }
213
214       Standard_Real tol2d = Pow(aMaxTol, 2./3);
215       GeomAbs_Shape Continuity = GeomAbs_C2;
216       Standard_Integer MaxDeg = 14;
217       Standard_Integer MaxSeg = 16;
218
219       OrtProj.SetParams(aMaxTol, tol2d, Continuity, MaxDeg, MaxSeg);
220
221       try {
222         OrtProj.Build();
223       } catch (Standard_Failure) {
224         Handle(Standard_Failure) aFail = Standard_Failure::Caught();
225         TCollection_AsciiString aMsg (aFail->GetMessageString());
226         if (!aMsg.Length())
227           aMsg = "Projection aborted : possibly the source shape intersects the cylinder's axis";
228         Standard_ConstructionError::Raise(aMsg.ToCString());
229       }
230       if (!OrtProj.IsDone()) {
231         Standard_ConstructionError::Raise
232           ("Projection aborted : BRepOffsetAPI_NormalProjection failed");
233       }
234
235       aShape = OrtProj.Shape();
236
237       // check that the result shape is an empty compound
238       // (IPAL22905: TC650: Projection on face dialog problems)
239       if( !aShape.IsNull() && aShape.ShapeType() == TopAbs_COMPOUND )
240       {
241         TopoDS_Iterator anIter( aShape );
242         if( !anIter.More() )
243           Standard_ConstructionError::Raise("Projection aborted : empty compound produced");
244       }
245     }
246
247     if (aShape.IsNull()) return 0;
248
249     aFunction->SetValue(aShape);
250 #if OCC_VERSION_MAJOR < 7
251     log.SetTouched(Label());
252 #else
253     log->SetTouched(Label());
254 #endif
255   } else if (aType == PROJECTION_ON_WIRE) {
256     // Perform projection of point on a wire or an edge.
257     GEOMImpl_IProjection aProj (aFunction);
258     Handle(GEOM_Function) aPointFunction = aProj.GetPoint();
259     Handle(GEOM_Function) aShapeFunction = aProj.GetShape();
260
261     if (aPointFunction.IsNull() || aShapeFunction.IsNull()) {
262       return 0;
263     }
264
265     TopoDS_Shape aPoint = aPointFunction->GetValue();
266     TopoDS_Shape aShape = aShapeFunction->GetValue();
267
268     if (aPoint.IsNull() || aShape.IsNull()) {
269       return 0;
270     }
271
272     // Check shape types.
273     if (aPoint.ShapeType() != TopAbs_VERTEX) {
274       Standard_ConstructionError::Raise
275         ("Projection aborted : the point is not a vertex");
276     }
277
278     if (aShape.ShapeType() != TopAbs_EDGE &&
279         aShape.ShapeType() != TopAbs_WIRE) {
280       Standard_ConstructionError::Raise
281         ("Projection aborted : the shape is neither an edge nor a wire");
282     }
283
284     // Perform projection.
285     BRepExtrema_DistShapeShape aDistShSh(aPoint, aShape, Extrema_ExtFlag_MIN);
286
287     if (aDistShSh.IsDone() == Standard_False) {
288       Standard_ConstructionError::Raise("Projection not done");
289     }
290
291     Standard_Boolean hasValidSolution = Standard_False;
292     Standard_Integer aNbSolutions     = aDistShSh.NbSolution();
293     Standard_Integer i;
294     double           aParam   = 0.;
295     Standard_Real    aTolConf = BRep_Tool::Tolerance(TopoDS::Vertex(aPoint));
296     Standard_Real    aTolAng  = 1.e-4;        
297
298     for (i = 1; i <= aNbSolutions; i++) {
299       Standard_Boolean        isValid       = Standard_False;
300       BRepExtrema_SupportType aSupportType  = aDistShSh.SupportTypeShape2(i);
301       TopoDS_Shape            aSupportShape = aDistShSh.SupportOnShape2(i);
302
303       if (aSupportType == BRepExtrema_IsOnEdge) {
304         // Minimal distance inside edge is really a projection.
305         isValid = Standard_True;
306         aDistShSh.ParOnEdgeS2(i, aParam);
307       } else if (aSupportType == BRepExtrema_IsVertex) {
308         TopExp_Explorer anExp(aShape, TopAbs_EDGE);
309
310         if (aDistShSh.Value() <= aTolConf) {
311           // The point lies on the shape. This means this point
312           // is really a projection.
313           for (; anExp.More() && !isValid; anExp.Next()) {
314             TopoDS_Edge aCurEdge = TopoDS::Edge(anExp.Current());
315
316             if (aCurEdge.IsNull() == Standard_False) {
317               TopoDS_Vertex aVtx[2];
318                         
319               TopExp::Vertices(aCurEdge, aVtx[0], aVtx[1]);
320
321               for (int j = 0; j < 2; j++) {
322                 if (aSupportShape.IsSame(aVtx[j])) {
323                   // The current edge is a projection edge.
324                   isValid       = Standard_True;
325                   aSupportShape = aCurEdge;
326                   aParam        = BRep_Tool::Parameter(aVtx[j], aCurEdge);
327                   break;
328                 }
329               }
330             }
331           }
332         } else {
333           // Minimal distance to vertex is not always a real projection.
334           gp_Pnt aPnt    = BRep_Tool::Pnt(TopoDS::Vertex(aPoint));
335           gp_Pnt aPrjPnt = BRep_Tool::Pnt(TopoDS::Vertex(aSupportShape));
336           gp_Vec aDProjP(aPrjPnt, aPnt);
337
338           for (; anExp.More() && !isValid; anExp.Next()) {
339             TopoDS_Edge aCurEdge = TopoDS::Edge(anExp.Current());
340  
341             if (aCurEdge.IsNull() == Standard_False) {
342               TopoDS_Vertex aVtx[2];
343                           
344               TopExp::Vertices(aCurEdge, aVtx[0], aVtx[1]);
345  
346               for (int j = 0; j < 2; j++) {
347                 if (aSupportShape.IsSame(aVtx[j])) {
348                   // Check if the point is a projection to the current edge.
349                   Standard_Real      anEdgePars[2];
350                   Handle(Geom_Curve) aCurve =
351                     BRep_Tool::Curve(aCurEdge, anEdgePars[0], anEdgePars[1]);
352                   gp_Pnt             aVal;
353                   gp_Vec             aD1;
354
355                   aParam = BRep_Tool::Parameter(aVtx[j], aCurEdge);
356                   aCurve->D1(aParam, aVal, aD1);
357
358                   if (Abs(aD1.Dot(aDProjP)) <= aTolAng) {
359                     // The current edge is a projection edge.
360                     isValid       = Standard_True;
361                     aSupportShape = aCurEdge;
362                     break;
363                   }
364                 }
365               }
366             }
367           }
368         }
369       }
370       
371
372       if (isValid) {
373         if (hasValidSolution) {
374           Standard_ConstructionError::Raise
375             ("Projection aborted : multiple solutions");
376         }
377
378         // Store the valid solution.
379         hasValidSolution = Standard_True;
380
381         // Normalize parameter.
382         TopoDS_Edge aSupportEdge = TopoDS::Edge(aSupportShape);
383         Standard_Real aF, aL;
384
385         BRep_Tool::Range(aSupportEdge, aF, aL);
386
387         if (Abs(aL - aF) <= aTolConf) {
388           Standard_ConstructionError::Raise
389             ("Projection aborted : degenerated projection edge");
390         }
391
392         aParam = (aParam - aF)/(aL - aF);
393         aProj.SetU(aParam);
394
395         // Compute edge index.
396         TopExp_Explorer anExp(aShape, TopAbs_EDGE);
397         int anIndex = 0;
398
399         for (; anExp.More(); anExp.Next(), anIndex++) {
400           if (aSupportShape.IsSame(anExp.Current())) {
401             aProj.SetIndex(anIndex);
402             break;
403           }
404         }
405
406         if (!anExp.More()) {
407           Standard_ConstructionError::Raise
408             ("Projection aborted : Can't define edge index");
409         }
410
411         // Construct a projection vertex.
412         const gp_Pnt &aPntProj = aDistShSh.PointOnShape2(i);
413         TopoDS_Shape  aProj    = BRepBuilderAPI_MakeVertex(aPntProj).Shape();
414         
415         aFunction->SetValue(aProj);
416       }
417     }
418
419     if (!hasValidSolution) {
420       Standard_ConstructionError::Raise("Projection aborted : no projection");
421     }
422   } else if (aType == PROJECTION_ON_CYLINDER) {
423     GEOMImpl_IProjOnCyl   aProj (aFunction);
424     Handle(GEOM_Function) aShapeFunction = aProj.GetShape();
425       
426     if (aShapeFunction.IsNull()) {
427       return 0;
428     }
429
430     TopoDS_Shape aShape = aShapeFunction->GetValue();
431
432     if (aShape.IsNull()) {
433       return 0;
434     }
435
436     // Get the face.
437     const TopAbs_ShapeEnum aType          = aShape.ShapeType();
438     const Standard_Real    aRadius        = aProj.GetRadius();
439     const Standard_Real    aStartAngle    = aProj.GetStartAngle();
440     const Standard_Real    aLengthAngle   = aProj.GetAngleLength();
441     const Standard_Real    aRotationAngle = aProj.GetAngleRotation();
442
443     if (aType != TopAbs_WIRE && aType != TopAbs_FACE) {
444       return 0;
445     }
446
447     if (aRadius <= Precision::Confusion()) {
448       return 0;
449     }
450
451     TopoDS_Shape aProjShape = projectOnCylinder
452       (aShape, aRadius, aStartAngle, aLengthAngle, aRotationAngle);
453
454     if (aProjShape.IsNull()) {
455       return 0;
456     }
457
458     aFunction->SetValue(aProjShape);
459   }
460
461   return 1;
462 }
463
464 //================================================================================
465 /*!
466  * \brief Returns a name of creation operation and names and values of creation parameters
467  */
468 //================================================================================
469
470 bool GEOMImpl_ProjectionDriver::
471 GetCreationInformation(std::string&             theOperationName,
472                        std::vector<GEOM_Param>& theParams)
473 {
474   if (Label().IsNull()) return 0;
475   Handle(GEOM_Function) function = GEOM_Function::GetFunction(Label());
476
477   Standard_Integer aType = function->GetType();
478
479   theOperationName = "PROJECTION";
480
481   switch ( aType ) {
482   case PROJECTION_COPY:
483   {
484     GEOMImpl_IMirror aCI( function );
485
486     AddParam( theParams, "Source object", aCI.GetOriginal() );
487     AddParam( theParams, "Target face", aCI.GetPlane() );
488     break;
489   }
490   case PROJECTION_ON_WIRE:
491   {
492     GEOMImpl_IProjection aProj (function);
493
494     AddParam(theParams, "Point", aProj.GetPoint());
495     AddParam(theParams, "Shape", aProj.GetShape());
496
497     break;
498   }
499   case PROJECTION_ON_CYLINDER:
500   {
501     theOperationName = "PROJ_ON_CYL";
502
503     GEOMImpl_IProjOnCyl aProj (function);
504     const Standard_Real aLengthAngle = aProj.GetAngleLength();
505
506     AddParam(theParams, "Shape",        aProj.GetShape());
507     AddParam(theParams, "Radius",       aProj.GetRadius());
508     AddParam(theParams, "Start angle",  aProj.GetStartAngle());
509
510     if (aLengthAngle >= 0.) {
511       AddParam(theParams, "Length angle", aLengthAngle);
512     }
513
514     AddParam(theParams, "Rotation angle", aProj.GetAngleRotation());
515
516     break;
517   }
518   default:
519     return false;
520   }
521
522   return true;
523 }
524
525 //================================================================================
526 /*!
527  * \brief Performs projection of a planar wire or a face on a cylinder.
528  */
529 //================================================================================
530
531 TopoDS_Shape GEOMImpl_ProjectionDriver::projectOnCylinder
532                                 (const TopoDS_Shape  &theShape,
533                                  const Standard_Real  theRadius,
534                                  const Standard_Real  theStartAngle,
535                                  const Standard_Real  theAngleLength,
536                                  const Standard_Real  theAngleRotation) const
537 {
538   TopoDS_Shape aResult;
539
540   // Get the face.
541   const TopAbs_ShapeEnum aType = theShape.ShapeType();
542   TopoDS_Face            aFace;
543
544   if (aType == TopAbs_WIRE) {
545     // Try to create a planar face.
546     TopoDS_Wire             aWire = TopoDS::Wire(theShape);
547     BRepBuilderAPI_MakeFace aMkFace(aWire, Standard_True);
548
549     if (aMkFace.IsDone()) {
550       aFace = aMkFace.Face();
551     } else {
552       // Check if the wire is a straight line.
553       TopExp_Explorer anEExp(aWire, TopAbs_EDGE);
554       TopoDS_Edge     anEdge;
555
556       for (; anEExp.More(); anEExp.Next()) {
557         anEdge = TopoDS::Edge(anEExp.Current());
558
559         if (!BRep_Tool::Degenerated(anEdge)) {
560           break;
561         }
562       }
563
564       if (anEExp.More()) {
565         // Not degenerated edge found. Try to create a plane.
566         Standard_Real      aPar[2];
567         Handle(Geom_Curve) aCurve = BRep_Tool::Curve(anEdge, aPar[0], aPar[1]);
568         gp_Pnt             aP0    = aCurve->Value(aPar[0]);
569         gp_Pnt             aP1    = aCurve->Value(0.5*(aPar[1] + aPar[0]));
570         gp_Vec             aX(aP1.XYZ().Subtracted(aP0.XYZ()));
571         Standard_Real      aTolConf = Precision::Confusion();
572
573         if (aX.Magnitude() > aTolConf) {
574           aX.Normalize();
575
576           // Get the plane normal ortogonal to Z axis.
577           gp_Vec aZ(0., 0., 1.);
578           gp_Vec aN = aX.Crossed(aZ);
579
580           if (aN.Magnitude() <= aTolConf) {
581             // aX is parallel to aZ. Get the plane normal ortogonal to Y axis.
582             gp_Vec aY(0., 1., 0.);
583
584             aN = aX.Crossed(aY);
585           }
586
587           if (aN.Magnitude() >      aTolConf) {
588             gp_Ax3                  anAxis(aP0, gp_Dir(aN), gp_Dir(aX));
589             Handle(Geom_Plane)      aPlane = new Geom_Plane(anAxis);
590             BRepBuilderAPI_MakeFace aMkFace(aPlane, aWire);
591
592             if (aMkFace.IsDone()) {
593               aFace = aMkFace.Face();
594             }
595           }
596         }
597       }
598     }
599   } else if (aType == TopAbs_FACE) {
600     aFace = TopoDS::Face(theShape);
601   }
602
603   if (aFace.IsNull()) {
604     return aResult;
605   }
606
607   // Compute 2d translation transformation.
608   TopoDS_Wire            anOuterWire = BRepTools::OuterWire(aFace);
609   BRepTools_WireExplorer aOWExp(anOuterWire, aFace);
610
611   if (!aOWExp.More()) {
612     // NEVERREACHED
613     return aResult;
614   }
615
616   // Rotate 2D presentation of face.
617   TopoDS_Vertex       aFirstVertex = aOWExp.CurrentVertex();
618   TopoDS_Edge         aFirstEdge   = aOWExp.Current();
619   gp_Pnt              aPnt         = BRep_Tool::Pnt(aFirstVertex);
620   BRepAdaptor_Curve2d anAdaptorCurve(aFirstEdge, aFace);
621   Standard_Real       aParam       =
622     BRep_Tool::Parameter(aFirstVertex, aFirstEdge, aFace);
623   gp_Pnt2d            aPntUV;
624   gp_Vec2d            aVecUV;
625   gp_Vec2d            aVecU0(1., 0);
626
627   anAdaptorCurve.D1(aParam, aPntUV, aVecUV);
628
629   if (aVecUV.Magnitude() <= gp::Resolution()) {
630     return aResult;
631   }
632
633   if (aFirstEdge.Orientation() == TopAbs_REVERSED) {
634     aVecUV.Reverse();
635   }
636
637   const Standard_Real    anAngle    = aVecUV.Angle(aVecU0) + theAngleRotation;
638   const Standard_Boolean isToRotate = Abs(anAngle) > Precision::Angular();
639   gp_Trsf2d              aRotTrsf;
640   Bnd_Box2d              aUVBox;
641   Standard_Real          aPar[2];
642
643   if (isToRotate) {
644     aRotTrsf.SetRotation(aPntUV, anAngle);
645   }
646
647   for (; aOWExp.More(); aOWExp.Next()) {
648     TopoDS_Edge                 anEdge   = aOWExp.Current();
649     Handle(Geom2d_Curve)        aCurve   =
650         BRep_Tool::CurveOnSurface(anEdge, aFace, aPar[0], aPar[1]);
651
652     if (aCurve.IsNull()) {
653       continue;
654     }
655
656     if (isToRotate) {
657       aCurve = Handle(Geom2d_Curve)::DownCast(aCurve->Transformed(aRotTrsf));
658     }
659
660     BndLib_Add2dCurve::Add(aCurve, aPar[0], aPar[1], 0., aUVBox);
661   }
662
663   Standard_Real aU[2];
664   Standard_Real aV[2];
665
666   aUVBox.Get(aU[0], aV[0], aU[1], aV[1]);
667
668   // Compute anisotropic transformation from a face's 2d space
669   // to cylinder's 2d space.
670   GEOMUtils::Trsf2d aTrsf2d
671             (1./theRadius, 0., theStartAngle - aU[0]/theRadius,
672              0.,           1., aPnt.Z() - aPntUV.Y());
673
674   // Compute scaling trsf.
675   const Standard_Boolean isToScale = theAngleLength >= Precision::Angular();
676   gp_Trsf2d aScaleTrsf;
677
678   if (isToScale) {
679     // Perform 2d scaling.
680     gp_Pnt2d            aMidPnt(0.5*(aU[1] + aU[0]), 0.5*(aV[1] + aV[0]));
681     const Standard_Real aScaleFactor = theAngleLength*theRadius/(aU[1] - aU[0]);
682
683     aTrsf2d.TransformD0(aMidPnt);
684
685     aScaleTrsf.SetScale(aMidPnt, aScaleFactor);
686   }
687
688   // Get 2d presentation of a face.
689   Handle(Geom_Surface) aCylinder =
690     new Geom_CylindricalSurface(gp_Ax3(), theRadius);
691   GeomAdaptor_Surface  aGACyl(aCylinder);
692   TopExp_Explorer      anExp(aFace, TopAbs_WIRE);
693   TopTools_ListOfShape aWires;
694   Standard_Real        aUResol = aGACyl.UResolution(Precision::Confusion());
695   Standard_Real        aVResol = aGACyl.VResolution(Precision::Confusion());
696
697   for (; anExp.More(); anExp.Next()) {
698     TopoDS_Wire             aWire = TopoDS::Wire(anExp.Current());
699     BRepTools_WireExplorer  aWExp(aWire, aFace);
700     BRepBuilderAPI_MakeWire aMkWire;
701
702     for (; aWExp.More(); aWExp.Next()) {
703       TopoDS_Edge                 anEdge   = aWExp.Current();
704       Handle(Geom2d_Curve)        aCurve   =
705         BRep_Tool::CurveOnSurface(anEdge, aFace, aPar[0], aPar[1]);
706
707       if (aCurve.IsNull()) {
708         continue;
709       }
710
711       if (isToRotate) {
712         aCurve = Handle(Geom2d_Curve)::DownCast(aCurve->Transformed(aRotTrsf));
713       }
714
715       // Transform the curve to cylinder's parametric space.
716 #if OCC_VERSION_MAJOR < 7
717       GEOMUtils::Handle(HTrsfCurve2d) aTrsfCurve =
718 #else
719       Handle(GEOMUtils::HTrsfCurve2d) aTrsfCurve =
720 #endif
721         new GEOMUtils::HTrsfCurve2d(aCurve, aPar[0], aPar[1], aTrsf2d);
722       Approx_Curve2d                  aConv (aTrsfCurve, aPar[0], aPar[1],
723                                                          aUResol, aVResol, GeomAbs_C1,
724                                              9, 1000);
725
726       if (!aConv.IsDone() && !aConv.HasResult()) {
727         return aResult;
728       }
729
730       Handle(Geom2d_Curve) aCylCurve = aConv.Curve();
731
732       if (isToScale) {
733         aCylCurve->Transform(aScaleTrsf);
734       }
735
736       // Create edge and add it to the wire.
737       BRepBuilderAPI_MakeEdge aMkEdge(aCylCurve, aCylinder);
738
739       if (!aMkEdge.IsDone()) {
740         return aResult;
741       }
742
743       aMkWire.Add(aMkEdge.Edge());
744
745       if (!aMkWire.IsDone()) {
746         return aResult;
747       }
748     }
749
750     if (aWire.IsSame(anOuterWire)) {
751       // Make the outer wire first.
752       aWires.Prepend(aMkWire.Wire());
753     } else {
754       aWires.Append(aMkWire.Wire());
755     }
756   }
757
758   // Create a face.
759   if (aWires.IsEmpty()) {
760     return aResult;
761   }
762
763   TopTools_ListIteratorOfListOfShape aWIter(aWires);
764   TopoDS_Wire                        aWire = TopoDS::Wire(aWIter.Value());
765   BRepBuilderAPI_MakeFace aMkFace(aCylinder, aWire);
766
767   if (!aMkFace.IsDone()) {
768     return aResult;
769   }
770
771   for (aWIter.Next(); aWIter.More(); aWIter.Next()) {
772     aWire = TopoDS::Wire(aWIter.Value());
773     aMkFace.Add(aWire);
774
775     if (!aMkFace.IsDone()) {
776       return aResult;
777     }
778   }
779
780   // Build 3D curves.
781   TopoDS_Face  aCylFace = aMkFace.Face();
782   TopoDS_Shape aResShape;
783
784   BRepLib::BuildCurves3d(aCylFace);
785
786   // Check shape.
787   if (aType == TopAbs_WIRE) {
788     TopExp_Explorer aResExp(aCylFace, TopAbs_WIRE);
789
790     if (aResExp.More()) {
791       aResShape = aResExp.Current();
792     }
793   } else {
794     aResShape = aCylFace;
795   }
796
797   if (aResShape.IsNull() == Standard_False) {
798     if (!GEOMUtils::CheckShape(aResShape, true)) {
799       if (!GEOMUtils::FixShapeTolerance(aResShape)) {
800         return aResult;
801       }
802     }
803
804     aResult = aResShape;
805   }
806
807   return aResult;
808 }
809
810 OCCT_IMPLEMENT_STANDARD_RTTIEXT (GEOMImpl_ProjectionDriver,GEOM_BaseDriver);