1 // Created on: 1999-05-14
2 // Created by: data exchange team
3 // Copyright (c) 1999-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.
17 // 15.06 2000 gka fix against small edges ; merging ends pcurves and 3d curves
19 #include <BRep_Builder.hxx>
20 #include <BRep_Tool.hxx>
21 #include <BRepTools.hxx>
22 #include <Geom2d_BezierCurve.hxx>
23 #include <Geom2d_Curve.hxx>
24 #include <Geom_BezierCurve.hxx>
25 #include <Geom_Curve.hxx>
26 #include <GeomLib.hxx>
28 #include <gp_Pnt2d.hxx>
29 #include <Message_Msg.hxx>
30 #include <Precision.hxx>
31 #include <ShapeAnalysis_Edge.hxx>
32 #include <ShapeBuild_Edge.hxx>
33 #include <ShapeExtend_WireData.hxx>
34 #include <ShapeFix_Wire.hxx>
35 #include <ShapeUpgrade_ConvertCurve2dToBezier.hxx>
36 #include <ShapeUpgrade_ConvertCurve3dToBezier.hxx>
37 #include <ShapeUpgrade_ConvertSurfaceToBezierBasis.hxx>
38 #include <ShapeUpgrade_FaceDivide.hxx>
39 #include <ShapeUpgrade_FixSmallBezierCurves.hxx>
40 #include <ShapeUpgrade_ShapeConvertToBezier.hxx>
41 #include <ShapeUpgrade_WireDivide.hxx>
43 #include <TopExp_Explorer.hxx>
45 #include <TopoDS_Edge.hxx>
46 #include <TopoDS_Face.hxx>
47 #include <TopoDS_Shape.hxx>
48 #include <TopoDS_Vertex.hxx>
50 //=======================================================================
51 //function : ShapeUpgrade_ShapeConvertToBezier
53 //=======================================================================
54 ShapeUpgrade_ShapeConvertToBezier::ShapeUpgrade_ShapeConvertToBezier()
57 my2dMode = Standard_False;
58 my3dMode = Standard_False;
59 mySurfaceMode = Standard_False;
60 //set spesial flags to true
61 my3dLineMode = Standard_True;
62 my3dCircleMode = Standard_True;
63 my3dConicMode = Standard_True;
64 myPlaneMode = Standard_True;
65 myRevolutionMode = Standard_True;
66 myExtrusionMode = Standard_True;
67 myBSplineMode = Standard_True;
70 //=======================================================================
71 //function : ShapeUpgrade_ShapeConvertToBezier
73 //=======================================================================
75 ShapeUpgrade_ShapeConvertToBezier::ShapeUpgrade_ShapeConvertToBezier(const TopoDS_Shape& S):
76 ShapeUpgrade_ShapeDivide(S)
79 my2dMode = Standard_False;
80 my3dMode = Standard_False;
81 mySurfaceMode = Standard_False;
82 //set spesial flags to true
83 my3dLineMode = Standard_True;
84 my3dCircleMode = Standard_True;
85 my3dConicMode = Standard_True;
86 myPlaneMode = Standard_True;
87 myRevolutionMode = Standard_True;
88 myExtrusionMode = Standard_True;
89 myBSplineMode = Standard_True;
92 //=======================================================================
95 //=======================================================================
97 Standard_Boolean ShapeUpgrade_ShapeConvertToBezier::Perform (const Standard_Boolean newContext)
101 Standard_Boolean res = Standard_False;
103 Standard_Boolean isNewContext = newContext;
104 if ( mySurfaceMode ) {
105 Standard_Boolean mode2d = my2dMode, mode3d = my3dMode;
106 my2dMode = my3dMode = Standard_False;
107 res = ShapeUpgrade_ShapeDivide::Perform(isNewContext);
108 isNewContext = Standard_False;
113 if ( my2dMode || my3dMode ) {
114 Standard_Boolean modeS = mySurfaceMode;
115 mySurfaceMode = Standard_False;
116 res = ShapeUpgrade_ShapeDivide::Perform(isNewContext);
117 mySurfaceMode = modeS;
120 else res = ShapeUpgrade_ShapeDivide::Perform(newContext);
121 //pdn Hereafter the fix on GeomLib:SameParameter.
122 //In order to fix this bug all edges that are based on
123 //bezier curves (2d or 3d) and have range not equal to [0,1]
124 //are performed the following sequence:
125 // 1. Segment on bezier curve
126 // 2. Changing rande of edge to [0,1]
129 ShapeAnalysis_Edge sae;
131 Standard_Real preci = Precision::PConfusion();
132 for(TopExp_Explorer exp(myResult,TopAbs_FACE); exp.More(); exp.Next()) {
133 TopoDS_Face face = TopoDS::Face(exp.Current());
134 face.Orientation(TopAbs_FORWARD);
135 for(TopExp_Explorer exp1(face, TopAbs_WIRE); exp1.More(); exp1.Next()) {
136 TopoDS_Wire wire= TopoDS::Wire(exp1.Current());
137 Handle(ShapeFix_Wire) sfw = new ShapeFix_Wire(wire,face,myPrecision);
139 sfw->FixShifted(); // for cylinders.brep
140 Handle(ShapeExtend_WireData) sewd = sfw->WireData();
141 for(Standard_Integer i =1; i <= sewd->NbEdges(); i++) {
142 TopoDS_Edge edge = sewd->Edge(i);
143 //TopoDS_Edge edge = TopoDS::Edge(exp1.Current());
144 Handle(Geom_Curve) c3d;
145 Standard_Real first, last;
147 TopExp::Vertices(edge,V1,V2);
148 if(sae.Curve3d(edge,c3d,first,last,Standard_False)) {
149 if(c3d->IsKind(STANDARD_TYPE(Geom_BezierCurve))) {
150 //B.SameRange(edge, Standard_False);
151 Handle(Geom_BezierCurve) bezier = Handle(Geom_BezierCurve)::DownCast(c3d);
152 if(first!= 0 || last !=1) {
153 if(first > preci || last < 1 - preci) {
154 bezier->Segment(first,last);
155 B.UpdateEdge(edge,bezier,0.);
157 sbe.SetRange3d(edge,0,1);
159 if(!bezier.IsNull()) { //gka fix against small edges ; merging ends of 3d curves
160 gp_Pnt p1 = bezier->Value(first);
161 gp_Pnt p2 = bezier->Value(last);
162 gp_Pnt p1v = BRep_Tool::Pnt(V1);
163 gp_Pnt p2v = BRep_Tool::Pnt(V2);
164 if(p1.Distance(p1v) > Precision::Confusion())
165 bezier->SetPole(1,p1v);
166 if(p2.Distance(p2v) > Precision::Confusion())
167 bezier->SetPole(bezier->NbPoles(),p2v);
168 B.UpdateEdge(edge,bezier,0.);
172 B.SameRange(edge, Standard_True);
174 Handle(Geom2d_Curve) c2d,c2drev;
175 Handle(Geom2d_BezierCurve) bezier,bezierR;
176 Standard_Boolean isSeam = BRep_Tool::IsClosed ( edge, face );
177 if(!sae.PCurve(edge,face,c2d,first,last,Standard_False)) continue ;
178 if(!c2d->IsKind(STANDARD_TYPE(Geom2d_BezierCurve))) continue;
179 Handle(Geom2d_Curve) newRevCurve,newCurve;
180 bezier = Handle(Geom2d_BezierCurve)::DownCast(c2d);
182 TopoDS_Shape aLocalShape = edge.Reversed();
183 TopoDS_Edge tmpedge = TopoDS::Edge(aLocalShape);
184 // TopoDS_Edge tmpedge = TopoDS::Edge(edge.Reversed());
185 if(sae.PCurve(tmpedge,face,c2drev,first,last,Standard_False)) {
186 if(c2drev->IsKind(STANDARD_TYPE(Geom2d_BezierCurve))) {
187 bezierR = Handle(Geom2d_BezierCurve)::DownCast(c2drev);
191 if(first!= 0 || last !=1) {
192 if(first > preci || last < 1 - preci) {
193 if(!bezier.IsNull()) {
194 bezier->Segment(first,last);
198 GeomLib::SameRange(preci, c2d, first, last, 0, 1, newCurve);
200 if(!bezierR.IsNull()) {
201 bezierR->Segment(first, last);
202 newRevCurve = bezierR;
204 else if(!c2drev.IsNull())
205 GeomLib::SameRange(preci, c2drev, first, last, 0, 1, newRevCurve);
206 if(edge.Orientation()==TopAbs_FORWARD)
207 B.UpdateEdge ( edge, newCurve, newRevCurve, face, 0. );
209 B.UpdateEdge ( edge, newRevCurve, newCurve, face, 0. );
212 B.Range(edge,face,0,1);
216 TopoDS_Edge edgenext = sewd->Edge((i == sewd->NbEdges() ? 1 : i+1));
217 Handle(Geom2d_Curve) c2dnext,c2drevnext,newnextCurve;
218 Standard_Real first2,last2;
219 Handle(Geom2d_BezierCurve) beziernext,bezierRnext;
220 if(!sae.PCurve(edgenext,face,c2dnext,first2,last2,Standard_False)) continue ;
221 if(!c2dnext->IsKind(STANDARD_TYPE(Geom2d_BezierCurve)) ) continue;
222 beziernext = Handle(Geom2d_BezierCurve)::DownCast(c2dnext);
223 //Handle(Geom2d_Curve) newRevCurve;
225 TopoDS_Shape aLocalShape = edgenext.Reversed();
226 TopoDS_Edge tmpedge = TopoDS::Edge(aLocalShape);
227 // TopoDS_Edge tmpedge = TopoDS::Edge(edgenext.Reversed());
228 if(sae.PCurve(tmpedge,face,c2drevnext,first,last,Standard_False)) {
229 if(c2drevnext->IsKind(STANDARD_TYPE(Geom2d_BezierCurve))) {
230 bezierRnext = Handle(Geom2d_BezierCurve)::DownCast(c2drevnext);
234 if(first2!= 0 || last2 !=1) {
235 if(first2 > preci || last2 < 1 - preci) {
236 if(!beziernext.IsNull()) {
237 beziernext->Segment(first2,last2);
238 newnextCurve = beziernext;
241 GeomLib::SameRange(preci, c2dnext, first2, last2, 0, 1, newnextCurve);
243 if(!bezierRnext.IsNull()) {
244 bezierRnext->Segment(first2, last2);
245 newRevCurve = bezierRnext;
247 else if(!c2drevnext.IsNull())
248 GeomLib::SameRange(preci, c2drevnext, first2, last2, 0, 1, newRevCurve);
249 if(edge.Orientation()==TopAbs_FORWARD)
250 B.UpdateEdge ( edgenext, newnextCurve, newRevCurve, face, 0. );
252 B.UpdateEdge ( edgenext, newRevCurve, newnextCurve, face, 0. );
255 B.Range(edgenext,face,0,1);
258 if(bezier.IsNull() || beziernext.IsNull() ) continue; //gka fix against small edges ; merging ends of pcurves
259 Standard_Real f1,l1,f2,l2;
260 f1 = bezier->FirstParameter();
261 l1 = bezier->LastParameter();
262 f2 = beziernext->FirstParameter();
263 l2 = beziernext->LastParameter();
264 gp_Pnt2d p2d1 = bezier->Value(f1);
265 gp_Pnt2d p2d2 = bezier->Value(l1);
266 gp_Pnt2d p2d1next = beziernext->Value(f2);
267 gp_Pnt2d p2d2next = beziernext->Value(l2);
268 if(edge.Orientation() == TopAbs_FORWARD && edgenext.Orientation() == TopAbs_FORWARD) {
269 if(p2d2.Distance(p2d1next) > Precision::PConfusion()) {
270 gp_Pnt2d pmid = 0.5*(p2d2.XY() + p2d1next.XY());
271 // gp_Pnt2d p1 = bezier->Pole(bezier->NbPoles());
272 // gp_Pnt2d p2 = beziernext->Pole(1);
273 bezier->SetPole(bezier->NbPoles(),pmid);
274 beziernext->SetPole(1,pmid);
277 if(edge.Orientation() == TopAbs_FORWARD && edgenext.Orientation() == TopAbs_REVERSED) {
278 if(p2d2.Distance(p2d2next) > Precision::PConfusion()) {
279 gp_Pnt2d pmid = 0.5*(p2d2.XY() + p2d2next.XY());
280 // gp_Pnt2d p1 = bezier->Pole(bezier->NbPoles());
281 // gp_Pnt2d p2 = beziernext->Pole(beziernext->NbPoles());
282 bezier->SetPole(bezier->NbPoles(),pmid);
283 beziernext->SetPole(beziernext->NbPoles(),pmid);
286 if(edge.Orientation() == TopAbs_REVERSED && edgenext.Orientation() == TopAbs_FORWARD) {
287 if(p2d1.Distance(p2d1next) > Precision::PConfusion()) {
288 gp_Pnt2d pmid = 0.5*(p2d1.XY() + p2d1next.XY());
289 // gp_Pnt2d p1 = bezier->Pole(1);
290 // gp_Pnt2d p2 = beziernext->Pole(1);
291 bezier->SetPole(1,pmid);
292 beziernext->SetPole(1,pmid);
295 if(edge.Orientation() == TopAbs_REVERSED && edgenext.Orientation() == TopAbs_REVERSED) {
296 if(p2d1.Distance(p2d2next) > Precision::PConfusion()) {
297 gp_Pnt2d pmid = 0.5*(p2d1.XY() + p2d2next.XY());
298 // gp_Pnt2d p1 = bezier->Pole(1);
299 // gp_Pnt2d p2 = beziernext->Pole(beziernext->NbPoles());
300 bezier->SetPole(1,pmid);
301 beziernext->SetPole(beziernext->NbPoles(),pmid);
306 BRepTools::Update(face);
317 //=======================================================================
318 //function : GetSplitFaceTool
320 //=======================================================================
322 Handle(ShapeUpgrade_FaceDivide) ShapeUpgrade_ShapeConvertToBezier::GetSplitFaceTool() const
324 Handle(ShapeUpgrade_FaceDivide) tool = new ShapeUpgrade_FaceDivide;
325 Handle(ShapeUpgrade_WireDivide) wtool = new ShapeUpgrade_WireDivide;
327 Handle(ShapeUpgrade_ConvertCurve3dToBezier) curve3dConverter = new ShapeUpgrade_ConvertCurve3dToBezier;
328 curve3dConverter->SetLineMode(my3dLineMode);
329 curve3dConverter->SetCircleMode(my3dCircleMode);
330 curve3dConverter->SetConicMode(my3dConicMode);
331 wtool->SetSplitCurve3dTool(curve3dConverter);
334 wtool->SetSplitCurve2dTool(new ShapeUpgrade_ConvertCurve2dToBezier);
335 wtool->SetEdgeMode(myEdgeMode);
336 Handle(ShapeUpgrade_FixSmallBezierCurves) FixSmallBezierCurvesTool = new ShapeUpgrade_FixSmallBezierCurves;
337 wtool->SetFixSmallCurveTool(FixSmallBezierCurvesTool);
338 tool->SetWireDivideTool(wtool);
340 Handle(ShapeUpgrade_ConvertSurfaceToBezierBasis) stool = new ShapeUpgrade_ConvertSurfaceToBezierBasis;
341 stool->SetPlaneMode(myPlaneMode);
342 stool->SetRevolutionMode(myRevolutionMode);
343 stool->SetExtrusionMode(myExtrusionMode);
344 stool->SetBSplineMode(myBSplineMode);
345 tool->SetSplitSurfaceTool(stool);
350 Message_Msg ShapeUpgrade_ShapeConvertToBezier::GetFaceMsg() const
352 return "ShapeDivide.FaceConvertToBezier.MSG0";
354 Message_Msg ShapeUpgrade_ShapeConvertToBezier::GetWireMsg() const
356 return "ShapeDivide.WireConvertToBezier.MSG0";
358 Message_Msg ShapeUpgrade_ShapeConvertToBezier::GetEdgeMsg() const
360 return "ShapeDivide.EdgeConvertToBezier.MSG0";