1 // Created on: 1996-04-23
2 // Created by: Jacques GOUSSARD
3 // Copyright (c) 1996-1999 Matra Datavision
4 // Copyright (c) 1999-2012 OPEN CASCADE SAS
6 // The content of this file is subject to the Open CASCADE Technology Public
7 // License Version 6.5 (the "License"). You may not use the content of this file
8 // except in compliance with the License. Please obtain a copy of the License
9 // at http://www.opencascade.org and read it completely before using this file.
11 // The Initial Developer of the Original Code is Open CASCADE S.A.S., having its
12 // main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France.
14 // The Original Code and all software distributed under the License is
15 // distributed on an "AS IS" basis, without warranty of any kind, and the
16 // Initial Developer hereby disclaims all such warranties, including without
17 // limitation, any warranties of merchantability, fitness for a particular
18 // purpose or non-infringement. Please see the License for the specific terms
19 // and conditions governing the rights and limitations under the License.
23 #include <BRepFeat.ixx>
25 //#include <BRepAlgo_Cut.hxx>
27 #include <BRepBuilderAPI.hxx>
28 #include <BRepAdaptor_Curve.hxx>
29 #include <TopExp_Explorer.hxx>
30 #include <TopTools_MapOfShape.hxx>
31 #include <BRep_Tool.hxx>
32 #include <BRep_Builder.hxx>
33 #include <Geom_Curve.hxx>
34 #include <Geom_TrimmedCurve.hxx>
35 #include <Geom2d_TrimmedCurve.hxx>
36 #include <Extrema_ExtPC.hxx>
37 #include <GeomAdaptor_Curve.hxx>
38 #include <BRepLProp.hxx>
40 #include <TopoDS_Vertex.hxx>
41 #include <TopoDS_Face.hxx>
42 #include <TopoDS_Edge.hxx>
43 #include <TopoDS_Shell.hxx>
44 #include <TopoDS_Solid.hxx>
45 #include <Precision.hxx>
46 #include <GCPnts_QuasiUniformDeflection.hxx>
47 #include <BRepTopAdaptor_FClass2d.hxx>
48 #include <Geom2dAdaptor_Curve.hxx>
49 #include <GeomProjLib.hxx>
50 #include <gp_Vec2d.hxx>
51 #include <BRepTools.hxx>
52 #include <Geom_Surface.hxx>
53 #include <Bnd_Box.hxx>
54 #include <BRepBndLib.hxx>
55 #include <BRepLib_MakeFace.hxx>
56 #include <Geom_RectangularTrimmedSurface.hxx>
57 #include <Geom_Plane.hxx>
58 #include <Geom_CylindricalSurface.hxx>
59 #include <Geom_ConicalSurface.hxx>
60 #include <LocOpe_CSIntersector.hxx>
61 #include <LocOpe_PntFace.hxx>
62 #include <LocOpe_BuildShape.hxx>
64 #include <TColGeom_SequenceOfCurve.hxx>
69 #define NECHANTBARYC 11
71 //=======================================================================
72 //function : SampleEdges
74 //=======================================================================
76 void BRepFeat::SampleEdges(const TopoDS_Shape& theShape,
77 TColgp_SequenceOfPnt& theSeq)
79 LocOpe::SampleEdges(theShape,theSeq);
84 //=======================================================================
85 //function : Barycenter
86 //purpose : Calcul du barycentre des edges d'un shape
87 //=======================================================================
89 void BRepFeat::Barycenter(const TopoDS_Shape& S,
92 TopTools_MapOfShape theMap;
93 TopExp_Explorer exp(S,TopAbs_EDGE);
96 Standard_Real f,l,prm;
98 Standard_Integer i, nbp= 0;
100 for (; exp.More(); exp.Next()) {
101 const TopoDS_Edge& edg = TopoDS::Edge(exp.Current());
102 if (!theMap.Add(edg)) {
105 if (!BRep_Tool::Degenerated(edg)) {
106 C = BRep_Tool::Curve(edg,Loc,f,l);
107 C = Handle(Geom_Curve)::DownCast(C->Transformed(Loc.Transformation()));
108 for (i=1;i<NECHANTBARYC; i++) {
109 prm = ((NECHANTBARYC-i)*f + i*l)/NECHANTBARYC;
110 Bar += C->Value(prm).XYZ();
116 for (exp.Init(S,TopAbs_VERTEX); exp.More(); exp.Next()) {
117 if (theMap.Add(exp.Current())) {
118 Bar += (BRep_Tool::Pnt(TopoDS::Vertex(exp.Current()))).XYZ();
123 Bar.Divide((Standard_Real)nbp);
128 //=======================================================================
129 //function : ParametricBarycenter
130 //purpose : Calcul du barycentre "parametrique" shape sur une courbe
131 //=======================================================================
133 Standard_Real BRepFeat::ParametricBarycenter(const TopoDS_Shape& S,
134 const Handle(Geom_Curve)& CC)
136 TopTools_MapOfShape theMap;
137 TopExp_Explorer exp(S,TopAbs_EDGE);
139 Handle(Geom_Curve) C;
140 Standard_Real f,l,prm;
141 Standard_Integer i, nbp= 0;
142 GeomAdaptor_Curve TheCurve(CC);
144 extpc.Initialize(TheCurve,CC->FirstParameter(),CC->LastParameter());
145 Standard_Real parbar = 0;
147 for (; exp.More(); exp.Next()) {
148 const TopoDS_Edge& edg = TopoDS::Edge(exp.Current());
149 if (!theMap.Add(edg)) {
152 if (!BRep_Tool::Degenerated(edg)) {
153 C = BRep_Tool::Curve(edg,Loc,f,l);
154 C = Handle(Geom_Curve)::DownCast(C->Transformed(Loc.Transformation()));
155 for (i=1;i<NECHANTBARYC; i++) {
156 prm = ((NECHANTBARYC-i)*f + i*l)/NECHANTBARYC;
157 gp_Pnt pone = C->Value(prm);
158 // On projette sur CC
160 if (extpc.IsDone() && extpc.NbExt() >= 1) {
161 Standard_Real Dist2Min = extpc.SquareDistance(1);
162 Standard_Integer kmin = 1;
163 for (Standard_Integer k=2; k<=extpc.NbExt(); k++) {
164 Standard_Real Dist2 = extpc.SquareDistance(k);
165 if (Dist2 < Dist2Min) {
171 Standard_Real prmp = extpc.Point(kmin).Parameter();
178 for (exp.Init(S,TopAbs_VERTEX); exp.More(); exp.Next()) {
179 if (theMap.Add(exp.Current())) {
180 gp_Pnt pone = BRep_Tool::Pnt(TopoDS::Vertex(exp.Current()));
181 // On projette sur CC
183 if (extpc.IsDone() && extpc.NbExt() >= 1) {
184 Standard_Real Dist2Min = extpc.SquareDistance(1);
185 Standard_Integer kmin = 1;
186 for (Standard_Integer k=2; k<=extpc.NbExt(); k++) {
187 Standard_Real Dist2 = extpc.SquareDistance(k);
188 if (Dist2 < Dist2Min) {
198 parbar /=((Standard_Real)nbp);
203 //=======================================================================
204 //function : ParametricBarycenter
205 //purpose : Calcul du barycentre "parametrique" shape sur une courbe
206 //=======================================================================
208 void BRepFeat::ParametricMinMax(const TopoDS_Shape& S,
209 const Handle(Geom_Curve)& CC,
210 Standard_Real& prmin,
211 Standard_Real& prmax,
212 Standard_Real& prbmin,
213 Standard_Real& prbmax,
214 Standard_Boolean& flag,
215 const Standard_Boolean Ori)
217 LocOpe_CSIntersector ASI(S);
218 TColGeom_SequenceOfCurve scur;
221 if(ASI.IsDone() && ASI.NbPoints(1) >=1) {
223 prmin = Min(ASI.Point(1,1).Parameter(),
224 ASI.Point(1, ASI.NbPoints(1)).Parameter());
225 prmax = Max(ASI.Point(1,1).Parameter(),
226 ASI.Point(1, ASI.NbPoints(1)).Parameter());
229 TopAbs_Orientation Ori = ASI.Point(1,1).Orientation();
230 if (Ori == TopAbs_FORWARD) {
231 prmin = ASI.Point(1,1).Parameter();
232 prmax = ASI.Point(1, ASI.NbPoints(1)).Parameter();
235 prmax = ASI.Point(1,1).Parameter();
236 prmin = ASI.Point(1, ASI.NbPoints(1)).Parameter();
239 flag = Standard_True;
244 flag = Standard_False;
247 TopTools_MapOfShape theMap;
248 TopExp_Explorer exp(S,TopAbs_EDGE);
250 Handle(Geom_Curve) C;
251 Standard_Real f,l,prm;
252 // Standard_Integer i, nbp= 0;
254 GeomAdaptor_Curve TheCurve(CC);
256 extpc.Initialize(TheCurve,CC->FirstParameter(),CC->LastParameter());
258 prbmax = RealFirst();
259 for (; exp.More(); exp.Next()) {
260 const TopoDS_Edge& edg = TopoDS::Edge(exp.Current());
261 if (!theMap.Add(edg)) {
264 if (!BRep_Tool::Degenerated(edg)) {
265 C = BRep_Tool::Curve(edg,Loc,f,l);
266 C = Handle(Geom_Curve)::DownCast(C->Transformed(Loc.Transformation()));
267 for (i=1;i<NECHANTBARYC; i++) {
268 prm = ((NECHANTBARYC-i)*f + i*l)/NECHANTBARYC;
269 gp_Pnt pone = C->Value(prm);
270 // On projette sur CC
272 if (extpc.IsDone() && extpc.NbExt() >= 1) {
273 Standard_Real Dist2Min = extpc.SquareDistance(1);
274 Standard_Integer kmin = 1;
275 for (Standard_Integer k=2; k<=extpc.NbExt(); k++) {
276 Standard_Real Dist2 = extpc.SquareDistance(k);
277 if (Dist2 < Dist2Min) {
282 Standard_Real prmp = extpc.Point(kmin).Parameter();
283 if (prmp <= prbmin) {
286 if (prmp >= prbmax) {
294 for (exp.Init(S,TopAbs_VERTEX); exp.More(); exp.Next()) {
295 if (theMap.Add(exp.Current())) {
296 gp_Pnt pone = BRep_Tool::Pnt(TopoDS::Vertex(exp.Current()));
297 // On projette sur CC
299 if (extpc.IsDone() && extpc.NbExt() >= 1) {
300 Standard_Real Dist2Min = extpc.SquareDistance(1);
301 Standard_Integer kmin = 1;
302 for (Standard_Integer k=2; k<=extpc.NbExt(); k++) {
303 Standard_Real Dist2 = extpc.SquareDistance(k);
304 if (Dist2 < Dist2Min) {
309 Standard_Real prmp = extpc.Point(kmin).Parameter();
310 if (prmp <= prbmin) {
313 if (prmp >= prbmax) {
324 //=======================================================================
327 //=======================================================================
329 static Standard_Boolean IsIn (BRepTopAdaptor_FClass2d& FC,
330 Geom2dAdaptor_Curve AC)
332 Standard_Real Def = 100*Precision::Confusion();
333 GCPnts_QuasiUniformDeflection QU(AC,Def);
335 for (Standard_Integer i = 1; i <= QU.NbPoints(); i++) {
336 gp_Pnt2d P = AC.Value(QU.Parameter(i));
337 if (FC.Perform(P, Standard_False) == TopAbs_OUT) {
338 return Standard_False;
342 return Standard_True;
346 //=======================================================================
347 //function : PutInBoundsU
348 //purpose : Recadre la courbe 2d dans les bounds de la face
349 //=======================================================================
354 static void PutInBoundsU (Standard_Real umin,
357 Standard_Real period,
360 Handle(Geom2d_Curve)& C2d)
362 gp_Pnt2d Pf = C2d->Value(f);
363 gp_Pnt2d Pl = C2d->Value(l);
364 gp_Pnt2d Pm = C2d->Value(0.34*f + 0.66*l);
365 Standard_Real minC = Min(Pf.X(),Pl.X()); minC = Min(minC,Pm.X());
366 Standard_Real maxC = Max(Pf.X(),Pl.X()); maxC = Max(maxC,Pm.X());
367 Standard_Real du = 0.;
368 if (minC< umin - eps) {
369 du = (int((umin - minC)/period) + 1)*period;
371 if (minC > umax + eps) {
372 du = -(int((minC - umax)/period) + 1)*period;
377 minC += du; maxC += du;
379 // Ajuste au mieux la courbe dans le domaine.
380 if (maxC > umax +100*eps) {
381 Standard_Real d1 = maxC - umax;
382 Standard_Real d2 = umin - minC + period;
383 if (d2 < d1) du =-period;
392 //=======================================================================
393 //function : PutInBoundsU
394 //purpose : Recadre la courbe 2d dans les bounds de la face
395 //=======================================================================
400 static void PutInBoundsV (Standard_Real vmin,
403 Standard_Real period,
406 Handle(Geom2d_Curve)& C2d)
408 gp_Pnt2d Pf = C2d->Value(f);
409 gp_Pnt2d Pl = C2d->Value(l);
410 gp_Pnt2d Pm = C2d->Value(0.34*f + 0.66*l);
411 Standard_Real minC = Min(Pf.Y(),Pl.Y()); minC = Min(minC,Pm.Y());
412 Standard_Real maxC = Max(Pf.Y(),Pl.Y()); maxC = Max(maxC,Pm.Y());
413 Standard_Real dv = 0.;
414 if (minC< vmin - eps) {
415 dv = (int((vmin - minC)/period) + 1)*period;
417 if (minC > vmax + eps) {
418 dv = -(int((minC - vmax)/period) + 1)*period;
423 minC += dv; maxC += dv;
425 // Ajuste au mieux la courbe dans le domaine.
426 if (maxC > vmax +100*eps) {
427 Standard_Real d1 = maxC - vmax;
428 Standard_Real d2 = vmin - minC + period;
429 if (d2 < d1) dv =-period;
438 //=======================================================================
439 //function : IsInside
441 //=======================================================================
444 Standard_Boolean BRepFeat::IsInside(const TopoDS_Face& F1,
445 const TopoDS_Face& F2)
448 exp.Init(F1, TopAbs_EDGE);
450 Standard_Real umin,umax,vmin,vmax, uperiod=0, vperiod=0;
451 Standard_Integer flagu = 0, flagv = 0;
452 TopLoc_Location L; // Recup S avec la location pour eviter la copie.
453 Handle (Geom_Surface) S = BRep_Tool::Surface(F2);
454 // Standard_Real periodu, periodv;
455 BRepTools::UVBounds(F2,umin,umax,vmin,vmax);
457 if (S->IsUPeriodic()) {
459 uperiod = S->UPeriod();
462 if (S->IsVPeriodic()) {
464 vperiod = S->VPeriod();
466 TopoDS_Shape aLocalShape = F2.Oriented(TopAbs_FORWARD);
467 BRepTopAdaptor_FClass2d FC (TopoDS::Face(aLocalShape),Precision::Confusion());
468 // BRepTopAdaptor_FClass2d FC (TopoDS::Face(F2.Oriented(TopAbs_FORWARD)),
469 // Precision::Confusion());
470 for(; exp.More(); exp.Next()) {
472 Handle(Geom_Curve) C0 = BRep_Tool::Curve(TopoDS::Edge(exp.Current()),f1,l1);
473 Handle(Geom2d_Curve) C = GeomProjLib::Curve2d(C0,f1,l1,S);
474 TopoDS_Edge E = TopoDS::Edge(exp.Current());
475 if(flagu == 1 || flagv == 1) {
476 Standard_Real eps = BRep_Tool::Tolerance(E);
477 BRep_Tool::Range(E,f1,l1);
478 if(flagu == 1) PutInBoundsU(umin, umax, eps, uperiod, f1, l1, C);
479 if(flagv == 1) PutInBoundsV(vmin, vmax, eps, vperiod, f1, l1, C);
481 Geom2dAdaptor_Curve AC(C,f1,l1);
483 return Standard_False;
487 return Standard_True;
492 //=======================================================================
493 //function : FaceUntil
495 //=======================================================================
498 void BRepFeat::FaceUntil(const TopoDS_Shape& Sbase,
502 BRepBndLib::Add(Sbase,B);
503 Standard_Real c[6], bnd;
504 B.Get(c[0],c[2],c[4],c[1],c[3],c[5]);
506 for(Standard_Integer i = 1 ; i < 6; i++) {
507 if(c[i] > bnd) bnd = c[i];
512 Handle(Geom_Surface) s = BRep_Tool::Surface(FUntil);
513 Handle(Standard_Type) styp = s->DynamicType();
514 if (styp == STANDARD_TYPE(Geom_RectangularTrimmedSurface)) {
515 s = Handle(Geom_RectangularTrimmedSurface)::DownCast(s)->BasisSurface();
516 styp = s->DynamicType();
518 Handle(Geom_RectangularTrimmedSurface) str;
519 if (styp == STANDARD_TYPE(Geom_Plane)) {
520 str = new Geom_RectangularTrimmedSurface
521 (s, bnd, -bnd, bnd, -bnd, Standard_True, Standard_True);
523 else if (styp == STANDARD_TYPE(Geom_CylindricalSurface)) {
524 str = new Geom_RectangularTrimmedSurface
525 (s, 0., 2.*M_PI, bnd, -bnd, Standard_True, Standard_True);
527 else if (styp == STANDARD_TYPE(Geom_ConicalSurface)) {
528 str = new Geom_RectangularTrimmedSurface
529 (s, 0., 2.*M_PI, bnd, -bnd, Standard_True, Standard_True);
536 FUntil = BRepLib_MakeFace(str, Precision::Confusion());
541 //=======================================================================
544 //=======================================================================
546 TopoDS_Solid BRepFeat::Tool(const TopoDS_Shape& SRef,
547 const TopoDS_Face& Fac,
548 const TopAbs_Orientation Orf)
550 TopTools_ListOfShape lfaces;
551 // for (TopExp_Explorer exp(SRef,TopAbs_FACE); exp.More(); exp.Next()) {
552 TopExp_Explorer exp(SRef,TopAbs_FACE) ;
553 for ( ; exp.More(); exp.Next()) {
554 if (exp.Current().ShapeType() == TopAbs_FACE) {
555 lfaces.Append(exp.Current());
559 LocOpe_BuildShape bs(lfaces);
560 const TopoDS_Shape& Res = bs.Shape();
562 if (Res.ShapeType() == TopAbs_SHELL) {
564 Sh = TopoDS::Shell(Res);
566 else if (Res.ShapeType() == TopAbs_SOLID) {
567 exp.Init(Res,TopAbs_SHELL);
568 Sh = TopoDS::Shell(exp.Current());
581 Sh.Orientation(TopAbs_FORWARD);
583 TopAbs_Orientation orient;
585 TopAbs_Orientation orient = TopAbs_FORWARD;
587 for (exp.Init(Sh,TopAbs_FACE); exp.More(); exp.Next()) {
588 if (exp.Current().IsSame(Fac)) {
589 orient = exp.Current().Orientation();
594 Standard_Boolean reverse = Standard_False;
595 if ((orient == Fac.Orientation() && Orf == TopAbs_REVERSED) ||
596 (orient != Fac.Orientation() && Orf == TopAbs_FORWARD)) {
597 reverse = Standard_True;
612 //=======================================================================
614 //purpose : Print the error Description of a StatusError on a stream.
615 //=======================================================================
617 Standard_OStream& BRepFeat::Print(const BRepFeat_StatusError se,
624 case BRepFeat_BadDirect :
625 s << "Directions must be opposite";
627 case BRepFeat_BadIntersect :
628 s << "Intersection failure";
630 case BRepFeat_EmptyBaryCurve :
631 s << "Empty BaryCurve";
633 case BRepFeat_EmptyCutResult :
634 s << "Failure in Cut : Empty resulting shape";
636 case BRepFeat_FalseSide :
637 s << "Verify plane and wire orientation";
639 case BRepFeat_IncDirection :
640 s << "Incoherent Direction for shapes From and Until";
642 case BRepFeat_IncSlidFace :
643 s << "Sliding face not in Base shape";
645 case BRepFeat_IncParameter :
646 s << "Incoherent Parameter : shape Until before shape From";
648 case BRepFeat_IncTypes :
649 s << "Invalid option for faces From and Until : 1 Support and 1 not";
651 case BRepFeat_IntervalOverlap :
652 s << "Shapes From and Until overlap";
654 case BRepFeat_InvFirstShape :
655 s << "Invalid First shape : more than 1 face";
657 case BRepFeat_InvOption :
658 s << "Invalid option";
660 case BRepFeat_InvShape :
661 s << "Invalid shape";
663 case BRepFeat_LocOpeNotDone :
664 s << "Local Operation not done";
666 case BRepFeat_LocOpeInvNotDone :
667 s << "Local Operation : intersection line conflict";
669 case BRepFeat_NoExtFace :
670 s << "No Extreme faces";
672 case BRepFeat_NoFaceProf :
673 s << "No Face Profile";
675 case BRepFeat_NoGluer :
676 s << "Gluer Failure";
678 case BRepFeat_NoIntersectF :
679 s << "No intersection between Feature and shape From";
681 case BRepFeat_NoIntersectU :
682 s << "No intersection between Feature and shape Until";
684 case BRepFeat_NoParts :
685 s << "No parts of tool kept";
687 case BRepFeat_NoProjPt :
688 s << "No projection points";
690 case BRepFeat_NotInitialized :
691 s << "Fields not initialized";
693 case BRepFeat_NotYetImplemented :
694 s << "Not yet implemented";
696 case BRepFeat_NullRealTool :
697 s << "Real Tool : Null DPrism";
699 case BRepFeat_NullToolF :
700 s << "Null Tool : Invalid type for shape Form";
702 case BRepFeat_NullToolU :
703 s << "Null Tool : Invalid type for shape Until";