Salome HOME
Merge V8_4_BR branch.
[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(Handle(TFunction_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       Standard_Real 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           Standard_Real 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& aFail) {
224         TCollection_AsciiString aMsg (aFail.GetMessageString());
225         if (!aMsg.Length())
226           aMsg = "Projection aborted : possibly the source shape intersects the cylinder's axis";
227         Standard_ConstructionError::Raise(aMsg.ToCString());
228       }
229       if (!OrtProj.IsDone()) {
230         Standard_ConstructionError::Raise
231           ("Projection aborted : BRepOffsetAPI_NormalProjection failed");
232       }
233
234       aShape = OrtProj.Shape();
235
236       // check that the result shape is an empty compound
237       // (IPAL22905: TC650: Projection on face dialog problems)
238       if( !aShape.IsNull() && aShape.ShapeType() == TopAbs_COMPOUND )
239       {
240         TopoDS_Iterator anIter( aShape );
241         if( !anIter.More() )
242           Standard_ConstructionError::Raise("Projection aborted : empty compound produced");
243       }
244     }
245
246     if (aShape.IsNull()) return 0;
247
248     aFunction->SetValue(aShape);
249     log->SetTouched(Label());
250   } else if (aType == PROJECTION_ON_WIRE) {
251     // Perform projection of point on a wire or an edge.
252     GEOMImpl_IProjection aProj (aFunction);
253     Handle(GEOM_Function) aPointFunction = aProj.GetPoint();
254     Handle(GEOM_Function) aShapeFunction = aProj.GetShape();
255
256     if (aPointFunction.IsNull() || aShapeFunction.IsNull()) {
257       return 0;
258     }
259
260     TopoDS_Shape aPoint = aPointFunction->GetValue();
261     TopoDS_Shape aShape = aShapeFunction->GetValue();
262
263     if (aPoint.IsNull() || aShape.IsNull()) {
264       return 0;
265     }
266
267     // Check shape types.
268     if (aPoint.ShapeType() != TopAbs_VERTEX) {
269       Standard_ConstructionError::Raise
270         ("Projection aborted : the point is not a vertex");
271     }
272
273     if (aShape.ShapeType() != TopAbs_EDGE &&
274         aShape.ShapeType() != TopAbs_WIRE) {
275       Standard_ConstructionError::Raise
276         ("Projection aborted : the shape is neither an edge nor a wire");
277     }
278
279     // Perform projection.
280     BRepExtrema_DistShapeShape aDistShSh(aPoint, aShape, Extrema_ExtFlag_MIN);
281
282     if (aDistShSh.IsDone() == Standard_False) {
283       Standard_ConstructionError::Raise("Projection not done");
284     }
285
286     Standard_Boolean hasValidSolution = Standard_False;
287     Standard_Integer aNbSolutions     = aDistShSh.NbSolution();
288     Standard_Integer i;
289     double           aParam   = 0.;
290     Standard_Real    aTolConf = BRep_Tool::Tolerance(TopoDS::Vertex(aPoint));
291     Standard_Real    aTolAng  = 1.e-4;        
292
293     for (i = 1; i <= aNbSolutions; i++) {
294       Standard_Boolean        isValid       = Standard_False;
295       BRepExtrema_SupportType aSupportType  = aDistShSh.SupportTypeShape2(i);
296       TopoDS_Shape            aSupportShape = aDistShSh.SupportOnShape2(i);
297
298       if (aSupportType == BRepExtrema_IsOnEdge) {
299         // Minimal distance inside edge is really a projection.
300         isValid = Standard_True;
301         aDistShSh.ParOnEdgeS2(i, aParam);
302       } else if (aSupportType == BRepExtrema_IsVertex) {
303         TopExp_Explorer anExp(aShape, TopAbs_EDGE);
304
305         if (aDistShSh.Value() <= aTolConf) {
306           // The point lies on the shape. This means this point
307           // is really a projection.
308           for (; anExp.More() && !isValid; anExp.Next()) {
309             TopoDS_Edge aCurEdge = TopoDS::Edge(anExp.Current());
310
311             if (aCurEdge.IsNull() == Standard_False) {
312               TopoDS_Vertex aVtx[2];
313                         
314               TopExp::Vertices(aCurEdge, aVtx[0], aVtx[1]);
315
316               for (int j = 0; j < 2; j++) {
317                 if (aSupportShape.IsSame(aVtx[j])) {
318                   // The current edge is a projection edge.
319                   isValid       = Standard_True;
320                   aSupportShape = aCurEdge;
321                   aParam        = BRep_Tool::Parameter(aVtx[j], aCurEdge);
322                   break;
323                 }
324               }
325             }
326           }
327         } else {
328           // Minimal distance to vertex is not always a real projection.
329           gp_Pnt aPnt    = BRep_Tool::Pnt(TopoDS::Vertex(aPoint));
330           gp_Pnt aPrjPnt = BRep_Tool::Pnt(TopoDS::Vertex(aSupportShape));
331           gp_Vec aDProjP(aPrjPnt, aPnt);
332
333           for (; anExp.More() && !isValid; anExp.Next()) {
334             TopoDS_Edge aCurEdge = TopoDS::Edge(anExp.Current());
335  
336             if (aCurEdge.IsNull() == Standard_False) {
337               TopoDS_Vertex aVtx[2];
338                           
339               TopExp::Vertices(aCurEdge, aVtx[0], aVtx[1]);
340  
341               for (int j = 0; j < 2; j++) {
342                 if (aSupportShape.IsSame(aVtx[j])) {
343                   // Check if the point is a projection to the current edge.
344                   Standard_Real      anEdgePars[2];
345                   Handle(Geom_Curve) aCurve =
346                     BRep_Tool::Curve(aCurEdge, anEdgePars[0], anEdgePars[1]);
347                   gp_Pnt             aVal;
348                   gp_Vec             aD1;
349
350                   aParam = BRep_Tool::Parameter(aVtx[j], aCurEdge);
351                   aCurve->D1(aParam, aVal, aD1);
352
353                   if (Abs(aD1.Dot(aDProjP)) <= aTolAng) {
354                     // The current edge is a projection edge.
355                     isValid       = Standard_True;
356                     aSupportShape = aCurEdge;
357                     break;
358                   }
359                 }
360               }
361             }
362           }
363         }
364       }
365       
366
367       if (isValid) {
368         if (hasValidSolution) {
369           Standard_ConstructionError::Raise
370             ("Projection aborted : multiple solutions");
371         }
372
373         // Store the valid solution.
374         hasValidSolution = Standard_True;
375
376         // Normalize parameter.
377         TopoDS_Edge aSupportEdge = TopoDS::Edge(aSupportShape);
378         Standard_Real aF, aL;
379
380         BRep_Tool::Range(aSupportEdge, aF, aL);
381
382         if (Abs(aL - aF) <= aTolConf) {
383           Standard_ConstructionError::Raise
384             ("Projection aborted : degenerated projection edge");
385         }
386
387         aParam = (aParam - aF)/(aL - aF);
388         aProj.SetU(aParam);
389
390         // Compute edge index.
391         TopExp_Explorer anExp(aShape, TopAbs_EDGE);
392         int anIndex = 0;
393
394         for (; anExp.More(); anExp.Next(), anIndex++) {
395           if (aSupportShape.IsSame(anExp.Current())) {
396             aProj.SetIndex(anIndex);
397             break;
398           }
399         }
400
401         if (!anExp.More()) {
402           Standard_ConstructionError::Raise
403             ("Projection aborted : Can't define edge index");
404         }
405
406         // Construct a projection vertex.
407         const gp_Pnt &aPntProj = aDistShSh.PointOnShape2(i);
408         TopoDS_Shape  aProj    = BRepBuilderAPI_MakeVertex(aPntProj).Shape();
409         
410         aFunction->SetValue(aProj);
411       }
412     }
413
414     if (!hasValidSolution) {
415       Standard_ConstructionError::Raise("Projection aborted : no projection");
416     }
417   } else if (aType == PROJECTION_ON_CYLINDER) {
418     GEOMImpl_IProjOnCyl   aProj (aFunction);
419     Handle(GEOM_Function) aShapeFunction = aProj.GetShape();
420       
421     if (aShapeFunction.IsNull()) {
422       return 0;
423     }
424
425     TopoDS_Shape aShape = aShapeFunction->GetValue();
426
427     if (aShape.IsNull()) {
428       return 0;
429     }
430
431     // Get the face.
432     const TopAbs_ShapeEnum aType          = aShape.ShapeType();
433     const Standard_Real    aRadius        = aProj.GetRadius();
434     const Standard_Real    aStartAngle    = aProj.GetStartAngle();
435     const Standard_Real    aLengthAngle   = aProj.GetAngleLength();
436     const Standard_Real    aRotationAngle = aProj.GetAngleRotation();
437
438     if (aType != TopAbs_WIRE && aType != TopAbs_FACE) {
439       return 0;
440     }
441
442     if (aRadius <= Precision::Confusion()) {
443       return 0;
444     }
445
446     TopoDS_Shape aProjShape = projectOnCylinder
447       (aShape, aRadius, aStartAngle, aLengthAngle, aRotationAngle);
448
449     if (aProjShape.IsNull()) {
450       return 0;
451     }
452
453     aFunction->SetValue(aProjShape);
454   }
455
456   return 1;
457 }
458
459 //================================================================================
460 /*!
461  * \brief Returns a name of creation operation and names and values of creation parameters
462  */
463 //================================================================================
464
465 bool GEOMImpl_ProjectionDriver::
466 GetCreationInformation(std::string&             theOperationName,
467                        std::vector<GEOM_Param>& theParams)
468 {
469   if (Label().IsNull()) return 0;
470   Handle(GEOM_Function) function = GEOM_Function::GetFunction(Label());
471
472   Standard_Integer aType = function->GetType();
473
474   theOperationName = "PROJECTION";
475
476   switch ( aType ) {
477   case PROJECTION_COPY:
478   {
479     GEOMImpl_IMirror aCI( function );
480
481     AddParam( theParams, "Source object", aCI.GetOriginal() );
482     AddParam( theParams, "Target face", aCI.GetPlane() );
483     break;
484   }
485   case PROJECTION_ON_WIRE:
486   {
487     GEOMImpl_IProjection aProj (function);
488
489     AddParam(theParams, "Point", aProj.GetPoint());
490     AddParam(theParams, "Shape", aProj.GetShape());
491
492     break;
493   }
494   case PROJECTION_ON_CYLINDER:
495   {
496     theOperationName = "PROJ_ON_CYL";
497
498     GEOMImpl_IProjOnCyl aProj (function);
499     const Standard_Real aLengthAngle = aProj.GetAngleLength();
500
501     AddParam(theParams, "Shape",        aProj.GetShape());
502     AddParam(theParams, "Radius",       aProj.GetRadius());
503     AddParam(theParams, "Start angle",  aProj.GetStartAngle());
504
505     if (aLengthAngle >= 0.) {
506       AddParam(theParams, "Length angle", aLengthAngle);
507     }
508
509     AddParam(theParams, "Rotation angle", aProj.GetAngleRotation());
510
511     break;
512   }
513   default:
514     return false;
515   }
516
517   return true;
518 }
519
520 //================================================================================
521 /*!
522  * \brief Performs projection of a planar wire or a face on a cylinder.
523  */
524 //================================================================================
525
526 TopoDS_Shape GEOMImpl_ProjectionDriver::projectOnCylinder
527                                 (const TopoDS_Shape  &theShape,
528                                  const Standard_Real  theRadius,
529                                  const Standard_Real  theStartAngle,
530                                  const Standard_Real  theAngleLength,
531                                  const Standard_Real  theAngleRotation) const
532 {
533   TopoDS_Shape aResult;
534
535   // Get the face.
536   const TopAbs_ShapeEnum aType = theShape.ShapeType();
537   TopoDS_Face            aFace;
538
539   if (aType == TopAbs_WIRE) {
540     // Try to create a planar face.
541     TopoDS_Wire             aWire = TopoDS::Wire(theShape);
542     BRepBuilderAPI_MakeFace aMkFace(aWire, Standard_True);
543
544     if (aMkFace.IsDone()) {
545       aFace = aMkFace.Face();
546     } else {
547       // Check if the wire is a straight line.
548       TopExp_Explorer anEExp(aWire, TopAbs_EDGE);
549       TopoDS_Edge     anEdge;
550
551       for (; anEExp.More(); anEExp.Next()) {
552         anEdge = TopoDS::Edge(anEExp.Current());
553
554         if (!BRep_Tool::Degenerated(anEdge)) {
555           break;
556         }
557       }
558
559       if (anEExp.More()) {
560         // Not degenerated edge found. Try to create a plane.
561         Standard_Real      aPar[2];
562         Handle(Geom_Curve) aCurve = BRep_Tool::Curve(anEdge, aPar[0], aPar[1]);
563         gp_Pnt             aP0    = aCurve->Value(aPar[0]);
564         gp_Pnt             aP1    = aCurve->Value(0.5*(aPar[1] + aPar[0]));
565         gp_Vec             aX(aP1.XYZ().Subtracted(aP0.XYZ()));
566         Standard_Real      aTolConf = Precision::Confusion();
567
568         if (aX.Magnitude() > aTolConf) {
569           aX.Normalize();
570
571           // Get the plane normal ortogonal to Z axis.
572           gp_Vec aZ(0., 0., 1.);
573           gp_Vec aN = aX.Crossed(aZ);
574
575           if (aN.Magnitude() <= aTolConf) {
576             // aX is parallel to aZ. Get the plane normal ortogonal to Y axis.
577             gp_Vec aY(0., 1., 0.);
578
579             aN = aX.Crossed(aY);
580           }
581
582           if (aN.Magnitude() >      aTolConf) {
583             gp_Ax3                  anAxis(aP0, gp_Dir(aN), gp_Dir(aX));
584             Handle(Geom_Plane)      aPlane = new Geom_Plane(anAxis);
585             BRepBuilderAPI_MakeFace aMkFace(aPlane, aWire);
586
587             if (aMkFace.IsDone()) {
588               aFace = aMkFace.Face();
589             }
590           }
591         }
592       }
593     }
594   } else if (aType == TopAbs_FACE) {
595     aFace = TopoDS::Face(theShape);
596   }
597
598   if (aFace.IsNull()) {
599     return aResult;
600   }
601
602   // Compute 2d translation transformation.
603   TopoDS_Wire            anOuterWire = BRepTools::OuterWire(aFace);
604   BRepTools_WireExplorer aOWExp(anOuterWire, aFace);
605
606   if (!aOWExp.More()) {
607     // NEVERREACHED
608     return aResult;
609   }
610
611   // Rotate 2D presentation of face.
612   TopoDS_Vertex       aFirstVertex = aOWExp.CurrentVertex();
613   TopoDS_Edge         aFirstEdge   = aOWExp.Current();
614   gp_Pnt              aPnt         = BRep_Tool::Pnt(aFirstVertex);
615   BRepAdaptor_Curve2d anAdaptorCurve(aFirstEdge, aFace);
616   Standard_Real       aParam       =
617     BRep_Tool::Parameter(aFirstVertex, aFirstEdge, aFace);
618   gp_Pnt2d            aPntUV;
619   gp_Vec2d            aVecUV;
620   gp_Vec2d            aVecU0(1., 0);
621
622   anAdaptorCurve.D1(aParam, aPntUV, aVecUV);
623
624   if (aVecUV.Magnitude() <= gp::Resolution()) {
625     return aResult;
626   }
627
628   if (aFirstEdge.Orientation() == TopAbs_REVERSED) {
629     aVecUV.Reverse();
630   }
631
632   const Standard_Real    anAngle    = aVecUV.Angle(aVecU0) + theAngleRotation;
633   const Standard_Boolean isToRotate = Abs(anAngle) > Precision::Angular();
634   gp_Trsf2d              aRotTrsf;
635   Bnd_Box2d              aUVBox;
636   Standard_Real          aPar[2];
637
638   if (isToRotate) {
639     aRotTrsf.SetRotation(aPntUV, anAngle);
640   }
641
642   for (; aOWExp.More(); aOWExp.Next()) {
643     TopoDS_Edge                 anEdge   = aOWExp.Current();
644     Handle(Geom2d_Curve)        aCurve   =
645         BRep_Tool::CurveOnSurface(anEdge, aFace, aPar[0], aPar[1]);
646
647     if (aCurve.IsNull()) {
648       continue;
649     }
650
651     if (isToRotate) {
652       aCurve = Handle(Geom2d_Curve)::DownCast(aCurve->Transformed(aRotTrsf));
653     }
654
655     BndLib_Add2dCurve::Add(aCurve, aPar[0], aPar[1], 0., aUVBox);
656   }
657
658   Standard_Real aU[2];
659   Standard_Real aV[2];
660
661   aUVBox.Get(aU[0], aV[0], aU[1], aV[1]);
662
663   // Compute anisotropic transformation from a face's 2d space
664   // to cylinder's 2d space.
665   GEOMUtils::Trsf2d aTrsf2d
666             (1./theRadius, 0., theStartAngle - aU[0]/theRadius,
667              0.,           1., aPnt.Z() - aPntUV.Y());
668
669   // Compute scaling trsf.
670   const Standard_Boolean isToScale = theAngleLength >= Precision::Angular();
671   gp_Trsf2d aScaleTrsf;
672
673   if (isToScale) {
674     // Perform 2d scaling.
675     gp_Pnt2d            aMidPnt(0.5*(aU[1] + aU[0]), 0.5*(aV[1] + aV[0]));
676     const Standard_Real aScaleFactor = theAngleLength*theRadius/(aU[1] - aU[0]);
677
678     aTrsf2d.TransformD0(aMidPnt);
679
680     aScaleTrsf.SetScale(aMidPnt, aScaleFactor);
681   }
682
683   // Get 2d presentation of a face.
684   Handle(Geom_Surface) aCylinder =
685     new Geom_CylindricalSurface(gp_Ax3(), theRadius);
686   GeomAdaptor_Surface  aGACyl(aCylinder);
687   TopExp_Explorer      anExp(aFace, TopAbs_WIRE);
688   TopTools_ListOfShape aWires;
689   Standard_Real        aUResol = aGACyl.UResolution(Precision::Confusion());
690   Standard_Real        aVResol = aGACyl.VResolution(Precision::Confusion());
691
692   for (; anExp.More(); anExp.Next()) {
693     TopoDS_Wire             aWire = TopoDS::Wire(anExp.Current());
694     BRepTools_WireExplorer  aWExp(aWire, aFace);
695     BRepBuilderAPI_MakeWire aMkWire;
696
697     for (; aWExp.More(); aWExp.Next()) {
698       TopoDS_Edge                 anEdge   = aWExp.Current();
699       Handle(Geom2d_Curve)        aCurve   =
700         BRep_Tool::CurveOnSurface(anEdge, aFace, aPar[0], aPar[1]);
701
702       if (aCurve.IsNull()) {
703         continue;
704       }
705
706       if (isToRotate) {
707         aCurve = Handle(Geom2d_Curve)::DownCast(aCurve->Transformed(aRotTrsf));
708       }
709
710       // Transform the curve to cylinder's parametric space.
711       Handle(GEOMUtils::HTrsfCurve2d) aTrsfCurve =
712         new GEOMUtils::HTrsfCurve2d(aCurve, aPar[0], aPar[1], aTrsf2d);
713       Approx_Curve2d                  aConv (aTrsfCurve, aPar[0], aPar[1],
714                                                          aUResol, aVResol, GeomAbs_C1,
715                                              9, 1000);
716
717       if (!aConv.IsDone() && !aConv.HasResult()) {
718         return aResult;
719       }
720
721       Handle(Geom2d_Curve) aCylCurve = aConv.Curve();
722
723       if (isToScale) {
724         aCylCurve->Transform(aScaleTrsf);
725       }
726
727       // Create edge and add it to the wire.
728       BRepBuilderAPI_MakeEdge aMkEdge(aCylCurve, aCylinder);
729
730       if (!aMkEdge.IsDone()) {
731         return aResult;
732       }
733
734       aMkWire.Add(aMkEdge.Edge());
735
736       if (!aMkWire.IsDone()) {
737         return aResult;
738       }
739     }
740
741     if (aWire.IsSame(anOuterWire)) {
742       // Make the outer wire first.
743       aWires.Prepend(aMkWire.Wire());
744     } else {
745       aWires.Append(aMkWire.Wire());
746     }
747   }
748
749   // Create a face.
750   if (aWires.IsEmpty()) {
751     return aResult;
752   }
753
754   TopTools_ListIteratorOfListOfShape aWIter(aWires);
755   TopoDS_Wire                        aWire = TopoDS::Wire(aWIter.Value());
756   BRepBuilderAPI_MakeFace aMkFace(aCylinder, aWire);
757
758   if (!aMkFace.IsDone()) {
759     return aResult;
760   }
761
762   for (aWIter.Next(); aWIter.More(); aWIter.Next()) {
763     aWire = TopoDS::Wire(aWIter.Value());
764     aMkFace.Add(aWire);
765
766     if (!aMkFace.IsDone()) {
767       return aResult;
768     }
769   }
770
771   // Build 3D curves.
772   TopoDS_Face  aCylFace = aMkFace.Face();
773   TopoDS_Shape aResShape;
774
775   BRepLib::BuildCurves3d(aCylFace);
776
777   // Check shape.
778   if (aType == TopAbs_WIRE) {
779     TopExp_Explorer aResExp(aCylFace, TopAbs_WIRE);
780
781     if (aResExp.More()) {
782       aResShape = aResExp.Current();
783     }
784   } else {
785     aResShape = aCylFace;
786   }
787
788   if (aResShape.IsNull() == Standard_False) {
789     if (!GEOMUtils::CheckShape(aResShape, true)) {
790       if (!GEOMUtils::FixShapeTolerance(aResShape)) {
791         return aResult;
792       }
793     }
794
795     aResult = aResShape;
796   }
797
798   return aResult;
799 }
800
801 IMPLEMENT_STANDARD_RTTIEXT (GEOMImpl_ProjectionDriver,GEOM_BaseDriver);