1 // Created on: 1993-07-23
2 // Created by: Remi LEQUETTE
3 // Copyright (c) 1993-1999 Matra Datavision
4 // Copyright (c) 1999-2014 OPEN CASCADE SAS
6 // This file is part of Open CASCADE Technology software library.
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.
14 // Alternatively, this file may be used under the terms of Open CASCADE
15 // commercial license or contractual agreement.
18 #include <BRep_Builder.hxx>
19 #include <BRepLib.hxx>
20 #include <BRepLib_FindSurface.hxx>
21 #include <BRepLib_MakeFace.hxx>
22 #include <BRepTopAdaptor_FClass2d.hxx>
24 #include <Geom2d_Line.hxx>
25 #include <Geom_BezierCurve.hxx>
26 #include <Geom_BSplineCurve.hxx>
27 #include <Geom_ConicalSurface.hxx>
28 #include <Geom_Curve.hxx>
29 #include <Geom_CylindricalSurface.hxx>
30 #include <Geom_OffsetSurface.hxx>
31 #include <Geom_Plane.hxx>
32 #include <Geom_RectangularTrimmedSurface.hxx>
33 #include <Geom_SphericalSurface.hxx>
34 #include <Geom_Surface.hxx>
35 #include <Geom_SurfaceOfLinearExtrusion.hxx>
36 #include <Geom_SurfaceOfRevolution.hxx>
37 #include <Geom_ToroidalSurface.hxx>
38 #include <GeomAbs_CurveType.hxx>
39 #include <GeomAdaptor_Curve.hxx>
40 #include <gp_Cone.hxx>
41 #include <gp_Cylinder.hxx>
43 #include <gp_Sphere.hxx>
44 #include <gp_Torus.hxx>
45 #include <Precision.hxx>
46 #include <StdFail_NotDone.hxx>
47 #include <TopAbs_State.hxx>
49 #include <TopoDS_Edge.hxx>
50 #include <TopoDS_Face.hxx>
51 #include <TopoDS_Iterator.hxx>
52 #include <TopoDS_Vertex.hxx>
53 #include <TopoDS_Wire.hxx>
55 //=======================================================================
56 //function : BRepLib_MakeFace
58 //=======================================================================
59 BRepLib_MakeFace::BRepLib_MakeFace() :
60 myError(BRepLib_NoFace)
65 //=======================================================================
66 //function : BRepLib_MakeFace
68 //=======================================================================
70 BRepLib_MakeFace::BRepLib_MakeFace(const TopoDS_Face& F)
76 //=======================================================================
77 //function : BRepLib_MakeFace
79 //=======================================================================
81 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Pln& P)
83 Handle(Geom_Plane) GP = new Geom_Plane(P);
84 Init(GP, Standard_True, Precision::Confusion());
88 //=======================================================================
89 //function : BRepLib_MakeFace
91 //=======================================================================
93 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cylinder& C)
95 Handle(Geom_CylindricalSurface) GC = new Geom_CylindricalSurface(C);
96 Init(GC, Standard_True, Precision::Confusion());
100 //=======================================================================
101 //function : BRepLib_MakeFace
103 //=======================================================================
105 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cone& C)
107 Handle(Geom_ConicalSurface) GC = new Geom_ConicalSurface(C);
108 Init(GC, Standard_True, Precision::Confusion());
112 //=======================================================================
113 //function : BRepLib_MakeFace
115 //=======================================================================
117 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Sphere& S)
119 Handle(Geom_SphericalSurface) GS = new Geom_SphericalSurface(S);
120 Init(GS, Standard_True, Precision::Confusion());
124 //=======================================================================
125 //function : BRepLib_MakeFace
127 //=======================================================================
129 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Torus& T)
131 Handle(Geom_ToroidalSurface) GT = new Geom_ToroidalSurface(T);
132 Init(GT, Standard_True, Precision::Confusion());
136 //=======================================================================
137 //function : BRepLib_MakeFace
139 //=======================================================================
141 BRepLib_MakeFace::BRepLib_MakeFace(const Handle(Geom_Surface)& S,
142 const Standard_Real TolDegen)
144 Init(S, Standard_True, TolDegen);
148 //=======================================================================
149 //function : BRepLib_MakeFace
151 //=======================================================================
153 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Pln& P,
154 const Standard_Real UMin,
155 const Standard_Real UMax,
156 const Standard_Real VMin,
157 const Standard_Real VMax)
159 Handle(Geom_Plane) GP = new Geom_Plane(P);
160 Init(GP, UMin, UMax, VMin, VMax, Precision::Confusion());
164 //=======================================================================
165 //function : BRepLib_MakeFace
167 //=======================================================================
169 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cylinder& C,
170 const Standard_Real UMin,
171 const Standard_Real UMax,
172 const Standard_Real VMin,
173 const Standard_Real VMax)
175 Handle(Geom_CylindricalSurface) GC = new Geom_CylindricalSurface(C);
176 Init(GC, UMin, UMax, VMin, VMax, Precision::Confusion());
180 //=======================================================================
181 //function : BRepLib_MakeFace
183 //=======================================================================
185 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cone& C,
186 const Standard_Real UMin,
187 const Standard_Real UMax,
188 const Standard_Real VMin,
189 const Standard_Real VMax)
191 Handle(Geom_ConicalSurface) GC = new Geom_ConicalSurface(C);
192 Init(GC, UMin, UMax, VMin, VMax, Precision::Confusion());
196 //=======================================================================
197 //function : BRepLib_MakeFace
199 //=======================================================================
201 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Sphere& S,
202 const Standard_Real UMin,
203 const Standard_Real UMax,
204 const Standard_Real VMin,
205 const Standard_Real VMax)
207 Handle(Geom_SphericalSurface) GS = new Geom_SphericalSurface(S);
208 Init(GS, UMin, UMax, VMin, VMax, Precision::Confusion());
212 //=======================================================================
213 //function : BRepLib_MakeFace
215 //=======================================================================
217 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Torus& T,
218 const Standard_Real UMin,
219 const Standard_Real UMax,
220 const Standard_Real VMin,
221 const Standard_Real VMax)
223 Handle(Geom_ToroidalSurface) GT = new Geom_ToroidalSurface(T);
224 Init(GT, UMin, UMax, VMin, VMax, Precision::Confusion());
228 //=======================================================================
229 //function : BRepLib_MakeFace
231 //=======================================================================
233 BRepLib_MakeFace::BRepLib_MakeFace(const Handle(Geom_Surface)& S,
234 const Standard_Real UMin,
235 const Standard_Real UMax,
236 const Standard_Real VMin,
237 const Standard_Real VMax,
238 const Standard_Real TolDegen)
240 Init(S, UMin, UMax, VMin, VMax, TolDegen);
244 //=======================================================================
245 //function : BRepLib_MakeFace
247 //=======================================================================
249 BRepLib_MakeFace::BRepLib_MakeFace(const TopoDS_Wire& W,
250 const Standard_Boolean OnlyPlane)
253 // Find a surface through the wire
254 BRepLib_FindSurface FS(W, -1, OnlyPlane, Standard_True);
256 myError = BRepLib_NotPlanar;
260 // build the face and add the wire
262 myError = BRepLib_FaceDone;
264 Standard_Real tol = Max(1.2*FS.ToleranceReached(), FS.Tolerance());
266 B.MakeFace(TopoDS::Face(myShape),FS.Surface(),FS.Location(),tol);
269 BRepLib::UpdateTolerances(myShape);
271 BRepLib::SameParameter(myShape, tol, Standard_True);
277 //=======================================================================
278 //function : BRepLib_MakeFace
280 //=======================================================================
282 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Pln& P,
283 const TopoDS_Wire& W,
284 const Standard_Boolean Inside)
286 Handle(Geom_Plane) Pl = new Geom_Plane(P);
287 Init(Pl, Standard_False, Precision::Confusion());
289 if (Inside) CheckInside();
293 //=======================================================================
294 //function : BRepLib_MakeFace
296 //=======================================================================
298 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cylinder& C,
299 const TopoDS_Wire& W,
300 const Standard_Boolean Inside)
302 Handle(Geom_CylindricalSurface) GC = new Geom_CylindricalSurface(C);
303 Init(GC, Standard_False, Precision::Confusion());
305 if (Inside) CheckInside();
309 //=======================================================================
310 //function : BRepLib_MakeFace
312 //=======================================================================
314 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Cone& C,
315 const TopoDS_Wire& W,
316 const Standard_Boolean Inside)
318 Handle(Geom_ConicalSurface) GC = new Geom_ConicalSurface(C);
319 Init(GC, Standard_False, Precision::Confusion());
321 if (Inside) CheckInside();
325 //=======================================================================
326 //function : BRepLib_MakeFace
328 //=======================================================================
330 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Sphere& S,
331 const TopoDS_Wire& W,
332 const Standard_Boolean Inside)
334 Handle(Geom_SphericalSurface) GS = new Geom_SphericalSurface(S);
335 Init(GS, Standard_False, Precision::Confusion());
337 if (Inside) CheckInside();
341 //=======================================================================
342 //function : BRepLib_MakeFace
344 //=======================================================================
346 BRepLib_MakeFace::BRepLib_MakeFace(const gp_Torus& T,
347 const TopoDS_Wire& W,
348 const Standard_Boolean Inside)
350 Handle(Geom_ToroidalSurface) GT = new Geom_ToroidalSurface(T);
351 Init(GT, Standard_False, Precision::Confusion());
353 if (Inside) CheckInside();
357 //=======================================================================
358 //function : BRepLib_MakeFace
360 //=======================================================================
362 BRepLib_MakeFace::BRepLib_MakeFace(const Handle(Geom_Surface)& S,
363 const TopoDS_Wire& W,
364 const Standard_Boolean Inside)
366 Init(S, Standard_False, Precision::Confusion());
368 if (Inside) CheckInside();
372 //=======================================================================
373 //function : BRepLib_MakeFace
375 //=======================================================================
377 BRepLib_MakeFace::BRepLib_MakeFace(const TopoDS_Face& F,
378 const TopoDS_Wire& W)
384 //=======================================================================
387 //=======================================================================
389 void BRepLib_MakeFace::Init(const TopoDS_Face& F)
392 myShape = F.EmptyCopied();
393 myError = BRepLib_FaceDone;
396 TopoDS_Iterator It(F);
398 B.Add(myShape,It.Value());
403 //=======================================================================
406 //=======================================================================
408 void BRepLib_MakeFace::Init(const Handle(Geom_Surface)& S,
409 const Standard_Boolean Bound,
410 const Standard_Real TolDegen)
412 myError = BRepLib_FaceDone;
414 Standard_Real UMin,UMax,VMin,VMax;
415 S->Bounds(UMin,UMax,VMin,VMax);
416 Init(S,UMin,UMax,VMin,VMax,TolDegen);
420 B.MakeFace(TopoDS::Face(myShape),S,Precision::Confusion());
423 B.NaturalRestriction(TopoDS::Face(myShape),Standard_True);
427 //=======================================================================
428 //function : IsDegenerated
429 //purpose : Checks whether the passed curve is degenerated with the
430 // passed tolerance value
431 //=======================================================================
433 Standard_Boolean BRepLib_MakeFace::IsDegenerated(
434 const Handle(Geom_Curve)& theCurve,
435 const Standard_Real theMaxTol,
436 Standard_Real& theActTol)
438 GeomAdaptor_Curve AC(theCurve);
439 Standard_Real aConfusion = Precision::Confusion();
440 theActTol = aConfusion;
441 GeomAbs_CurveType Type = AC.GetType();
443 if (Type == GeomAbs_Circle) {
444 gp_Circ Circ = AC.Circle();
445 if ( Circ.Radius() > theMaxTol )
446 return Standard_False;
447 theActTol = Max(Circ.Radius(), aConfusion);
448 return Standard_True;
450 else if (Type == GeomAbs_BSplineCurve) {
451 Handle(Geom_BSplineCurve) BS = AC.BSpline();
452 Standard_Integer NbPoles = BS->NbPoles();
453 Standard_Real aMaxPoleDist2 = 0.0, aMaxTol2 = theMaxTol*theMaxTol;
456 for (Standard_Integer i = 2; i <= NbPoles; i++) {
458 Standard_Real aPoleDist2 = P1.SquareDistance(P2);
459 if (aPoleDist2 > aMaxTol2)
460 return Standard_False;
461 if (aPoleDist2 > aMaxPoleDist2)
462 aMaxPoleDist2 = aPoleDist2;
464 theActTol = Max(1.000001*Sqrt(aMaxPoleDist2), aConfusion);
465 return Standard_True;
467 else if (Type == GeomAbs_BezierCurve) {
468 Handle(Geom_BezierCurve) BZ = AC.Bezier();
469 Standard_Integer NbPoles = BZ->NbPoles();
470 Standard_Real aMaxPoleDist2 = 0.0, aMaxTol2 = theMaxTol*theMaxTol;;
473 for (Standard_Integer i = 2; i <= NbPoles; i++) {
475 Standard_Real aPoleDist2 = P1.SquareDistance(P2);
476 if (aPoleDist2 > aMaxTol2)
477 return Standard_False;
478 if (aPoleDist2 > aMaxPoleDist2)
479 aMaxPoleDist2 = aPoleDist2;
481 theActTol = Max(1.000001*Sqrt(aMaxPoleDist2), aConfusion);
482 return Standard_True;
485 return Standard_False;
488 //=======================================================================
491 //=======================================================================
493 void BRepLib_MakeFace::Init(const Handle(Geom_Surface)& SS,
494 const Standard_Real Um,
495 const Standard_Real UM,
496 const Standard_Real Vm,
497 const Standard_Real VM,
498 const Standard_Real TolDegen)
500 myError = BRepLib_FaceDone;
502 Standard_Real UMin = Um;
503 Standard_Real UMax = UM;
504 Standard_Real VMin = Vm;
505 Standard_Real VMax = VM;
507 Standard_Real umin,umax,vmin,vmax,T;
509 Handle(Geom_Surface) S = SS, BS = SS;
510 Handle(Geom_RectangularTrimmedSurface) RS =
511 Handle(Geom_RectangularTrimmedSurface)::DownCast(S);
513 BS = RS->BasisSurface();
515 Standard_Boolean OffsetSurface =
516 (BS->DynamicType() == STANDARD_TYPE(Geom_OffsetSurface));
518 // adjust periodical surface or reordonate
519 // check if the values are in the natural range
520 Standard_Real epsilon = Precision::PConfusion();
522 BS->Bounds(umin,umax,vmin,vmax);
525 Handle(Geom_OffsetSurface) OS = Handle(Geom_OffsetSurface)::DownCast(BS);
526 Handle(Geom_Surface) Base = OS->BasisSurface();
528 if (Base->DynamicType() == STANDARD_TYPE(Geom_SurfaceOfLinearExtrusion)) {
529 if (Precision::IsInfinite(umin) || Precision::IsInfinite(umax))
530 S = new Geom_RectangularTrimmedSurface(OS, UMin, UMax, VMin, VMax);
532 S = new Geom_RectangularTrimmedSurface(OS, VMin, VMax, Standard_False);
533 } else if (Base->DynamicType() == STANDARD_TYPE(Geom_SurfaceOfRevolution)) {
534 if (Precision::IsInfinite(vmin) || Precision::IsInfinite(vmax))
535 S = new Geom_RectangularTrimmedSurface(OS, VMin, VMax, Standard_False);
539 if (S->IsUPeriodic()) {
540 ElCLib::AdjustPeriodic(umin,umax,epsilon,UMin,UMax);
542 else if (UMin > UMax) {
546 if ((umin - UMin > epsilon) || (UMax - umax > epsilon)) {
547 myError = BRepLib_ParametersOutOfRange;
552 if (S->IsVPeriodic()) {
553 ElCLib::AdjustPeriodic(vmin,vmax,epsilon,VMin,VMax);
555 else if (VMin > VMax) {
559 if ((vmin - VMin > epsilon) || (VMax - vmax > epsilon)) {
560 myError = BRepLib_ParametersOutOfRange;
566 // compute infinite flags
567 Standard_Boolean umininf = Precision::IsNegativeInfinite(UMin);
568 Standard_Boolean umaxinf = Precision::IsPositiveInfinite(UMax);
569 Standard_Boolean vmininf = Precision::IsNegativeInfinite(VMin);
570 Standard_Boolean vmaxinf = Precision::IsPositiveInfinite(VMax);
573 Standard_Boolean uclosed =
575 Abs(UMin - umin) < epsilon &&
576 Abs(UMax - umax) < epsilon;
578 Standard_Boolean vclosed =
580 Abs(VMin - vmin) < epsilon &&
581 Abs(VMax - vmax) < epsilon;
584 // compute 3d curves and degenerate flag
585 Standard_Real maxTol = TolDegen;
586 Handle(Geom_Curve) Cumin,Cumax,Cvmin,Cvmax;
587 Standard_Boolean Dumin,Dumax,Dvmin,Dvmax;
588 Dumin = Dumax = Dvmin = Dvmax = Standard_False;
589 Standard_Real uminTol = Precision::Confusion(),
590 umaxTol = Precision::Confusion(),
591 vminTol = Precision::Confusion(),
592 vmaxTol = Precision::Confusion();
595 Cumin = S->UIso(UMin);
596 Dumin = IsDegenerated(Cumin, maxTol, uminTol);
599 Cumax = S->UIso(UMax);
600 Dumax = IsDegenerated(Cumax, maxTol, umaxTol);
603 Cvmin = S->VIso(VMin);
604 Dvmin = IsDegenerated(Cvmin, maxTol, vminTol);
607 Cvmax = S->VIso(VMax);
608 Dvmax = IsDegenerated(Cvmax, maxTol, vmaxTol);
614 TopoDS_Vertex V00,V10,V11,V01;
617 if (!vmininf) B.MakeVertex(V00,S->Value(UMin,VMin), Max(uminTol, vminTol));
618 if (!vmaxinf) B.MakeVertex(V01,S->Value(UMin,VMax), Max(uminTol, vmaxTol));
621 if (!vmininf) B.MakeVertex(V10,S->Value(UMax,VMin), Max(umaxTol, vminTol));
622 if (!vmaxinf) B.MakeVertex(V11,S->Value(UMax,VMax), Max(umaxTol, vmaxTol));
635 if (Dumin) V00 = V01;
636 if (Dumax) V10 = V11;
637 if (Dvmin) V00 = V10;
638 if (Dvmax) V01 = V11;
641 Handle(Geom2d_Line) Lumin,Lumax,Lvmin,Lvmax;
643 Lumin = new Geom2d_Line(gp_Pnt2d(UMin,0),gp_Dir2d(0,1));
645 Lumax = new Geom2d_Line(gp_Pnt2d(UMax,0),gp_Dir2d(0,1));
647 Lvmin = new Geom2d_Line(gp_Pnt2d(0,VMin),gp_Dir2d(1,0));
649 Lvmax = new Geom2d_Line(gp_Pnt2d(0,VMax),gp_Dir2d(1,0));
652 TopoDS_Face& F = TopoDS::Face(myShape);
653 B.MakeFace(F,S,Precision::Confusion());
656 TopoDS_Edge eumin,eumax,evmin,evmax;
660 B.MakeEdge(eumin,Cumin,uminTol);
664 B.UpdateEdge(eumin,Lumax,Lumin,F,Max(uminTol, umaxTol));
666 B.UpdateEdge(eumin,Lumin,F,uminTol);
667 B.Degenerated(eumin,Dumin);
669 V00.Orientation(TopAbs_FORWARD);
673 V01.Orientation(TopAbs_REVERSED);
676 B.Range(eumin,VMin,VMax);
684 B.MakeEdge(eumax,Cumax,umaxTol);
687 B.UpdateEdge(eumax,Lumax,F,umaxTol);
688 B.Degenerated(eumax,Dumax);
690 V10.Orientation(TopAbs_FORWARD);
694 V11.Orientation(TopAbs_REVERSED);
697 B.Range(eumax,VMin,VMax);
703 B.MakeEdge(evmin,Cvmin,vminTol);
707 B.UpdateEdge(evmin,Lvmin,Lvmax,F,Max(vminTol, vmaxTol));
709 B.UpdateEdge(evmin,Lvmin,F,vminTol);
710 B.Degenerated(evmin,Dvmin);
712 V00.Orientation(TopAbs_FORWARD);
716 V10.Orientation(TopAbs_REVERSED);
719 B.Range(evmin,UMin,UMax);
727 B.MakeEdge(evmax,Cvmax,vmaxTol);
730 B.UpdateEdge(evmax,Lvmax,F,vmaxTol);
731 B.Degenerated(evmax,Dvmax);
733 V01.Orientation(TopAbs_FORWARD);
737 V11.Orientation(TopAbs_REVERSED);
740 B.Range(evmax,UMin,UMax);
744 // make the wires and add them to the face
745 eumin.Orientation(TopAbs_REVERSED);
746 evmax.Orientation(TopAbs_REVERSED);
750 if (!umininf && !umaxinf && vmininf && vmaxinf) {
761 else if (umininf && umaxinf && !vmininf && !vmaxinf) {
772 else if (!umininf || !umaxinf || !vmininf || !vmaxinf) {
775 if (!umininf) B.Add(W,eumin);
776 if (!vmininf) B.Add(W,evmin);
777 if (!umaxinf) B.Add(W,eumax);
778 if (!vmaxinf) B.Add(W,evmax);
780 W.Closed(!umininf && !umaxinf && !vmininf && !vmaxinf);
781 F.Closed(uclosed && vclosed);
785 // Les Isos sont Approximees a Precision::Approximation()
786 // et on code Precision::Confusion() dans l'arete.
787 // ==> Un petit passage dans SamePrameter pour regler les tolerances.
788 BRepLib::SameParameter(F, Precision::Confusion(), Standard_True);
795 //=======================================================================
798 //=======================================================================
800 void BRepLib_MakeFace::Add(const TopoDS_Wire& W)
804 B.NaturalRestriction(TopoDS::Face(myShape),Standard_False);
809 //=======================================================================
812 //=======================================================================
814 const TopoDS_Face& BRepLib_MakeFace::Face()const
816 return TopoDS::Face(myShape);
821 //=======================================================================
822 //function : operator
824 //=======================================================================
826 BRepLib_MakeFace::operator TopoDS_Face() const
831 //=======================================================================
834 //=======================================================================
836 BRepLib_FaceError BRepLib_MakeFace::Error() const
842 //=======================================================================
843 //function : CheckInside
844 //purpose : Reverses the current face if not a bounded area
845 //=======================================================================
847 void BRepLib_MakeFace::CheckInside()
849 // compute the area and return the face if the area is negative
850 TopoDS_Face F = TopoDS::Face(myShape);
851 BRepTopAdaptor_FClass2d FClass(F,0.);
852 if ( FClass.PerformInfinitePoint() == TopAbs_IN) {
854 TopoDS_Shape S = myShape.EmptyCopied();
855 TopoDS_Iterator it(myShape);
857 B.Add(S,it.Value().Reversed());