projects / occt.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
0024171: Eliminate CLang compiler warning -Wreorder
[occt.git] / src / ShapeFix / ShapeFix_Wire.cxx
CommitLineData
b311480e 1// Copyright (c) 1999-2012 OPEN CASCADE SAS
2//
3// The content of this file is subject to the Open CASCADE Technology Public
4// License Version 6.5 (the "License"). You may not use the content of this file
5// except in compliance with the License. Please obtain a copy of the License
6// at http://www.opencascade.org and read it completely before using this file.
7//
8// The Initial Developer of the Original Code is Open CASCADE S.A.S., having its
9// main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France.
10//
11// The Original Code and all software distributed under the License is
12// distributed on an "AS IS" basis, without warranty of any kind, and the
13// Initial Developer hereby disclaims all such warranties, including without
14// limitation, any warranties of merchantability, fitness for a particular
15// purpose or non-infringement. Please see the License for the specific terms
16// and conditions governing the rights and limitations under the License.
17
7fd59977 18//:j6 abv 7 Dec 98: ProSTEP TR10 r0601_id.stp #57676 & #58586:
19// in FixIntersectingEdges, do not cut edges because of influence on adjacent faces
20// pdn 17.12.98: shifting whole wire in FixShifted
21//:k3 abv 24 Dec 98: BUC50070 #26682 and #30087: removing self-int loops on pcurves
22// pdn 30.12.98: PRO10366 #210: shifting pcurve between two singularities
23// pdn 05.01.98: renaming method FixLittle to FixSmall
24//:l0 abv 10.01.99: remove unused code
25//:n2 abv 22.01.99: ma-test5.igs: IGES read (pref3d): remove degen edge with no pcurve
26//:o4 abv 17.02.99: r0301_db.stp #53082: using parameter isClosed in CheckOrder
27//:p4 abv 23.02.99: PRO9234 #15720: update UV points of edges after shifting pcurves
28//#67 rln 01.03.99 S4135: ims010.igs treatment of Geom_SphericalSurface together with V-closed surfaces
29//:p7 abv 10.03.99 PRO18206: using method IsDegenerated() to detect singularity in FixLacking
30//:r0 abv 19.03.99 PRO7226.stp #489490: remove degenerated edges if several
31//#78 rln 12.03.99 S4135: checking spatial closure with Precision
32//#79 rln 15.03.99 S4135: bmarkmdl.igs: check for gap before shifting on singularities
33// pdn 17.03.99 S4135: implemented fixing not adjacent intersection
34//#86 rln 22.03.99 S4135: repeat of fix self-intersection if it was fixed just before
35//%15 pdn 06.04.99 CTS18546-2: fix of self-intersection is repeated while fixed
36//#3 smh 01.04.99 S4163: Overflow
37//#4 szv S4163: optimization
38//:r7 abv 12.04.99 S4136: FixLk: extend cases of adding degenerated edge
39//:r8 abv 12.04.99 PRO10107.stp #2241: try increasing tolerance of edge for fix IE
40//:s2 abv 21.04.99 S4136, PRO7978.igs: FixLacking extended to be able to bend pcurves
41//szv#9:S4244:19Aug99 Methods FixGaps3d and FixGaps2d were introduced
42//#15 smh 03.04.2000 PRO19800. Checking degenerated point on a surface of revolution.
43// sln 25.09.2001 checking order of 3d and 2d representation curves
44// van 19.10.2001 fix of non-adjacent self-intersection corrected to agree with BRepCheck
45// skl 07.03.2002 fix for bug OCC180
46// skl 15.05.2002 for OCC208 (if few edges have reference to
47// one pcurve we make replace pcurve)
48// PTV 26.06.2002 Remove regressions after fix OCC450
49
50#include <ShapeFix_Wire.ixx>
51
52#include <Standard_ErrorHandler.hxx>
53#include <Standard_Failure.hxx>
54#include <TColStd_Array1OfReal.hxx>
55#include <TColStd_Array1OfInteger.hxx>
56#include <Precision.hxx>
57
58#include <Geom_Curve.hxx>
59#include <Geom_TrimmedCurve.hxx>
60#include <Geom_BSplineCurve.hxx>
61#include <Geom_SphericalSurface.hxx> //S4135
62#include <Geom_SurfaceOfRevolution.hxx>
63#include <GeomAdaptor_Curve.hxx>
64#include <GeomAdaptor_HSurface.hxx>
65#include <GeomAdaptor_Surface.hxx>
66#include <GeomConvert_CompCurveToBSplineCurve.hxx>
67#include <GeomAPI.hxx>
68
69#include <Geom2d_Curve.hxx>
70#include <Geom2d_TrimmedCurve.hxx>
71#include <Geom2d_Line.hxx>
72#include <Geom2d_BSplineCurve.hxx>
73#include <Geom2dAdaptor_Curve.hxx>
74#include <Geom2dConvert.hxx>
75
76#include <Bnd_Box2d.hxx>
77#include <Bnd_Array1OfBox2d.hxx>
78#include <BndLib_Add2dCurve.hxx>
79#include <IntRes2d_SequenceOfIntersectionPoint.hxx>
80#include <IntRes2d_IntersectionPoint.hxx>
81#include <TColgp_Array1OfPnt.hxx>
82#include <TColgp_SequenceOfPnt.hxx>
83#include <gp_Pln.hxx>
84
85#include <TopoDS.hxx>
86#include <TopoDS_Vertex.hxx>
87#include <TopoDS_Edge.hxx>
88#include <TopTools_Array1OfShape.hxx>
89#include <TopTools_HSequenceOfShape.hxx>
90#include <TopExp_Explorer.hxx>
91
92#include <BRep_Tool.hxx>
93#include <BRep_Builder.hxx>
94#include <BRep_ListIteratorOfListOfCurveRepresentation.hxx>
95#include <BRep_TEdge.hxx>
96#include <BRep_GCurve.hxx>
97#include <BRepBuilderAPI_MakeEdge.hxx>
98#include <BRepBuilderAPI_MakeVertex.hxx>
99#include <BRepTools.hxx>
100
101#include <Message_Msg.hxx>
102#include <ShapeExtend.hxx>
103#include <ShapeBuild_Edge.hxx>
104#include <ShapeBuild_Vertex.hxx>
105#include <ShapeBuild_ReShape.hxx>
106#include <ShapeAnalysis_Curve.hxx>
107#include <ShapeAnalysis_Edge.hxx>
108#include <ShapeAnalysis_Surface.hxx>
109#include <ShapeAnalysis.hxx>
110#include <ShapeConstruct_ProjectCurveOnSurface.hxx>
111#include <ShapeAnalysis_TransferParametersProj.hxx>
112#include <Geom_Plane.hxx>
113#include <Geom_OffsetCurve.hxx>
b311480e 114
7fd59977 115#include <TColStd_HSequenceOfReal.hxx>
116#include <Handle_Geom2dAdaptor_HCurve.hxx>
117#include <Adaptor3d_CurveOnSurface.hxx>
118#include <Geom2dAdaptor_HCurve.hxx>
119#include <GeomAPI_ProjectPointOnCurve.hxx>
120
121#include <ShapeAnalysis_TransferParameters.hxx>
122#include <ShapeFix.hxx>
123#include <ShapeFix_IntersectionTool.hxx>
124#include <ShapeFix_SplitTool.hxx>
125
126
127//#######################################################################
128// Constructors, initializations, modes, querying
129//#######################################################################
b311480e 130
7fd59977 131//=======================================================================
132//function : ShapeFix_Wire
133//purpose :
134//=======================================================================
135
136ShapeFix_Wire::ShapeFix_Wire()
137{
138 myFixEdge = new ShapeFix_Edge;
139 myAnalyzer = new ShapeAnalysis_Wire;
140 ClearModes();
141 ClearStatuses();
142 myStatusRemovedSegment = Standard_False;
143}
144
145//=======================================================================
146//function : ShapeFix_Wire
147//purpose :
148//=======================================================================
149
150ShapeFix_Wire::ShapeFix_Wire (const TopoDS_Wire& wire,
151 const TopoDS_Face &face, const Standard_Real prec)
152{
153 myFixEdge = new ShapeFix_Edge;
154 myAnalyzer = new ShapeAnalysis_Wire;
155 ClearModes();
156 SetMaxTolerance ( prec );
157 myStatusRemovedSegment = Standard_False;
158 Init ( wire, face, prec );
159}
160
161//=======================================================================
162//function : SetPrecision
163//purpose :
164//=======================================================================
165
166void ShapeFix_Wire::SetPrecision (const Standard_Real prec)
167{
168 ShapeFix_Root::SetPrecision ( prec );
169 myAnalyzer->SetPrecision ( prec );
170}
171
172//=======================================================================
173//function : ClearModes
174//purpose :
175//=======================================================================
176
177void ShapeFix_Wire::ClearModes()
178{
179 myTopoMode = Standard_False;
180 myGeomMode = Standard_True;
181 myClosedMode = Standard_True;
182 myPreference2d = Standard_True;
183 myFixGapsByRanges = Standard_False;
184
185 myRemoveLoopMode = -1;
186
187 myFixReversed2dMode = -1;
188 myFixRemovePCurveMode = -1;
189 myFixRemoveCurve3dMode = -1;
190 myFixAddPCurveMode = -1;
191 myFixAddCurve3dMode = -1;
192 myFixSeamMode = -1;
193 myFixShiftedMode = -1;
194 myFixSameParameterMode = -1;
195 myFixVertexToleranceMode = -1;
196
197 myFixNotchedEdgesMode = -1;
198 myFixSelfIntersectingEdgeMode = -1;
199 myFixIntersectingEdgesMode = -1;
200 myFixNonAdjacentIntersectingEdgesMode = -1;
201
202 myFixReorderMode = -1;
203 myFixSmallMode = -1;
204 myFixConnectedMode = -1;
205 myFixEdgeCurvesMode = -1;
206 myFixDegeneratedMode = -1;
207 myFixSelfIntersectionMode = -1;
208 myFixLackingMode = -1;
209 myFixGaps3dMode = -1;
210 myFixGaps2dMode = -1;
211}
212
213//=======================================================================
214//function : ClearStatuses
215//purpose :
216//=======================================================================
217
218void ShapeFix_Wire::ClearStatuses()
219{
220 Standard_Integer emptyStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
221
222 myLastFixStatus = emptyStatus;
223
224 myStatusReorder = emptyStatus;
225 myStatusSmall = emptyStatus;
226 myStatusConnected = emptyStatus;
227 myStatusEdgeCurves = emptyStatus;
228 myStatusDegenerated = emptyStatus;
229 myStatusSelfIntersection = emptyStatus;
230 myStatusLacking = emptyStatus;
231 myStatusGaps3d = emptyStatus; //szv#9:S4244:19Aug99 new method introduced
232 myStatusGaps2d = emptyStatus; //szv#9:S4244:19Aug99 new method introduced
233 myStatusClosed = emptyStatus;
234}
235
236//=======================================================================
237//function : Init
238//purpose :
239//=======================================================================
240
241void ShapeFix_Wire::Init (const TopoDS_Wire& wire,
242 const TopoDS_Face &face, const Standard_Real prec)
243{
244 Load ( wire );
245 SetFace ( face );
246 SetPrecision ( prec );
247}
248
249//=======================================================================
250//function : Init
251//purpose :
252//=======================================================================
253
254void ShapeFix_Wire::Init (const Handle(ShapeAnalysis_Wire)& saw)
255{
256 ClearStatuses();
257 myAnalyzer = saw;
258 myShape.Nullify();
259// SetPrecision ( saw.Precision() );
260}
261
262//=======================================================================
263//function : Load
264//purpose :
265//=======================================================================
266
267void ShapeFix_Wire::Load (const TopoDS_Wire& wire)
268{
269 ClearStatuses();
270
271 TopoDS_Wire W = wire;
272 if ( ! Context().IsNull() ) {
273 TopoDS_Shape S = Context()->Apply ( wire );
274 W = TopoDS::Wire ( S );
275 }
276
277 myAnalyzer->Load ( W );
278 myShape = wire;
279}
280
281//=======================================================================
282//function : Load
283//purpose :
284//=======================================================================
285
286void ShapeFix_Wire::Load (const Handle(ShapeExtend_WireData)& sbwd)
287{
288 ClearStatuses();
289 myAnalyzer->Load ( sbwd );
290 if ( ! Context().IsNull() ) UpdateWire();
291 myShape.Nullify();
292}
293
294//=======================================================================
295//function : NbEdges
296//purpose :
297//=======================================================================
298
299Standard_Integer ShapeFix_Wire::NbEdges() const
300{
301 Handle(ShapeExtend_WireData) sbwd = myAnalyzer->WireData();
302 return sbwd.IsNull() ? 0 : sbwd->NbEdges();
303}
304
305//#######################################################################
306// Fixing methods of API level
307//#######################################################################
308
309//=======================================================================
310//function : Perform
311//purpose : This method performs all the available fixes.
312// If some fix is turned on or off explicitly by the flag,
313// it is called or not depending on that flag
314// Else (i.e. if flag is default) fix is called depending on the
315// situation: default is True, but some fixes are not called or
316// are limited if order of edges in the wire is not OK
317//=======================================================================
318
319Standard_Boolean ShapeFix_Wire::Perform()
320{
321 ClearStatuses();
322 if ( ! IsLoaded() ) return Standard_False;
323
324
325 Standard_Integer Fixed = Standard_False;
326
327 // FixReorder is first, because as a rule wire is required to be ordered
328 // We shall analyze the order of edges in the wire and set appropriate
329 // status even if FixReorder should not be called (if it is forbidden)
330
331 ShapeAnalysis_WireOrder sawo;
332 Standard_Boolean ReorderOK = ( myAnalyzer->CheckOrder ( sawo, myClosedMode ) ==0 );
333 if ( NeedFix ( myFixReorderMode, ! ReorderOK ) ) {
334 if(FixReorder()) Fixed = Standard_True;
335 ReorderOK = ! StatusReorder ( ShapeExtend_FAIL );
336 }
337
338 // FixSmall is allowed to change topology only if mode is set and FixReorder
339 // did not failed
340 if ( NeedFix ( myFixSmallMode, myTopoMode ) ) {
341 if ( FixSmall ( ! myTopoMode || ! ReorderOK, MinTolerance() ) ) {
342 Fixed = Standard_True;
343 // retry reorder if necessary (after FixSmall it can work better)
344 if ( NeedFix ( myFixReorderMode, ! ReorderOK ) ) {
345 FixReorder();
346 ReorderOK = ! StatusReorder ( ShapeExtend_FAIL );
347 }
348 }
349 }
350
351 if ( NeedFix ( myFixConnectedMode, ReorderOK ) ) {
352 if ( FixConnected() ) Fixed = Standard_True;
353 }
354
355 if ( NeedFix ( myFixEdgeCurvesMode ) ) {
356 Standard_Integer savFixShiftedMode = myFixShiftedMode;
357 // turn out FixShifted if reorder not done
358 if ( myFixShiftedMode == -1 && ! ReorderOK ) myFixShiftedMode = 0;
359 if ( FixEdgeCurves() ) Fixed = Standard_True;
360 myFixShiftedMode = savFixShiftedMode;
361 }
362
363 if ( NeedFix ( myFixDegeneratedMode ) ) {
364 if ( FixDegenerated() ) Fixed = Standard_True; // ?? if ! ReorderOK ??
365 }
366
367 //pdn - temporary to test
368 if ( NeedFix ( myFixNotchedEdgesMode, ReorderOK ) ) {
369 Fixed |= FixNotchedEdges();
370 if(Fixed) FixShifted(); //skl 07.03.2002 for OCC180
371 }
372
373 if ( NeedFix ( myFixSelfIntersectionMode, myClosedMode ) ) {
374 Standard_Integer savFixIntersectingEdgesMode = myFixIntersectingEdgesMode;
375 // switch off FixIntEdges if reorder not done
376 if ( myFixIntersectingEdgesMode == -1 && ! ReorderOK )
377 myFixIntersectingEdgesMode = 0;
378 if ( FixSelfIntersection() ) Fixed = Standard_True;
379 FixReorder();
380 myFixIntersectingEdgesMode = savFixIntersectingEdgesMode;
381 }
382
383 if ( NeedFix ( myFixLackingMode, ReorderOK ) ) {
384 if ( FixLacking() ) Fixed = Standard_True;
385 }
386
387 // TEMPORARILY without special mode !!!
388 Handle(ShapeExtend_WireData) sbwd = WireData();
389 for (Standard_Integer iedge = 1; iedge <= sbwd->NbEdges(); iedge++)
390 if ( myFixEdge->FixVertexTolerance (sbwd->Edge (iedge)) )
391 Fixed = Standard_True;
392
393 return Fixed;
394}
395
396//=======================================================================
397//function : FixReorder
398//purpose :
399//=======================================================================
400
401Standard_Boolean ShapeFix_Wire::FixReorder()
402{
403 myStatusReorder = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
404 if ( ! IsLoaded() ) return Standard_False;
405
406 // fix in 3d
407 ShapeAnalysis_WireOrder sawo;
408 myAnalyzer->CheckOrder ( sawo, myClosedMode, Standard_True );
409
410 //:abv revolCuts.sat -23: in case of bi-periodic surface check case
411 // of reversed wire specifically. This is necessary because degenerated
412 // cases are possible when direct evaluation will give bad result.
413 Standard_Boolean isReorder = Standard_False;
414 if ( sawo.Status() != 0 &&
415 ! myAnalyzer->Surface().IsNull() &&
416 myAnalyzer->Surface()->Surface()->IsUPeriodic() &&
417 myAnalyzer->Surface()->Surface()->IsVPeriodic() ) {
418 Handle(ShapeExtend_WireData) sbwd2 = new ShapeExtend_WireData;
419 for ( Standard_Integer i=WireData()->NbEdges(); i >=1; i-- )
420 sbwd2->Add ( WireData()->Edge(i) );
421 ShapeAnalysis_WireOrder sawo2;
422 ShapeAnalysis_Wire analyzer2 ( sbwd2, myAnalyzer->Face(), Precision() );
423 analyzer2.CheckOrder ( sawo2, myClosedMode, Standard_True );
424 if ( ( sawo2.Status() >=0 && sawo2.Status() < sawo.Status() ) ||
425 ( sawo.Status() <0 && sawo2.Status() > sawo.Status() ) ) {
426 WireData()->Init ( sbwd2 );
427 sawo = sawo2;
428 isReorder = Standard_True;
429 }
430 }
431
432 FixReorder ( sawo );
433
434 if ( LastFixStatus ( ShapeExtend_FAIL ) )
435 myStatusReorder |= ShapeExtend::EncodeStatus ( LastFixStatus ( ShapeExtend_FAIL1 ) ?
436 ShapeExtend_FAIL1 : ShapeExtend_FAIL2 );
437 if ( ! LastFixStatus ( ShapeExtend_DONE )&& !isReorder ) return Standard_False;
438
439 myStatusReorder |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
440 if ( sawo.Status() ==2 || sawo.Status() ==-2 )
441 myStatusReorder |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
442 if ( sawo.Status() <0 )
443 myStatusReorder |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
673693f1 444 if ( sawo.Status() == 3)
445 myStatusReorder |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );//only shifted
7fd59977 446 return Standard_True;
447}
448
449//=======================================================================
450//function : FixSmall
451//purpose :
452//=======================================================================
453
454Standard_Integer ShapeFix_Wire::FixSmall (const Standard_Boolean lockvtx,
455 const Standard_Real precsmall)
456{
457 myStatusSmall = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
458 if ( ! IsLoaded() ) return Standard_False;
459
460 for ( Standard_Integer i = NbEdges(); i >0; i-- ) {
461 FixSmall ( i, lockvtx, precsmall );
462 myStatusSmall |= myLastFixStatus;
463 }
999d2599 464
7fd59977 465 return StatusSmall ( ShapeExtend_DONE );
466
467}
468
469//=======================================================================
470//function : FixConnected
471//purpose :
472//=======================================================================
473
474Standard_Boolean ShapeFix_Wire::FixConnected (const Standard_Real prec)
475{
476 myStatusConnected = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
477 if ( ! IsLoaded() ) return Standard_False;
478
479 Standard_Integer stop = ( myClosedMode ? 0 : 1 );
480 for ( Standard_Integer i = NbEdges(); i > stop; i-- ) {
481 FixConnected ( i, prec );
482 myStatusConnected |= myLastFixStatus;
483 }
484
485 return StatusConnected ( ShapeExtend_DONE );
486}
487
488//=======================================================================
489//function : FixEdgeCurves
490//purpose :
491//=======================================================================
492
493Standard_Boolean ShapeFix_Wire::FixEdgeCurves()
494{
495 myStatusEdgeCurves = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
496 if ( ! IsLoaded() ) return Standard_False;
497 Standard_Boolean isReady = IsReady();
498
499 Handle(ShapeExtend_WireData) sbwd = WireData();
500 Standard_Integer i, nb = sbwd->NbEdges();
501 TopoDS_Face face = Face();
502 Handle(ShapeFix_Edge) theAdvFixEdge = Handle(ShapeFix_Edge)::DownCast(myFixEdge);
503 if (theAdvFixEdge.IsNull()) myFixReversed2dMode = Standard_False;
504
505 // fix revesred 2d / 3d curves
506 if ( isReady && NeedFix ( myFixReversed2dMode ) ) {
507 for ( i=1; i <= nb; i++ ) {
508 theAdvFixEdge->FixReversed2d ( sbwd->Edge(i), face );
509 if ( theAdvFixEdge->Status ( ShapeExtend_DONE ) )
510 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
511 if ( theAdvFixEdge->Status ( ShapeExtend_FAIL ) )
512 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
513 }
514 }
515
516 // add / remove pcurve
517 if ( isReady && NeedFix ( myFixRemovePCurveMode, Standard_False ) ) {
518 for ( i=1; i <= nb; i++ ) {
519 myFixEdge->FixRemovePCurve ( sbwd->Edge(i), face );
520 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
521 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
522 if ( myFixEdge->Status ( ShapeExtend_FAIL ) )
523 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
524 }
525 }
526
527 if ( isReady && NeedFix ( myFixAddPCurveMode ) ) {
528 Standard_Integer overdegen = 0; //:c0
529 for ( i=1; i <= nb; i++ ) {
530 myFixEdge->FixAddPCurve ( sbwd->Edge(i), face, sbwd->IsSeam(i),
531 myAnalyzer->Surface(), Precision() );
532 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
533 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
534 if ( myFixEdge->Status ( ShapeExtend_FAIL ) )
535 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
536
537 //if ( !sbwd->IsSeam(i) && myFixEdge->Status ( ShapeExtend_DONE2 )
538 // && BRep_Tool::SameParameter(sbwd->Edge(i)) ) {
539 if ( !sbwd->IsSeam(i) && myFixEdge->Status ( ShapeExtend_DONE2 ) ) {
540 // abv 24 Feb 00: trj3_s1-ac-214.stp #1631 etc.: try to split the edge in singularity
541 if ( ! Context().IsNull() ) {
542 ShapeBuild_Edge sbe;
543 TopoDS_Edge E = sbwd->Edge ( i );
544 ShapeAnalysis_Curve SAC;
545 Standard_Real a, b;
546 Handle(Geom_Curve) C = BRep_Tool::Curve ( E, a, b );
547 Handle(ShapeAnalysis_Surface) S = myAnalyzer->Surface();
548 Standard_Integer nbs = S->NbSingularities(MinTolerance());
549 GeomAdaptor_Curve GAC ( C, a, b );
550 TColStd_SequenceOfReal seq;
551 for (Standard_Integer j=1; j <= nbs; j++) {
552 Standard_Real Preci;
553 gp_Pnt2d pd1, pd2;
554 gp_Pnt P3d, pr;
555 Standard_Real par1, par2, split;
556 Standard_Boolean tmpUIsoDeg;
557 S->Singularity (j, Preci, P3d, pd1, pd2, par1, par2, tmpUIsoDeg);
558 if ( SAC.Project ( GAC, P3d, MinTolerance(), pr, split, Standard_True ) < Max(Preci,MinTolerance()) ) {
559 if ( split - a > ::Precision::PConfusion() &&
560 b - split > ::Precision::PConfusion() ) {
561 Standard_Integer k;
562 for ( k=1; k <= seq.Length(); k++ ) {
563 if ( split < seq(k)-::Precision::PConfusion() ) {
564 seq.InsertBefore ( k, split );
565 break;
566 }
567 else if ( split < seq(k)+::Precision::PConfusion() ) break;
568 }
569 if ( k > seq.Length() ) seq.Append ( split );
570 }
571 }
572 }
573 if ( seq.Length() >0 ) { // supposed that edge is SP
574#ifdef DEB
575 cout << "Edge going over singularity detected; splitted" << endl;
576#endif
577 Standard_Boolean isFwd = ( E.Orientation() == TopAbs_FORWARD );
578 E.Orientation ( TopAbs_FORWARD );
579
580 //if( BRep_Tool::SameParameter(sbwd->Edge(i)) )
581 // sbe.RemovePCurve ( E, face );
582
583 //10.04.2003 skl for using trimmed lines as pcurves
584 ShapeAnalysis_Edge sae;
585 if( BRep_Tool::SameParameter(sbwd->Edge(i)) )
586 sbe.RemovePCurve ( E, face );
587 else {
588 if(sae.HasPCurve(E,face)) {
589 Handle(Geom2d_Curve) C2d;
590 Standard_Real fp2d,lp2d;
591 if(sae.PCurve(E,face,C2d,fp2d,lp2d)) {
592 if( !C2d->IsKind(STANDARD_TYPE(Geom2d_TrimmedCurve)) )
593 sbe.RemovePCurve(E,face);
594 }
595 }
596 }
597
598// myFixEdge->FixSameParameter ( E ); // to ensure SameRange & SP
599 BRep_Builder B;
600 TopoDS_Vertex V1, V2, V;
601 //ShapeAnalysis_Edge sae;
602 V1 = sae.FirstVertex ( E );
603 V2 = sae.LastVertex ( E );
604 Handle(ShapeExtend_WireData) sw = new ShapeExtend_WireData;
605 for ( Standard_Integer k=0; k <= seq.Length(); k++ ) {
606 Standard_Real split = ( k < seq.Length() ? seq(k+1) : b );
607 if ( k < seq.Length() )
608 B.MakeVertex ( V, C->Value(split), BRep_Tool::Tolerance(E) );
609 else V = V2;
610 TopoDS_Edge edge = sbe.CopyReplaceVertices ( E, V1, V );
611 if( BRep_Tool::SameParameter(sbwd->Edge(i)) ) {
612 //TopoDS_Edge edge = sbe.CopyReplaceVertices ( E, V1, V );
613 B.Range ( edge, a, split );
614 sw->Add ( edge );
615 }
616 else {
617 //TopoDS_Edge edge = sbe.CopyReplaceVertices(sbwd->Edge(i),V1,V);
618 Handle(ShapeAnalysis_TransferParameters) sftp =
619 new ShapeAnalysis_TransferParameters(E,face);
620 sftp->TransferRange(edge, a, split, Standard_False);
621 sw->Add(edge);
622 }
623 //sw->Add(edge);
624 a = split;
625 V1 = V;
626 }
627 if ( ! isFwd ) {
628 sw->Reverse();
629 E.Orientation ( TopAbs_REVERSED );
630 }
631 Context()->Replace ( E, sw->Wire() );
632 UpdateWire();
633 nb = sbwd->NbEdges();
634 i--;
635 continue;
636 }
637 }
638
639 overdegen = i;
640 }
641 }
642
643 //:c0 abv 20 Feb 98: treat case of curve going over degenerated pole and seam
644 if ( overdegen && myAnalyzer->Surface()->IsUClosed(Precision()) ) {
645 ShapeBuild_Edge sbe;
646 Standard_Real URange, SUF, SUL, SVF, SVL;
647 myAnalyzer->Surface()->Bounds(SUF, SUL, SVF, SVL);
648 URange = (Abs(SUL - SUF));
649 gp_XY vec(0,0);
650 ShapeAnalysis_Edge sae;
651 Standard_Integer k;
652 for ( k = 1; k <= nb; k++) {
653 Standard_Real cf, cl;
654 Handle(Geom2d_Curve) c2d;
655 if ( ! sae.PCurve ( sbwd->Edge(k), face, c2d, cf, cl, Standard_True ) ) break;
656 vec += c2d->Value(cl).XY() - c2d->Value(cf).XY();
657 }
658 if ( k > nb && Abs ( Abs ( vec.X() ) - URange ) < 0.1 * URange ) {
659 sbe.RemovePCurve (sbwd->Edge ( overdegen ), face);
660 myFixEdge->Projector()->AdjustOverDegenMode() = Standard_False;
661 myFixEdge->FixAddPCurve ( sbwd->Edge(overdegen), face, sbwd->IsSeam(overdegen), myAnalyzer->Surface(), Precision());
662 }
663#ifdef DEB
664 cout << "Edge going over singularity detected; pcurve adjusted" << endl;
665#endif
666 }
667 }
668
669 // add / remove pcurve
670 if ( isReady && NeedFix ( myFixRemoveCurve3dMode, Standard_False ) ) {
671 for ( i=1; i <= nb; i++ ) {
672 myFixEdge->FixRemoveCurve3d ( sbwd->Edge(i) );
673 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
674 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE4 );
675 if ( myFixEdge->Status ( ShapeExtend_FAIL ) )
676 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL4 );
677 }
678 }
679 if ( NeedFix ( myFixAddCurve3dMode ) ) {
680 for ( i=1; i <= nb; i++ ) {
681 myFixEdge->FixAddCurve3d ( sbwd->Edge(i) );
682 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
683 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );
684 if ( myFixEdge->Status ( ShapeExtend_FAIL ) ) {
685 //:abv 29.08.01: Spatial_firex_lofting.sat: if 3d curve cannot
686 // be built because edge has no pcurves either, remove that edge
687 Handle(Geom2d_Curve) C;
688 Handle(Geom_Surface) S;
689 TopLoc_Location L;
dfc06d1f 690 Standard_Real first = 0., last = 0.;
7fd59977 691 BRep_Tool::CurveOnSurface ( sbwd->Edge(i), C, S, L, first, last );
dfc06d1f 692 if ( C.IsNull() || Abs (last - first) < Precision::PConfusion())
999d2599
D		 693 {
694 SendWarning ( sbwd->Edge ( i ), Message_Msg ( "FixWire.FixCurve3d.Removed" ) );// Incomplete edge (with no pcurves or 3d curve) removed
7fd59977 695 sbwd->Remove ( i-- );
696 nb--;
697 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );
dfc06d1f 698 FixConnected (i + 1, Precision());
7fd59977 699 }
700 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL5 );
701 }
702 }
703 }
704
705 // fix seam
706 if ( isReady && NeedFix ( myFixSeamMode, Standard_False ) ) {
707 for ( i=1; i <= nb; i++ ) {
708 FixSeam ( i );
709 if ( LastFixStatus ( ShapeExtend_DONE ) )
710 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE6 );
711 if ( LastFixStatus ( ShapeExtend_FAIL ) )
712 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL6 );
713 }
714 }
715
716 // fix shifted
717 if ( isReady && NeedFix ( myFixShiftedMode ) ) {
718 FixShifted();
719 if ( LastFixStatus ( ShapeExtend_DONE ) )
720 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE7 );
721 if ( LastFixStatus ( ShapeExtend_FAIL ) )
722 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL7 );
723 }
724
725 // fix same parameter
726 if ( isReady && NeedFix ( myFixSameParameterMode ) ) {
727 for ( i=1; i <= nb; i++ ) {
728 // skl 28.10.2004 for OCC6366 - check SameRange
729 ShapeAnalysis_Edge sae;
730 Standard_Real First, Last;
731 Handle(Geom_Curve) tmpc3d = BRep_Tool::Curve(sbwd->Edge(i), First, Last);
732 if(sae.HasPCurve(sbwd->Edge(i),face)) {
733 Handle(Geom2d_Curve) C2d;
734 Standard_Real fp2d,lp2d;
735 if(sae.PCurve(sbwd->Edge(i),face,C2d,fp2d,lp2d)) {
736 if( fabs(First-fp2d)>Precision::PConfusion() ||
737 fabs(Last-fp2d)>Precision::PConfusion() ) {
738 BRep_Builder B;
739 B.SameRange(sbwd->Edge(i),Standard_False);
740 }
741 }
742 }
743 myFixEdge->FixSameParameter ( sbwd->Edge(i) );
744 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
745 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE8 );
746 if ( myFixEdge->Status ( ShapeExtend_FAIL ) )
747 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL8 );
748 }
749 }
750
751 //:abv 10.06.02: porting C40 -> dev (CC670-12608.stp): moved from Perform()
752 // Update with face is needed for plane surfaces (w/o stored pcurves)
753 if ( NeedFix ( myFixVertexToleranceMode ) ) {
754 for ( i=1; i <= nb; i++) {
755 myFixEdge->FixVertexTolerance (sbwd->Edge (i), face);
756 if ( myFixEdge->Status ( ShapeExtend_DONE ) )
757 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE8 );
758 if ( myFixEdge->Status ( ShapeExtend_FAIL ) )
759 myStatusEdgeCurves |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL8 );
760 }
761 }
762
763 return StatusEdgeCurves ( ShapeExtend_DONE );
764}
765
766//=======================================================================
767//function : FixDegenerated
768//purpose :
769//=======================================================================
770
771Standard_Boolean ShapeFix_Wire::FixDegenerated()
772{
773 myStatusDegenerated = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
774 if ( ! IsReady() ) return Standard_False;
775
776// if ( ! myAnalyzer->Surface()->HasSingularities ( Precision() ) ) return;
777
778 Standard_Integer lastcoded = -1, prevcoded = 0;
779 Standard_Integer stop = ( myClosedMode ? 0 : 1 );
780 for ( Standard_Integer i = NbEdges(); i > stop; i-- ) {
781 FixDegenerated ( i );
782 myStatusDegenerated |= myLastFixStatus;
783 //:r0 abv 19 Mar 99: PRO7226.stp #489490: remove duplicated degenerated edges
784 Standard_Integer coded = ( LastFixStatus ( ShapeExtend_DONE2 ) ? 1 : 0 );
785 if ( lastcoded ==-1 ) lastcoded = coded;
786 if ( coded && ( prevcoded || ( i ==1 && lastcoded ) ) && NbEdges() >1 ) {
787 Handle(ShapeExtend_WireData) sbwd = WireData();
788 BRep_Builder B;
789 sbwd->Remove ( i );
790 if ( ! prevcoded ) i = NbEdges();
791 B.Degenerated ( sbwd->Edge ( i++ ), Standard_False );
792 prevcoded = 0;
793 }
794 else prevcoded = coded;
795 }
7fd59977 796
797 return StatusDegenerated ( ShapeExtend_DONE );
798}
799
800
801//=======================================================================
802//function : FixSelfIntersection
803//purpose : Applies FixSelfIntersectingEdge and FixIntersectingEdges
804// and removes wrong edges
805//=======================================================================
806
807Standard_Boolean ShapeFix_Wire::FixSelfIntersection()
808{
809 myStatusSelfIntersection = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
810 if ( ! IsReady() ) return Standard_False;
811
812 Handle(ShapeExtend_WireData) sbwd = WireData();
813 Standard_Integer nb = sbwd->NbEdges();
814
815 if ( NeedFix ( myFixSelfIntersectingEdgeMode ) ) {
816 if (myRemoveLoopMode<1)
817 for ( Standard_Integer num=1; num <=nb; num++ )
818 {
819 FixSelfIntersectingEdge ( num );
820 myStatusSelfIntersection |= myLastFixStatus;
821 }
822 else if (myRemoveLoopMode==1)
823 {
824 for ( Standard_Integer num=1; num <=nb; num++ )
825 {
826 FixSelfIntersectingEdge ( num );
827 myStatusSelfIntersection |= myLastFixStatus;
828 if(nb<sbwd->NbEdges()) num--;
829 nb = sbwd->NbEdges();
830 }
831 FixClosed(Precision());
832 }
833 }
834
835 if ( NeedFix ( myFixIntersectingEdgesMode ) ) {
836 Standard_Integer num = ( myClosedMode ? 1 : 2 );
837 for ( ; nb >1 && num <= nb; num++ ) {
838 FixIntersectingEdges ( num );
839 if ( LastFixStatus ( ShapeExtend_FAIL1 ) )
840 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
841 if ( LastFixStatus ( ShapeExtend_FAIL2 ) )
842 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
843 if ( ! LastFixStatus ( ShapeExtend_DONE ) ) continue;
844
845 if ( LastFixStatus ( ShapeExtend_DONE1 ) )
846 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
847 if ( LastFixStatus ( ShapeExtend_DONE2 ) )
848 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
849 if(LastFixStatus (ShapeExtend_DONE6))
850 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE6 );
851
852 if ( ! myTopoMode || nb < 3 ) {
853 //#86 rln 22.03.99 sim2.igs, entity 4292: After fixing of self-intersecting
854 //BRepCheck finds one more self-intersection not found by ShapeAnalysis
855 //%15 pdn 06.04.99 repeat until fixed CTS18546-2 entity 777
856 //FixIntersectingEdges ( num );
857 if ( LastFixStatus ( ShapeExtend_DONE7 ) ) num--;
858 continue;
859 }
860
861 if ( LastFixStatus ( ShapeExtend_DONE4 ) ) sbwd->Remove ( num );
862 if ( LastFixStatus ( ShapeExtend_DONE3 ) ) sbwd->Remove ( num >1 ? num-1 : nb+num-1 );
863 if ( LastFixStatus ( ShapeExtend_DONE4 ) ||
864 LastFixStatus ( ShapeExtend_DONE3 ) ) {
865 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
866 num = ( myClosedMode ? 1 : 2 );
867 nb = sbwd->NbEdges();
868#ifdef DEB
869 cout << "Warning: ShapeFix_Wire::FixSelfIntersection: Edge removed" << endl;
870#endif
871 }
872 else {
873 //#86 rln 22.03.99
874 //%15 pdn 06.04.99 repeat until fixed CTS18546-2 entity 777
875 //FixIntersectingEdges ( num );
876 if ( LastFixStatus ( ShapeExtend_DONE7 ) ) num--;
877 }
878 }
879 }
880
881 //pdn 17.03.99 S4135 to avoid regression fixing not adjacent intersection
882 if ( NeedFix ( myFixNonAdjacentIntersectingEdgesMode ) ) {
883
884 ShapeFix_IntersectionTool ITool(Context(),Precision());
885 Standard_Integer NbSplit=0, NbCut=0,NbRemoved=0;
886 if(ITool.FixSelfIntersectWire(sbwd,myAnalyzer->Face(),NbSplit,NbCut,NbRemoved)) {
887 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );//gka 06.09.04
888 }
889 if( NbSplit>0 || NbRemoved>0 ) {
890 if(NbRemoved>0) myStatusRemovedSegment = Standard_True;
891 //Load(sbwd); commented by skl 29.12.2004 for OCC7624, instead this
892 // string inserted following three strings:
893 myAnalyzer->Load ( sbwd );
894 if ( ! Context().IsNull() ) UpdateWire();
895 myShape.Nullify();
896 }
897#ifdef DEB
898 if (StatusSelfIntersection (ShapeExtend_DONE5))
899 cout<<"Warning: ShapeFix_Wire::FixIntersection: Non-adjacent intersection fixed (split-"
900 <<NbSplit<<", cut-"<<NbCut<<", removed-"<<NbRemoved<<")"<<endl;
901#endif
902
903/*
904 Bnd_Array1OfBox2d boxes(1,nb);
905 TopLoc_Location L;
906 const Handle(Geom_Surface)& S = BRep_Tool::Surface(Face(), L);
907 Handle(Geom2d_Curve) c2d;
908 Standard_Real cf,cl;
909 ShapeAnalysis_Edge sae;
910 for(Standard_Integer i = 1; i <= nb; i++){
911 TopoDS_Edge E = sbwd->Edge (i);
912 if(sae.PCurve (E,S,L,c2d,cf,cl,Standard_False)) {
913 Bnd_Box2d box;
914 Geom2dAdaptor_Curve gac;
915 Standard_Real aFirst = c2d->FirstParameter();
916 Standard_Real aLast = c2d->LastParameter();
917 if(c2d->IsKind(STANDARD_TYPE(Geom2d_BSplineCurve))
918 && (cf < aFirst || cl > aLast)) {
919 //pdn avoiding problems with segment in Bnd_Box
920 gac.Load(c2d);
921 }
922 else
923 gac.Load(c2d,cf,cl);
924 BndLib_Add2dCurve::Add(gac,::Precision::Confusion(),box);
925 boxes(i) = box;
926 }
927 }
928
929 Standard_Boolean isFail = Standard_False, isDone = Standard_False;
930 for(Standard_Integer num1 = 1; num1 < nb-1; num1++) {
931 Standard_Integer fin = (num1 == 1 ? nb-1 : nb);
932 for(Standard_Integer num2 = num1+2; num2 <= fin; num2++)
933 if(!boxes(num1).IsOut(boxes(num2))){
934 FixIntersectingEdges (num1, num2);
935 isFail |= LastFixStatus ( ShapeExtend_FAIL1 );
936 isDone |= LastFixStatus ( ShapeExtend_DONE1 );
937 }
938 }
939
940 if(isFail)
941 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
942 if(isDone)
943 myStatusSelfIntersection |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );
944#ifdef DEB
945 if (StatusSelfIntersection (ShapeExtend_DONE5))
946 cout << "Warning: ShapeFix_Wire::FixSelfIntersection: Non ajacent intersection fixed" << endl;
947#endif
948*/
949 }
950
7fd59977 951 return StatusSelfIntersection ( ShapeExtend_DONE );
952}
953
954
955//=======================================================================
956//function : FixLacking
957//purpose :
958//=======================================================================
959
960Standard_Boolean ShapeFix_Wire::FixLacking ( const Standard_Boolean force )
961{
962 myStatusLacking = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
963 if ( ! IsReady() ) return Standard_False;
964
965 Standard_Integer start = ( myClosedMode ? 1 : 2 );
966 for ( Standard_Integer i = start; i <= NbEdges(); i++ ) {
967 FixLacking ( i, force );
968 myStatusLacking |= myLastFixStatus;
969 }
970
971 return StatusLacking ( ShapeExtend_DONE );
972}
973
974
975//=======================================================================
976//function : FixClosed
977//purpose :
978//=======================================================================
979
980Standard_Boolean ShapeFix_Wire::FixClosed (const Standard_Real prec)
981{
982 myStatusClosed = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
983 if ( ! IsLoaded() || NbEdges() <1 ) return Standard_False;
984
985 FixConnected ( 1, prec );
986 if ( LastFixStatus ( ShapeExtend_DONE ) )
987 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
988 if ( LastFixStatus ( ShapeExtend_FAIL ) )
989 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
990
991 FixDegenerated ( 1 );
992 if ( LastFixStatus ( ShapeExtend_DONE ) )
993 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
994 if ( LastFixStatus ( ShapeExtend_FAIL ) )
995 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
996
997 FixLacking ( 1 );
998 if ( LastFixStatus ( ShapeExtend_DONE ) )
999 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
1000 if ( LastFixStatus ( ShapeExtend_FAIL ) )
1001 myStatusClosed |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
1002
1003 return StatusClosed ( ShapeExtend_DONE );
1004}
1005
1006
1007//#######################################################################
1008// Fixing methods of advanced level
1009//#######################################################################
1010
1011//=======================================================================
1012//function : FixReorder
1013//purpose :
1014//=======================================================================
1015
1016Standard_Boolean ShapeFix_Wire::FixReorder (const ShapeAnalysis_WireOrder& wi)
1017{
1018 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1019 if ( ! IsLoaded() ) return Standard_False;
1020
1021 Standard_Integer status = wi.Status();
1022 if ( status ==0 ) return Standard_False;
1023 if ( status <=-10 ) {
1024 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1025 return Standard_False;
1026 }
1027
1028 Handle(ShapeExtend_WireData) sbwd = WireData();
1029 Standard_Integer i, nb = sbwd->NbEdges();
1030 if ( nb != wi.NbEdges() ) {
1031 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
1032 return Standard_False;
1033 }
1034 // D abord on protege
1035 for (i = 1; i <= nb; i ++) {
1036 if ( wi.Ordered(i) == 0 ) {
1037 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
1038 return Standard_False;
1039 }
1040 }
1041
1042 Handle(TopTools_HSequenceOfShape) newedges = new TopTools_HSequenceOfShape();
1043 for ( i=1; i <= nb; i++ )
1044 newedges->Append ( sbwd->Edge ( wi.Ordered(i) ) );
1045 for ( i=1; i <= nb; i++ )
1046 sbwd->Set ( TopoDS::Edge ( newedges->Value(i) ), i );
1047
1048 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1049 return Standard_True;
1050}
1051
1052
1053//=======================================================================
1054//function : FixSmall
1055//purpose :
1056//=======================================================================
1057
1058Standard_Boolean ShapeFix_Wire::FixSmall (const Standard_Integer num,
1059 const Standard_Boolean lockvtx,
1060 const Standard_Real precsmall)
1061{
1062 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1063 if ( ! IsLoaded() || NbEdges() <=1 ) return Standard_False;
1064
1065 // analysis:
1066 Handle(ShapeAnalysis_Wire) theAdvAnalyzer = Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer);
1067 if (theAdvAnalyzer.IsNull()) return Standard_False;
1068 Standard_Integer n = ( num >0 ? num : NbEdges() );
1069 theAdvAnalyzer->CheckSmall ( n, precsmall );
1070 if ( theAdvAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
1071 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1072//:n2 return Standard_False;
1073 }
1074
1075 if ( ! theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
1076
1077 // OUI cette edge est NULLE
1078
1079 if ( theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE2 ) ) {
1080 // edge is small, but vertices are not the same..
1081 if ( lockvtx || ! myTopoMode ) {
1082 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
1083 return Standard_False;
1084 }
1085 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
1086 }
1087 else myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1088
1089 // action: remove edge
999d2599
D		 1090 if ( ! Context().IsNull() )
1091 Context()->Remove(WireData()->Edge(n));
1092 SendWarning ( WireData()->Edge ( n ), Message_Msg ( "FixAdvWire.FixSmall.MSG0" ) ); //Small edge(s) removed
7fd59977 1093 WireData()->Remove ( n );
1094
1095 // call FixConnected in the case if vertices of the small edge were not the same
1096 if ( LastFixStatus ( ShapeExtend_DONE2 ) ) {
1097 Standard_Integer savLastFixStatus = myLastFixStatus;
1098 //#43 rln 20.11.98 S4054 CTS18544 entity 21734 removing last edge
1099 FixConnected ( n <= NbEdges() ? n : 1, precsmall );
1100 if ( LastFixStatus ( ShapeExtend_FAIL ) )
1101 savLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
1102 myLastFixStatus = savLastFixStatus;
1103 }
999d2599 1104
7fd59977 1105 return Standard_True;
1106}
1107
1108
1109//=======================================================================
1110//function : FixConnected
1111//purpose :
1112//=======================================================================
1113
1114Standard_Boolean ShapeFix_Wire::FixConnected (const Standard_Integer num,
1115 const Standard_Real prec)
1116{
1117 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1118 if ( ! IsLoaded() || NbEdges() <=0 ) return Standard_False;
1119
1120 // analysis
1121
1122 myAnalyzer->CheckConnected ( num, prec < 0 ? MaxTolerance() : prec );
1123 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
1124 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1125 }
1126 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
1127
1128 // action: replacing vertex
1129
1130 Handle(ShapeExtend_WireData) sbwd = WireData();
1131 Standard_Integer n2 = ( num >0 ? num : sbwd->NbEdges() );
1132 Standard_Integer n1 = ( n2 >1 ? n2-1 : sbwd->NbEdges() );
1133 TopoDS_Edge E1 = sbwd->Edge(n1);
1134 TopoDS_Edge E2 = sbwd->Edge(n2);
1135
1136 ShapeAnalysis_Edge sae;
1137 TopoDS_Vertex V1 = sae.LastVertex (E1);
1138 TopoDS_Vertex V2 = sae.FirstVertex (E2);
1139 TopoDS_Vertex V;
1140
1141 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_DONE1 ) ) { // absolutely confused
1142 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1143 //#40 rln 18.11.98 S4054 BUC60035 entity 2393 (2-nd sub-curve is edge with the same vertex)
1144 if ( V2.IsSame ( sae.LastVertex (E2) ) ) {
1145 V = V2;
1146 if ( ! Context().IsNull() )
1147 Context()->Replace ( V1, V.Oriented(V1.Orientation()) );
1148 }
1149 else {
1150 V = V1;
1151 if ( ! Context().IsNull() )
1152 Context()->Replace ( V2, V.Oriented(V2.Orientation()) );
1153 }
1154 }
1155 else { // on moyenne ...
1156 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_DONE2 ) )
1157 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
1158 else myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
1159 ShapeBuild_Vertex sbv;
1160 V = sbv.CombineVertex ( V1, V2, 1.0001 );
1161 if ( ! Context().IsNull() ) {
1162 Context()->Replace ( V1, V.Oriented(V1.Orientation()) );
1163 Context()->Replace ( V2, V.Oriented(V2.Orientation()) );
1164 }
1165 }
1166
1167 // replace vertices to a new one
1168 ShapeBuild_Edge sbe;
1169 if ( sbwd->NbEdges() <2 ) {
1170 if(E2.Free() && myTopoMode) {
1171 BRep_Builder B;
1172 B.Remove(E2,sae.FirstVertex(E2));
1173 B.Remove(E2,sae.LastVertex(E2));
1174 B.Add(E2,V.Oriented(TopAbs_FORWARD));
1175 B.Add(E2,V.Oriented(TopAbs_REVERSED));
1176 }
1177 else {
1178 TopoDS_Edge tmpE = sbe.CopyReplaceVertices ( E2, V, V );
1179 sbwd->Set ( tmpE, n2 );
1180 if ( ! Context().IsNull() ) Context()->Replace(E2,tmpE);
1181 }
1182 }
1183 else {
1184 if(E2.Free() &&E1.Free() && myTopoMode) {
1185 BRep_Builder B;
1186 B.Remove(E2,sae.FirstVertex(E2));
1187 B.Add(E2,V.Oriented(TopAbs_FORWARD));
1188 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE1 ) ||
1189 sae.FirstVertex (E2).IsSame (sae.LastVertex (E2)) ) {
1190 B.Remove(E1,sae.LastVertex(E1));
1191 B.Add(E1,V.Oriented(TopAbs_REVERSED));
1192 }
1193 }
1194 else {
1195 TopoDS_Edge tmpE2 = sbe.CopyReplaceVertices ( E2, V, TopoDS_Vertex() );
1196 sbwd->Set ( tmpE2, n2 );
1197 if ( ! Context().IsNull() ) Context()->Replace(E2,tmpE2);
1198 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE1 ) ||
1199 sae.FirstVertex (E2).IsSame (sae.LastVertex (E2)) ) {
1200 TopoDS_Edge tmpE1 = sbe.CopyReplaceVertices ( E1, TopoDS_Vertex(), V );
1201 sbwd->Set (tmpE1, n1 );
1202 if ( ! Context().IsNull() ) Context()->Replace(E1,tmpE1);
1203 }
1204 }
1205 }
1206 if ( ! Context().IsNull() ) UpdateWire();
1207
1208 return Standard_True;
1209}
1210
1211
1212//=======================================================================
1213//function : FixSeam
1214//purpose :
1215//=======================================================================
1216
1217Standard_Boolean ShapeFix_Wire::FixSeam (const Standard_Integer num)
1218{
1219 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1220 if ( ! IsReady() ) return Standard_False;
1221
1222 Handle(Geom2d_Curve) C1, C2;
1223 Standard_Real cf, cl;
1224 if ( ! myAnalyzer->CheckSeam (num, C1, C2, cf, cl) ) return Standard_False;
1225
1226 BRep_Builder B;
1227 TopoDS_Edge E = WireData()->Edge ( num >0 ? num : NbEdges() );
1228 B.UpdateEdge (E, C2,C1, Face(), 0.); //:S4136: BRep_Tool::Tolerance(E)
1229 B.Range (E, Face(),cf,cl);
1230 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1231
1232 return Standard_True;
1233}
1234
1235//=======================================================================
1236//function : FixShifted
1237//purpose : fix parametric curves which may be shifted
1238// to whole parametric range of closed surface as result of recomputing
1239// from 3d representation.
1240// This can be a curve on a seam or near it.
1241// This function is to be called before FixDegenerated.
1242// LIMITATION: this function cannot fix cases when, e.g., closed wire is
1243// composed of two meridians of the sphere and one of them is seam.
1244// NOTE: wire is supposed to be closed and sorted !
1245//=======================================================================
1246
1247//:p4 abv 23.02.99: PRO9234 #15720: update UV points of edge
1248static void UpdateEdgeUVPoints (TopoDS_Edge &E, const TopoDS_Face &F)
1249{
1250 Standard_Real first, last;
1251 BRep_Tool::Range ( E, F, first, last );
1252 BRep_Builder().Range ( E, F, first, last );
1253}
1254
1255
1256//=======================================================================
1257//function : FixShifted
1258//purpose :
1259//=======================================================================
1260
1261Standard_Boolean ShapeFix_Wire::FixShifted()
1262{
1263 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1264 if ( ! IsReady() ) return Standard_False;
1265
1266 Handle(ShapeAnalysis_Surface) surf = myAnalyzer->Surface();
1267 //#78 rln 12.03.99 S4135: checking spatial closure with Precision
1268 Standard_Boolean uclosed = surf->IsUClosed(Precision());
1269 Standard_Boolean vclosed = surf->IsVClosed(Precision()) || surf->Surface()->IsKind (STANDARD_TYPE(Geom_SphericalSurface));
1270 //#67 rln 01.03.99 S4135: ims010.igs entity D11900 (2D contour is 2*PI higher than V range [-pi/2,p/2])
1271
1272 // PTV 26.06.2002 begin
1273 // CTS18546-2.igs entity 2222: base curve is periodic and 2dcurve is shifted
1274 Standard_Boolean IsVCrvClosed = Standard_False;
1275 Standard_Real VRange = 1.;
1276 if (surf->Surface()->IsKind (STANDARD_TYPE(Geom_SurfaceOfRevolution))) {
1277 Handle(Geom_SurfaceOfRevolution) aSurOfRev = Handle(Geom_SurfaceOfRevolution)::DownCast(surf->Surface());
1278 Handle(Geom_Curve) aBaseCrv = aSurOfRev->BasisCurve();
1279 while ( (aBaseCrv->IsKind(STANDARD_TYPE(Geom_OffsetCurve))) ||
1280 (aBaseCrv->IsKind(STANDARD_TYPE(Geom_TrimmedCurve))) ) {
1281 if (aBaseCrv->IsKind(STANDARD_TYPE(Geom_OffsetCurve)))
1282 aBaseCrv = Handle(Geom_OffsetCurve)::DownCast(aBaseCrv)->BasisCurve();
1283 if (aBaseCrv->IsKind(STANDARD_TYPE(Geom_TrimmedCurve)))
1284 aBaseCrv = Handle(Geom_TrimmedCurve)::DownCast(aBaseCrv)->BasisCurve();
1285 }
1286 if (aBaseCrv->IsPeriodic()) {
1287 vclosed = Standard_True;
1288 VRange = aBaseCrv->Period();
1289 IsVCrvClosed = Standard_True;
1290#ifdef DEB
1291 cout << "Warning: ShapeFix_Wire::FixShifted set vclosed True for Surface of Revolution" << endl;
1292#endif
1293 }
1294 }
1295 // PTV 26.06.2002 end
1296 if ( ! uclosed && ! vclosed ) return Standard_False;
1297
1298 Standard_Real URange, /*VRange,*/ SUF, SUL, SVF, SVL;
1299 surf->Surface()->Bounds ( SUF, SUL, SVF, SVL );
1300 Standard_Real SUMid, SVMid;
1301 SUMid = 0.5*(SUF+SUL);
1302 SVMid = 0.5*(SVF+SVL);
1303 if (uclosed) URange = Abs ( SUL - SUF );
1304 else URange = RealLast();
eafb234b 1305 if (!IsVCrvClosed) {
7fd59977 1306 if (vclosed) VRange = Abs ( SVL - SVF );
1307 else VRange = RealLast();
eafb234b 1308 }
7fd59977 1309 Standard_Real UTol = 0.2 * URange, VTol = 0.2 * VRange;
1310
1311 Handle(ShapeExtend_WireData) sbwdOring = WireData();
1312 ShapeAnalysis_Edge sae;
1313 Handle(ShapeExtend_WireData) sbwd = new ShapeExtend_WireData;
1314 for ( Standard_Integer i=1; i <= sbwdOring->NbEdges(); i++ ) {
1315 TopoDS_Edge E1 = sbwdOring->Edge ( i );
1316 if ( BRep_Tool::Degenerated(E1) && !sae.HasPCurve(E1,Face()))
1317 continue;
1318
1319 sbwd->Add(E1);
1320 }
1321
1322 ShapeBuild_Edge sbe;
1323 Standard_Integer nb = sbwd->NbEdges();
1324 Standard_Boolean end = (nb == 0), degstop = Standard_False;;
1325 Standard_Integer stop = nb;
1326 Standard_Integer degn2 = 0;
1327 gp_Pnt pdeg;
1328 //pdn 17.12.98 r0901_ec 38237 to shift wire at 0
1329
1330 //GeomAdaptor_Surface& GAS = myAnalyzer->Surface()->Adaptor3d()->ChangeSurface(); //SK
1331 Bnd_Box2d box;
1332 for ( Standard_Integer n2=1, n1=nb; ! end; n1 = n2++ ) {
1333 if ( n2 > nb ) n2 = 1;
1334 if ( n2 == stop ) end = Standard_True;
1335
1336 TopoDS_Edge E1 = sbwd->Edge ( n1 );
1337 TopoDS_Edge E2 = sbwd->Edge ( n2 );
1338
1339 if ( BRep_Tool::Degenerated(E1) || BRep_Tool::Degenerated(E2) ) {
1340 if ( ! degstop ) { stop = n2; degstop = Standard_True; }
1341 continue;
1342 }
1343
1344 TopoDS_Vertex V = sae.FirstVertex ( E2 );
1345 gp_Pnt p = BRep_Tool::Pnt ( V );
1346
1d47d8d0 1347 Standard_Real a1 = 0., b1 = 0., a2 = 0., b2 = 0.;
7fd59977 1348 Handle(Geom2d_Curve) c2d1, c2d2;
1349
1350 //:abv 29.08.01: torCuts.sat: distinguish degeneration by U and by V;
1351 // only corresponding move is prohibited
1352// Standard_Boolean isDeg = surf->IsDegenerated ( p, Max ( Precision(), BRep_Tool::Tolerance(V) ) );
1353 Standard_Integer isDeg = 0;
1354 gp_Pnt2d degP1, degP2;
1355 Standard_Real degT1, degT2;
1356 if ( surf->DegeneratedValues ( p, Max ( Precision(), BRep_Tool::Tolerance(V) ),
1357 degP1, degP2, degT1, degT2 ) )
1358 isDeg = ( Abs ( degP1.X() - degP2.X() ) > Abs ( degP1.Y() - degP2.Y() ) ? 1 : 2 );
1359
1360 // abv 23 Feb 00: UKI60107-6 210: additional check for near-degenerated case
1361 //smh#15 PRO19800. Check if the surface is surface of revolution.
1362 if (surf->Surface()->IsKind (STANDARD_TYPE(Geom_SurfaceOfRevolution))) {
1363 if ( ! isDeg && ! vclosed ) {
1364 if ( c2d1.IsNull() && ! sae.PCurve ( E1, Face(), c2d1, a1, b1, Standard_True ) ) continue;
1365 gp_Pnt2d p1 ( SUF, c2d1->Value(b1).Y() );
1366 gp_Pnt2d p2 ( SUL, c2d1->Value(b1).Y() );
1367 if ( surf->IsDegenerated ( p1, p2, MaxTolerance(), 10 ) &&
1368 ! surf->IsDegenerated ( c2d1->Value(a1), c2d1->Value(b1), MaxTolerance(), 10 ) ) // abv 31.07.00: trj4_pm1-ec-214.stp #31274: still allow work if edge already exists
1369 isDeg = 1;
1370 }
1371 if ( ! isDeg && ! uclosed ) {
1372 if ( c2d1.IsNull() && ! sae.PCurve ( E1, Face(), c2d1, a1, b1, Standard_True ) ) continue;
1373 gp_Pnt2d p1 ( c2d1->Value(b1).X(), SVF );
1374 gp_Pnt2d p2 ( c2d1->Value(b1).X(), SVL );
1375 if ( surf->IsDegenerated ( p1, p2, MaxTolerance(), 10 ) &&
1376 ! surf->IsDegenerated ( c2d1->Value(a1), c2d1->Value(b1), MaxTolerance(), 10 ) ) // abv 31.07.00: trj4_pm1-ec-214.stp #31274: still allow work if edge already exists
1377 isDeg = 2;
1378 }
1379 }
1380
1381 if ( isDeg ) {
1382 if ( ! degstop ) { stop = n2; degstop = Standard_True; }
1383 if ( ! degn2 ) { degn2 = n2; pdeg = p; }
1384 else if ( pdeg.SquareDistance(p) < Precision()*Precision() ) {
1385 degn2 = n2;
1386// if ( stop < n2 ) { stop = n2; degstop = Standard_True; }
1387 }
1388 else {
1d47d8d0 1389 Standard_Real ax1 = 0., bx1 = 0., ax2 = 0., bx2 = 0.;
7fd59977 1390 Handle(Geom2d_Curve) cx1, cx2;
1391 if ( ( c2d1.IsNull() && ! sae.PCurve ( E1, Face(), c2d1, a1, b1, Standard_True ) ) ||
1392 ( c2d2.IsNull() && ! sae.PCurve ( E2, Face(), c2d2, a2, b2, Standard_True ) ) ||
1393 ! sae.PCurve ( sbwd->Edge ( degn2 >1 ? degn2-1 : nb ), Face(), cx1, ax1, bx1, Standard_True ) ||
1394 ! sae.PCurve ( sbwd->Edge ( degn2 ), Face(), cx2, ax2, bx2, Standard_True ) ) {
1395 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1396 continue;
1397 }
1398 gp_Pnt2d pd1 = cx1->Value ( bx1 );
1399 gp_Pnt2d pd2 = cx2->Value ( ax2 );
1400 gp_Pnt2d pn1 = c2d1->Value ( b1 );
1401 gp_Pnt2d pn2 = c2d2->Value ( a2 );
1402 gp_Vec2d x(0.,0.); // shift vector
1403 Standard_Real period;
1404 if ( uclosed ) { x.SetX ( 1. ); period = URange; }
1405 else { x.SetY ( 1. ); period = VRange; }
1406 Standard_Real rot1 = ( pn1.XY() - pd2.XY() ) ^ x.XY();
1407 Standard_Real rot2 = ( pd1.XY() - pn2.XY() ) ^ x.XY();
1408 Standard_Real scld = ( pd2.XY() - pd1.XY() ) * x.XY();
1409 Standard_Real scln = ( pn2.XY() - pn1.XY() ) * x.XY();
1410 if ( rot1 * rot2 < -::Precision::PConfusion() &&
1411 scld * scln < -::Precision::PConfusion() &&
1412 Abs ( scln ) > 0.1 * period && Abs ( scld ) > 0.1 * period &&
1413 rot1 * scld > ::Precision::PConfusion() &&
1414 rot2 * scln > ::Precision::PConfusion() ) {
1415 // abv 02 Mar 00: trying more sophisticated analysis (ie_exhaust-A.stp #37520)
1416 Standard_Real sign = ( rot2 >0 ? 1. : -1. );
1417 Standard_Real deep1 = Min ( sign * ( pn2.XY() * x.XY() ),
1418 Min ( sign * ( pd1.XY() * x.XY() ),
1419 Min ( sign * ( c2d2->Value(b2 ).XY() * x.XY() ),
1420 Min ( sign * ( cx1->Value(ax1).XY() * x.XY() ),
1421 Min ( sign * ( c2d2->Value(0.5*(a2 +b2 )).XY() * x.XY() ),
1422 sign * ( cx1->Value(0.5*(ax1+bx1)).XY() * x.XY() ) ) ) ) ) );
1423 Standard_Real deep2 = Max ( sign * ( pn1.XY() * x.XY() ),
1424 Max ( sign * ( pd2.XY() * x.XY() ),
1425 Max ( sign * ( c2d1->Value(a1 ).XY() * x.XY() ),
1426 Max ( sign * ( cx2->Value(bx2).XY() * x.XY() ),
1427 Max ( sign * ( c2d1->Value(0.5*(a1 +b1 )).XY() * x.XY() ),
1428 sign * ( cx2->Value(0.5*(ax2+bx2)).XY() * x.XY() ) ) ) ) ) );
1429 Standard_Real deep = deep2 - deep1; // estimated current size of wire by x
1430 // pdn 30 Oct 00: trying correct period [0,period] (trj5_k1-tc-203.stp #4698)
1431 Standard_Real dx = ShapeAnalysis::AdjustToPeriod ( deep, ::Precision::PConfusion(), period+::Precision::PConfusion());
1432 x *= ( scld >0 ? -dx : dx );
1433// x *= ( Abs(scld-scln) > 1.5 * period ? 2. : 1. ) *
1434// ( scld >0 ? -period : period );
1435 gp_Trsf2d Shift;
1436 Shift.SetTranslation ( x );
1437 for ( Standard_Integer k=degn2; ; k++ ) {
1438 if ( k > nb ) k = 1;
1439 if ( k == n2 ) break;
1440 TopoDS_Edge edge = sbwd->Edge ( k );
1441 if ( ! sae.PCurve ( edge, Face(), cx1, ax1, bx1, Standard_True ) ) continue;
1442 //cx1->Transform ( Shift );
1443 // skl 15.05.2002 for OCC208 (if few edges have reference to one pcurve)
1444 Handle(Geom2d_Curve) cx1new = Handle(Geom2d_Curve)::DownCast(cx1->Transformed(Shift));
1445 sbe.ReplacePCurve(edge,cx1new,Face());
1446 UpdateEdgeUVPoints ( edge, Face() );
1447 }
1448 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1449#ifdef DEB
1450 cout << "Info: ShapeFix_Wire::FixShifted(): bi - meridian case fixed" << endl;
1451#endif
60295241 1452 continue;
7fd59977 1453 }
1454// degn2 = n2; pdeg = p; // ie_exhaust-A.stp #37520
7fd59977 1455 }
1456/*
1457 // pdn to fix half sphere
1458 TopoDS_Vertex VE = sae.LastVertex ( E2 );
1459 gp_Pnt pe = BRep_Tool::Pnt ( VE );
1460 //pdn is second vertex on singular point ?
1461 if ( surf->IsDegenerated ( pe, Max ( Precision(), BRep_Tool::Tolerance(V) ) ) ) {
1462 if ( ( c2d1.IsNull() && ! sae.PCurve ( E1, Face(), c2d1, a1, b1, Standard_True ) ) ||
1463 ( c2d2.IsNull() && ! sae.PCurve ( E2, Face(), c2d2, a2, b2, Standard_True ) ) ) {
1464 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1465 continue;
1466 }
1467 gp_Pnt2d p2d1 = c2d1->Value ( b1 ), p2f = c2d2->Value ( a2 ), p2l = c2d2->Value ( b2 );
1468 Standard_Real pres2 = ::Precision::PConfusion();
1469 Standard_Real du = 0.,dv = 0.;
1470 //#79 rln 15.03.99 S4135: bmarkmdl.igs entity 633 (incorrectly oriented contour) check for gap
1471 if(uclosed&&(Abs(p2f.X()-p2l.X())<pres2)&&Abs(p2d1.X()-p2f.X())>GAS.UResolution(Precision())) {
1472 if((Abs(p2f.X()-SUF)<pres2)&&(p2f.Y()<p2l.Y()))
1473 du = URange;
1474 if((Abs(p2f.X()-SUL)<pres2)&&(p2f.Y()>p2l.Y()))
1475 du = -URange;
1476 }
1477 if(vclosed&&(Abs(p2f.Y()-p2l.Y())<pres2)&&Abs(p2d1.Y()-p2f.Y())>GAS.VResolution(Precision())) {
1478 if((Abs(p2f.Y()-SVF)<pres2)&&(p2f.X()>p2l.X()))
1479 dv = VRange;
1480 if((Abs(p2f.Y()-SVL)<pres2)&&(p2f.X()<p2l.X()))
1481 dv = -VRange;
1482 }
1483 if ( du ==0. && dv == 0. ) continue;
1484 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1485 gp_Trsf2d Shift;
1486 Shift.SetTranslation ( gp_Vec2d ( du, dv ) );
1487 c2d2->Transform ( Shift );
1488 UpdateEdgeUVPoints ( E2, Face() );//rln 15.03.99 syntax correction :E1
1489 }
1490*/
1491//:abv 29.08.01: torCuts.sat: continue;
1492 }
1493
1494 if ( ( c2d1.IsNull() && ! sae.PCurve ( E1, Face(), c2d1, a1, b1, Standard_True ) ) ||
1495 ( c2d2.IsNull() && ! sae.PCurve ( E2, Face(), c2d2, a2, b2, Standard_True ) ) ) {
1496 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1497 continue;
1498 }
1499 gp_Pnt2d p2d1 = c2d1->Value ( b1 );
1500 gp_Pnt2d p2d2 = c2d2->Value ( a2 );
1501 box.Add ( p2d1 );
1502
1503 Standard_Real du=0., dv=0.;
1504 if ( uclosed && isDeg != 1 ) {
1505 Standard_Real dx = Abs ( p2d2.X() - p2d1.X() );
1506 if ( dx > URange - UTol )
1507 du = ShapeAnalysis::AdjustByPeriod ( p2d2.X(), p2d1.X(), URange );
1508 else if ( dx > UTol && stop == nb ) stop = n2; //:abv 29.08.01: torCuts2.stp
1509 }
1510 if ( vclosed && isDeg != 2 ) {
1511 Standard_Real dy = Abs ( p2d2.Y() - p2d1.Y() );
1512 if ( dy > VRange - VTol )
1513 dv = ShapeAnalysis::AdjustByPeriod ( p2d2.Y(), p2d1.Y(), VRange );
1514 else if ( dy > VTol && stop == nb ) stop = n2;
1515 }
1516 if ( du ==0. && dv == 0. ) continue;
1517
1518 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1519 gp_Trsf2d Shift;
1520 Shift.SetTranslation ( gp_Vec2d ( du, dv ) );
1521 //c2d2->Transform ( Shift );
1522 // skl 15.05.2002 for OCC208 (if few edges have reference to one pcurve)
1523 Handle(Geom2d_Curve) c2d2new = Handle(Geom2d_Curve)::DownCast(c2d2->Transformed(Shift));
1524 sbe.ReplacePCurve(E2,c2d2new,Face());
1525 UpdateEdgeUVPoints ( E2, Face() );
1526 }
1527 if ( box.IsVoid() ) return Standard_False; //#3 smh 01.04.99. S4163: Overflow, when box is void.
1528
1529 Standard_Real umin, vmin, umax, vmax;
1530 box.Get ( umin, vmin, umax, vmax );
1531 if ( Abs ( umin + umax - SUF - SUL ) < URange &&
1532 Abs ( vmin + vmax - SVF - SVL ) < VRange &&
1533 ! LastFixStatus ( ShapeExtend_DONE ) ) return Standard_False;
1534
1535 box.SetVoid();
1536 Standard_Integer n; // svv Jan11 2000 : porting on DEC
1537 for ( n=1; n <= nb; n++ ) {
1538 Standard_Real a, b;
1539 Handle(Geom2d_Curve) c2d;
1540 if ( ! sae.PCurve ( sbwd->Edge(n), Face(), c2d, a, b, Standard_True ) ) continue;
1541 box.Add ( c2d->Value ( a ) );
1542 box.Add ( c2d->Value ( 0.5 * ( a + b ) ) );
1543 }
1544 box.Get ( umin, vmin, umax, vmax );
1545
1546 Standard_Real du=0., dv=0.;
1547
1548 if ( uclosed ) {
1549 Standard_Real umid = 0.5 * ( umin + umax );
1550// du = ShapeAnalysis::AdjustToPeriod(umid, SUF, SUL);
1551 // PTV 26.06.2002 xloop torus-apple iges face mode
1552 du = ShapeAnalysis::AdjustByPeriod(umid, SUMid, URange);
1553 }
1554 if ( vclosed ) {
1555 Standard_Real vmid = 0.5 * ( vmin + vmax );
1556// dv = ShapeAnalysis::AdjustToPeriod(vmid, SVF, SVL);
1557 // PTV 26.06.2002 xloop torus-apple iges face mode
1558 dv = ShapeAnalysis::AdjustByPeriod(vmid, SVMid, VRange);
1559 }
1560
1561 if ( du ==0. && dv == 0. ) return Standard_True;
1562
1563 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
1564
1565 gp_Trsf2d Shift;
1566 Shift.SetTranslation ( gp_Vec2d ( du, dv ) );
1567
1568 for ( n=1; n <= sbwdOring->NbEdges(); n++ ) {
1569 Standard_Real a, b;
1570 Handle(Geom2d_Curve) c2d;
1571 TopoDS_Edge ed = sbwdOring->Edge(n);
1572 if ( ! sae.PCurve ( ed, Face(), c2d, a, b, Standard_True ) ) continue;
1573 // skl 15.05.2002 for OCC208 (if few edges have reference to one pcurve)
1574 Handle(Geom2d_Curve) c2d2 = Handle(Geom2d_Curve)::DownCast(c2d->Transformed(Shift));
1575 sbe.ReplacePCurve(ed,c2d2,Face());
1576 UpdateEdgeUVPoints ( ed, Face() );
1577 }
1578 return Standard_True;
1579}
1580
1581//=======================================================================
1582//function : FixDegenerated
1583//purpose :
1584//=======================================================================
1585
1586Standard_Boolean ShapeFix_Wire::FixDegenerated (const Standard_Integer num)
1587{
1588 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
1589 if ( ! IsReady() ) return Standard_False;
1590
1591 // analysis
1592 gp_Pnt2d p2d1, p2d2;
1593 myAnalyzer->CheckDegenerated ( num, p2d1, p2d2 );
1594 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_FAIL1 ) ) {
1595 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
1596 }
1597 //: abv 29.08.01: torHalf2.sat: if edge was encoded as degenerated but
1598 // has no pcurve and no singularity is found at that point, remove it
1599 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_FAIL2 ) ) {
1600 WireData()->Remove ( num );
1601 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
1602 return Standard_True;
1603 }
1604 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
1605
1606 // action: create degenerated edge and insert it (or replace)
1607
1608 gp_Vec2d vect2d ( p2d1, p2d2 );
1609 gp_Dir2d dir2d ( vect2d );
1610 Handle(Geom2d_Line) line2d = new Geom2d_Line ( p2d1, dir2d );
1611
1612 TopoDS_Edge degEdge;
1613 BRep_Builder B;
1614 B.MakeEdge ( degEdge );
1615 B.Degenerated ( degEdge, Standard_True );
1616 B.UpdateEdge ( degEdge, line2d, Face(), ::Precision::Confusion() );
1617 B.Range ( degEdge, Face(), 0., vect2d.Magnitude() );
1618
1619 Handle(ShapeExtend_WireData) sbwd = WireData();
1620 Standard_Integer n2 = ( num >0 ? num : sbwd->NbEdges() );
1621 Standard_Integer n1 = ( n2 >1 ? n2-1 : sbwd->NbEdges() );
1622
1623 Standard_Boolean lack = myAnalyzer->LastCheckStatus ( ShapeExtend_DONE1 );
1624 Standard_Integer n3 = ( lack ? n2 : ( n2 < sbwd->NbEdges() ? n2+1 : 1 ) );
1625
1626 ShapeAnalysis_Edge sae;
1627 TopoDS_Vertex V1 = sae.LastVertex ( sbwd->Edge ( n1 ) );
1628 TopoDS_Vertex V2 = sae.FirstVertex ( sbwd->Edge ( n3 ) );
1629
1630 V1.Orientation(TopAbs_FORWARD);
1631 V2.Orientation(TopAbs_REVERSED);
1632 B.Add(degEdge,V1);
1633 B.Add(degEdge,V2);
1634 degEdge.Orientation(TopAbs_FORWARD);
1635
1636 if ( lack ) {
1637 sbwd->Add ( degEdge, n2 );
1638 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
1639 }
1640 else {
1641 sbwd->Set ( degEdge, n2 );
1642 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
1643 }
999d2599
D		 1644
1645// commented to avoid extra messages
1646// SendWarning ( degEdge, Message_Msg ( "FixWire.FixDegenerated.MSG0" ) );// Degenerated edge(s) detected
1647
7fd59977 1648 return Standard_True;
1649}
1650
1651//=======================================================================
1652//function : FixSelfIntersectingEdge
1653//purpose : Tests edge for self-intersection and updates tolerance of vertex
1654// if intersection is found
1655// Returns True if tolerance was increased
1656//=======================================================================
1657
1658// Create edge on basis of E with new pcurve and call FixSP
1659// Return resulting tolerance and modified pcurve
1660static Standard_Boolean TryNewPCurve (const TopoDS_Edge &E, const TopoDS_Face &face,
1661 Handle(Geom2d_Curve) &c2d,
1662 Standard_Real &first,
1663 Standard_Real &last,
1664 Standard_Real &tol)
1665{
1666 Standard_Real f, l;
1667 Handle(Geom_Curve) crv = BRep_Tool::Curve ( E, f, l );
1668 if ( crv.IsNull() ) return Standard_False;
1669
1670 // make temp edge and compute tolerance
1671 BRepBuilderAPI_MakeEdge mkedge ( crv, f, l );
1672
1673 ShapeBuild_Edge SBE; //skl 17.07.2001
1674 SBE.SetRange3d(mkedge,f,l); //skl 17.07.2001
1675
1676 if ( ! mkedge.IsDone() ) return Standard_False;
1677
1678 TopoDS_Edge edge = mkedge;
1679 BRep_Builder B;
1680 B.UpdateEdge ( edge, c2d, face, 0. );
1681 B.Range ( edge, face, first, last );
1682 B.SameRange ( edge, Standard_False );
1683// no call to BRepLib: B.SameParameter ( edge, Standard_False );
1684
1685 Handle(ShapeFix_Edge) sfe = new ShapeFix_Edge;
1686 sfe->FixSameParameter ( edge );
1687 c2d = BRep_Tool::CurveOnSurface ( edge, face, first, last );
1688 tol = BRep_Tool::Tolerance ( edge );
1689 return Standard_True;
1690}
1691
1692//:k3 abv 24 Dec 98: BUC50070 #26682 and #30087:
1693// Try to cut out the loop on the pcurve and make new pcurve by concatenating
1694// the parts.
1695// If result is not SameParameter with prec, does nothing and returns False
1696// Warning: resulting pcurve will be C0
1697
1698//=======================================================================
1699//function : howMuchPCurves
1700//purpose : OCC901
1701//=======================================================================
1702static Standard_Integer howMuchPCurves (const TopoDS_Edge &E)
1703{
1704 Standard_Integer count = 0;
1705 BRep_ListIteratorOfListOfCurveRepresentation itcr
1706 ((*((Handle(BRep_TEdge)*)&E.TShape()))->ChangeCurves());
1707
1708 while (itcr.More()) {
1709 const Handle(BRep_CurveRepresentation)& cr = itcr.Value();
1710 if ( cr->IsCurveOnSurface() )
1711 count++;
1712 itcr.Next();
1713 }
1714
1715 return count;
1716}
1717
1718
1719//=======================================================================
1720//function : RemoveLoop
1721//purpose :
1722//=======================================================================
1723static Standard_Boolean RemoveLoop (TopoDS_Edge &E, const TopoDS_Face &face,
1724 const IntRes2d_IntersectionPoint &IP,
1725 const Standard_Real tolfact,
1726 const Standard_Real prec,
1727 const Standard_Boolean RemoveLoop3d)
1728{
1729 Standard_Boolean loopRemoved3d;
1730 if ( BRep_Tool::IsClosed ( E, face ) ) return Standard_False;
1731
1732 Standard_Real f, l;
1733 Handle(Geom_Curve) crv = BRep_Tool::Curve ( E, f, l );
1734
1735 Standard_Real t1 = IP.ParamOnFirst();
1736 Standard_Real t2 = IP.ParamOnSecond();
1737 if ( t1 > t2 ) { Standard_Real t = t1; t1 = t2; t2 = t; }
1738
1739 ShapeAnalysis_Edge sae;
1740 Standard_Real a, b;
1741 Handle(Geom2d_Curve) c2d;
1742 if ( ! sae.PCurve ( E, face, c2d, a, b, Standard_False ) )
1743 return Standard_False;
1744
1745#ifdef DEB
1746 cout << "Cut Loop: params (" << t1 << ", " << t2;
1747#endif
1748 GeomAdaptor_Curve GAC ( crv, f, l );
1749 Standard_Real dt = tolfact * GAC.Resolution(prec);
1750 t1 -= dt; //1e-3;//::Precision::PConfusion();
1751 t2 += dt; //1e-3;//::Precision::PConfusion();
1752#ifdef DEB
1753 cout << ") -> (" << t1 << ", " << t2 << ")" << endl;
1754#endif
1755
1756 if ( t1 <= a || t2 >= b ) { // should not be so, but to be sure ..
1757 return Standard_False;
1758 }
1759
1760 // direct construction causes error on osf system.
1761 gp_Pnt p(0,0,0);
1762 gp_Dir d(0,0,1);
1763 gp_Ax3 ax(p, d);
1764 gp_Pln Pln (ax);
1765
1766 // PTV OCC884
1767 Handle(Geom_Plane) aPlaneSurf = Handle(Geom_Plane)::DownCast( BRep_Tool::Surface(face) );
1768 Handle(Geom_Curve) pcurve3d = crv;
1769 if ( !aPlaneSurf.IsNull() ) {
1770 Pln = aPlaneSurf->Pln();
1771 }
1772 else
1773 pcurve3d = GeomAPI::To3d ( c2d, Pln );
1774
1775 // first segment
1776 //Handle(Geom_Curve) pcurve3d = GeomAPI::To3d ( c2d, Pln );
1777 Handle(Geom_TrimmedCurve) trim = new Geom_TrimmedCurve (pcurve3d, a, t1);
1778 GeomConvert_CompCurveToBSplineCurve connect ( trim );
1779
1780 // null-length segment patch instead of loop
1781 TColgp_Array1OfPnt Poles(1,2);
1782 TColStd_Array1OfReal Knots(1,2);
1783 TColStd_Array1OfInteger Mults(1,2);
1784
1785 Poles.SetValue(1,trim->Value(t1));
1786 Knots.SetValue(1,t1);
1787 Mults.SetValue(1,2);
1788
1789 trim = new Geom_TrimmedCurve (pcurve3d, t2, b);
1790 Poles.SetValue(2,trim->Value(t2));
1791 Knots.SetValue(2,t2);
1792 Mults.SetValue(2,2);
1793
1794 Handle(Geom_BSplineCurve) patch = new Geom_BSplineCurve ( Poles, Knots, Mults, 1 );
1795 if ( ! connect.Add (patch, ::Precision::PConfusion(), Standard_True, Standard_False) )
1796 return Standard_False;
1797
1798 // last segment
1799 if ( ! connect.Add (trim, ::Precision::PConfusion(), Standard_True, Standard_False) )
1800 return Standard_False;
1801 // PTV OCC884
1802 // keep created 3d curve
1803 Handle(Geom_Curve) aNew3dCrv = connect.BSplineCurve();
1804
1805
1806 Handle(Geom2d_Curve) bs = GeomAPI::To2d ( aNew3dCrv, Pln );
1807 if ( bs.IsNull() ) return Standard_False;
1808
1809 // make temp edge and compute tolerance
1810 BRep_Builder B;
1811
1812 if(!RemoveLoop3d) { // old variant (not remove loop 3d)
1813 Standard_Real newtol=0;
1814 // OCC901
1815 Standard_Integer nbC2d = howMuchPCurves( E );
1816 if ( nbC2d <= 1 && !aPlaneSurf.IsNull() )
1817 B.UpdateEdge ( E, bs, face, 0 );
1818 else
1819 if ( ! TryNewPCurve ( E, face, bs, a, b, newtol ) ) return Standard_False;
1820
1821 Standard_Real tol = BRep_Tool::Tolerance ( E );
1822#ifdef DEB
1823 cout << "Cut Loop: tol orig " << tol << ", prec " << prec << ", new tol " << newtol << endl;
1824#endif
1825 if ( newtol > Max ( prec, tol ) ) return Standard_False;
1826 //:s2 bs = BRep_Tool::CurveOnSurface ( edge, face, a, b );
1827 if ( Abs ( a - f ) > ::Precision::PConfusion() || // smth strange, cancel
1828 Abs ( b - l ) > ::Precision::PConfusion() ) return Standard_False;
1829 // PTV OCC884
1830 if ( !aPlaneSurf.IsNull() ) {
1831 B.UpdateEdge ( E, aNew3dCrv, Max (newtol, tol) );
1832 // OCC901
1833 if ( ! TryNewPCurve ( E, face, bs, a, b, newtol ) ) return Standard_False;
1834 }
1835 B.UpdateEdge ( E, bs, face, newtol );
1836 B.UpdateVertex ( sae.FirstVertex ( E ), newtol );
1837 B.UpdateVertex ( sae.LastVertex ( E ), newtol );
1838 return Standard_True;
1839 }
1840
1841 //:q1
1842 TopLoc_Location L;
1843 Handle(Geom_Surface) S = BRep_Tool::Surface(face, L);
1844 Handle(Geom2dAdaptor_HCurve) AC = new Geom2dAdaptor_HCurve(c2d);
1845 Handle(GeomAdaptor_HSurface) AS = new GeomAdaptor_HSurface(S);
1846
1847 Adaptor3d_CurveOnSurface ACS(AC,AS);
1848 gp_Pnt P1(ACS.Value(t1));
1849 gp_Pnt P2(ACS.Value(t2));
1850 gp_Pnt pcurPnt((P1.X()+P2.X())/2,(P1.Y()+P2.Y())/2,(P1.Z()+P2.Z())/2);
1851
1852 ShapeAnalysis_TransferParametersProj SFTP(E,face);
1853 Handle(TColStd_HSequenceOfReal) Seq2d = new TColStd_HSequenceOfReal;
1854 Seq2d->Append(t1);
1855 Seq2d->Append(t2);
1856 Seq2d->Append((t1+t2)/2);
1857 Handle(TColStd_HSequenceOfReal) Seq3d = new TColStd_HSequenceOfReal;
1858 Seq3d->Append(SFTP.Perform(Seq2d,Standard_False));
1859
1860 Standard_Real dist1 = pcurPnt.Distance(crv->Value(Seq3d->Value(1)));// correting Seq3d already project
1861 Standard_Real dist2 = pcurPnt.Distance(crv->Value(Seq3d->Value(2)));
1862 Standard_Real dist3 = pcurPnt.Distance(crv->Value(Seq3d->Value(3)));
1863 Standard_Real ftrim,ltrim;
1864 if(dist3>Max(dist1,dist2)) {
1865 loopRemoved3d = Standard_False;
1866 }
1867 else {
1868 loopRemoved3d = Standard_True;
1869 }
1870
1871 Handle(Geom_Curve) bs1;
1872
1873 if (!loopRemoved3d) {
1874 // create new 3d curve
1875 ftrim = Seq3d->Value(1);
1876 ltrim = Seq3d->Value(2);
1877 ftrim-=dt;
1878 ltrim+=dt;
1879 Handle(Geom_TrimmedCurve) trim1 = new Geom_TrimmedCurve (crv, f, ftrim);
1880 GeomConvert_CompCurveToBSplineCurve connect1 ( trim1 );
1881 TColgp_Array1OfPnt Poles1(1,2);
1882 TColStd_Array1OfReal Knots1(1,2);
1883 TColStd_Array1OfInteger Mults1(1,2);
1884
1885 Poles1.SetValue(1,trim1->Value(ftrim));
1886 Knots1.SetValue(1,ftrim);
1887 Mults1.SetValue(1,2);
1888
1889 trim1 = new Geom_TrimmedCurve (crv, ltrim, l);
1890 Poles1.SetValue(2,trim1->Value(ltrim));
1891 Knots1.SetValue(2,ltrim);
1892 Mults1.SetValue(2,2);
1893
1894 // create b-spline curve
1895 Handle(Geom_BSplineCurve) patch1 = new Geom_BSplineCurve ( Poles1, Knots1, Mults1, 1 );
1896
1897 if ( ! connect1.Add (patch1, ::Precision::PConfusion(), Standard_True, Standard_False) )
1898 return Standard_False;
1899
1900 // last segment
1901 if ( ! connect1.Add (trim1, ::Precision::PConfusion(), Standard_True, Standard_False) )
1902 return Standard_False;
1903
1904 bs1 = connect1.BSplineCurve();
1905
1906 if ( bs1.IsNull() )
1907 return Standard_False;
1908 }
1909// Standard_Real oldtol = BRep_Tool::Tolerance ( E );
1910
1911 if (!loopRemoved3d)
1912 B.UpdateEdge ( E, bs1, L, 0. );
1913 B.UpdateEdge ( E, bs, face, 0. );
1914 B.Range ( E, face, f, l );
1915 B.SameRange ( E, Standard_False );
1916
1917 Handle(ShapeFix_Edge) sfe = new ShapeFix_Edge;
1918 sfe->FixSameParameter ( E );
1919
1920 return Standard_True;
1921}
1922
1923//=======================================================================
1924//function : RemoveLoop
1925//purpose :
1926//=======================================================================
1927static Standard_Boolean RemoveLoop (TopoDS_Edge &E, const TopoDS_Face &face,
1928 const IntRes2d_IntersectionPoint &IP2d,
1929 TopoDS_Edge &E1,
1930 TopoDS_Edge &E2)
1931{
1932#ifdef DEB
1933 cout<<"Info: ShapeFix_Wire::FixSelfIntersection : Try insert vertex"<<endl;
1934#endif
1935
1936 if ( BRep_Tool::IsClosed ( E, face ) ) return Standard_False;
1937
1938 Standard_Real f, l;
1939 Handle(Geom_Curve) crv = BRep_Tool::Curve ( E, f, l );
1940
1941 Standard_Real t1 = IP2d.ParamOnFirst();
1942 Standard_Real t2 = IP2d.ParamOnSecond();
1943
1944 if ( t1 > t2 )
1945 {
1946 Standard_Real t = t1; t1 = t2; t2 = t;
1947 }
1948
1949 ShapeAnalysis_Edge sae;
1950
1951 // define vertexes Vfirst , Vlast, Vmid
1952 TopoDS_Vertex Vfirst,Vlast,Vmid;
1953 // initialize Vfirst and Vlast
1954 Vfirst = sae.FirstVertex(E);
1955 Vlast = sae.LastVertex(E);
1956
1957 // find a 2d curve and parameters from edge E
1958 Standard_Real a, b;
1959 Handle (Geom2d_Curve) c2d;
1960 if ( ! sae.PCurve ( E, face, c2d, a, b, Standard_False ) )
1961 return Standard_False;
1962
1963 // first segment for 2d curve
1964 Handle(Geom2d_TrimmedCurve) trim1;
1965 if( (t1-a)>Precision::PConfusion() )
1966 trim1 = new Geom2d_TrimmedCurve (c2d, a, t1);
1967 // second segment for 2d curve
1968 Handle(Geom2d_TrimmedCurve) trim2 = new Geom2d_TrimmedCurve (c2d, t2, b);
1969
1970// if ( trim1.IsNull() || trim2.IsNull() )
1971 if(trim2.IsNull())
1972 return Standard_False;
1973
1974 TopLoc_Location L;
1975 Handle (Geom_Surface) S = BRep_Tool::Surface(face, L);
1976 Handle (Geom2dAdaptor_HCurve) AC = new Geom2dAdaptor_HCurve(c2d);
1977 Handle (GeomAdaptor_HSurface) AS = new GeomAdaptor_HSurface(S);
1978
1979 Adaptor3d_CurveOnSurface ACS(AC,AS);
1980 gp_Pnt P1(ACS.Value(t1));
1981 gp_Pnt P2(ACS.Value(t2));
1982 gp_Pnt pcurPnt((P1.X()+P2.X())/2,(P1.Y()+P2.Y())/2,(P1.Z()+P2.Z())/2);
1983
1984 // transfer parameters from pcurve to 3d curve
1985 ShapeAnalysis_TransferParametersProj SFTP(E,face);
1986 Handle (TColStd_HSequenceOfReal) Seq2d = new TColStd_HSequenceOfReal;
1987 Seq2d->Append(t1);
1988 Seq2d->Append(t2);
1989 Seq2d->Append((t1+t2)/2);
1990 Handle (TColStd_HSequenceOfReal) Seq3d = new TColStd_HSequenceOfReal;
1991 Seq3d->Append(SFTP.Perform(Seq2d,Standard_False));
1992
1993 Standard_Real dist1 = pcurPnt.Distance(crv->Value(Seq3d->Value(1)));// correting Seq3d already project
1994 Standard_Real dist2 = pcurPnt.Distance(crv->Value(Seq3d->Value(2)));
1995 Standard_Real dist3 = pcurPnt.Distance(crv->Value(Seq3d->Value(3)));
1996 Standard_Real ftrim,ltrim;
1997 if ( dist3 > Max(dist1, dist2)) { // is loop in 3d
1998 ftrim = Seq3d->Value(1);
1999 ltrim = Seq3d->Value(2);
2000 }
2001 else { // not loop in 3d
2002 ftrim = Seq3d->Value(3);
2003 ltrim = Seq3d->Value(3);
2004 }
2005
2006// ftrim = Seq3d->Value(1);
2007// ltrim = Seq3d->Value(2);
2008
2009 // trim for 3d curve 'crv' with parameters from 'f' to 'l'
2010 Handle(Geom_TrimmedCurve) trim3;
2011 if(!trim1.IsNull())
2012 trim3 = new Geom_TrimmedCurve (crv, f, ftrim);
2013 // second segment for 3d curve
2014 Handle(Geom_TrimmedCurve) trim4 = new Geom_TrimmedCurve (crv, ltrim, l);
2015
2016// if ( trim3.IsNull() || trim4.IsNull() )
2017 if(trim4.IsNull())
2018 return Standard_False;
2019
2020 // create a point for middle vertex
2021 gp_Pnt pnt1 = crv->Value(ftrim);
2022 gp_Pnt pnt2 = crv->Value(ltrim);
2023 gp_Pnt Pmid((pnt1.X()+pnt2.X())/2,(pnt1.Y()+pnt2.Y())/2,(pnt1.Z()+pnt2.Z())/2);
2024
2025 BRep_Builder B;
2026
2027 // create new copies for E1 and E2
2028 if(!trim1.IsNull())
2029 E1=TopoDS::Edge(E.EmptyCopied());
2030 E2=TopoDS::Edge(E.EmptyCopied());
2031
2032 // initialize middle vertex Vmid
2033 if(trim1.IsNull())
2034 B.MakeVertex(Vmid, pnt2, 0.);
2035 else
2036 B.MakeVertex(Vmid, Pmid, 0.);
2037
2038 ShapeBuild_Edge sbe;
2039
2040 // replace verteces for new edges E1 and E2
2041 if (E.Orientation()== TopAbs_FORWARD)
2042 {
2043 if(!E1.IsNull())
2044 E1=sbe.CopyReplaceVertices(E1,Vfirst,Vmid);
2045 E2=sbe.CopyReplaceVertices(E2,Vmid, Vlast);
2046 }
2047 else
2048 {
2049 if(!E1.IsNull())
2050 E1=sbe.CopyReplaceVertices(E1,Vmid, Vlast);
2051 E2=sbe.CopyReplaceVertices(E2,Vfirst, Vmid);
2052 }
2053
2054 // Update edges by 2d and 3d curves
2055 Handle(ShapeFix_Edge) mySfe = new ShapeFix_Edge;
2056 if(!E1.IsNull()) {
2057 B.UpdateEdge(E1, trim1, face, 0.);
2058 B.UpdateEdge(E1, trim3, 0.);
2059 B.Range(E1, f, ftrim);
2060 B.SameRange(E1,Standard_False);
2061// B.SameParameter(E1,Standard_False);
2062 mySfe->FixSameParameter(E1);
2063 mySfe->FixVertexTolerance(E1);
2064 }
2065 B.UpdateEdge(E2, trim2, face, 0.);
2066 B.UpdateEdge(E2, trim4, 0.);
2067 B.Range ( E2,ltrim,l );
2068 B.SameRange(E2, Standard_False );
2069// B.SameParameter(E2, Standard_False);
2070 mySfe->FixSameParameter(E2);
2071 mySfe->FixVertexTolerance(E2);
2072
2073 return Standard_True;
2074}
2075
2076
2077//=======================================================================
2078//function : FixSelfIntersectingEdge
2079//purpose :
2080//=======================================================================
2081
2082Standard_Boolean ShapeFix_Wire::FixSelfIntersectingEdge (const Standard_Integer num)
2083{
2084 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
2085 if ( ! IsReady() ) return Standard_False;
2086
2087 // analysis
2088 IntRes2d_SequenceOfIntersectionPoint points2d;
2089 TColgp_SequenceOfPnt points3d;
2090 Handle(ShapeAnalysis_Wire) theAdvAnalyzer = Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer);
2091 if (theAdvAnalyzer.IsNull()) return Standard_False;
2092 theAdvAnalyzer->CheckSelfIntersectingEdge ( num, points2d, points3d );
2093 if ( theAdvAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
2094 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2095 }
2096 if ( ! theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
2097
2098 // action: increase tolerance of vertex
2099
2100 TopoDS_Edge E = WireData()->Edge ( num >0 ? num : NbEdges() );
2101
2102 ShapeAnalysis_Edge sae;
2103 TopoDS_Vertex V1 = sae.FirstVertex ( E );
2104 TopoDS_Vertex V2 = sae.LastVertex ( E );
2105 Standard_Real tol1 = BRep_Tool::Tolerance ( V1 );
2106 Standard_Real tol2 = BRep_Tool::Tolerance ( V2 );
2107 gp_Pnt pnt1 = BRep_Tool::Pnt ( V1 );
2108 gp_Pnt pnt2 = BRep_Tool::Pnt ( V2 );
2109
2110 // cycle is to verify fix in case of RemoveLoop
2111 Standard_Real tolfact = 0.1; // factor for shifting by parameter in RemoveLoop
1d47d8d0 2112 Standard_Real f2d = 0., l2d = 0.;
7fd59977 2113 Handle(Geom2d_Curve) c2d;
2114 Standard_Real newtol=0.; // = Precision();
2115
2116 if (myRemoveLoopMode<1) {
2117 for ( Standard_Integer iter=0; iter < 30; iter++ ) {
2118 Standard_Boolean loopRemoved = Standard_False;;
2119 Standard_Real prevFirst = 0 , prevLast = 0;
2120 for ( Standard_Integer i=1; i<=points2d.Length(); i++ ) {
2121 gp_Pnt pint = points3d.Value(i);
2122 Standard_Real dist21 = pnt1.SquareDistance ( pint );
2123 Standard_Real dist22 = pnt2.SquareDistance ( pint );
2124 if ( dist21 < tol1 * tol1 || dist22 < tol2 * tol2 ) continue;
2125 newtol = 1.001 * Sqrt ( Min ( dist21, dist22 ) ); //:f8
2126
2127 //:k3 abv 24 Dec 98: BUC50070 #26682 and #30087: try to remove loop
2128 if ( myGeomMode ) {
2129 if ( c2d.IsNull() )
2130 sae.PCurve ( E, Face(), c2d, f2d, l2d, Standard_False );
2131 Standard_Real firstpar = points2d.Value(i).ParamOnFirst();
2132 Standard_Real lastpar = points2d.Value(i).ParamOnSecond();
2133 if(firstpar > prevFirst && lastpar < prevLast) continue;
2134 if ( RemoveLoop (E, Face(), points2d.Value(i), tolfact,
2135 Min( MaxTolerance(), Max(newtol,Precision()) ),
2136 myRemoveLoopMode==0 ) ) {
2137 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE4 );
2138 loopRemoved = Standard_True;
2139 prevFirst = firstpar;
2140 prevLast = lastpar;
2141 continue; // repeat of fix on that edge required (to be done by caller)
2142 }
2143 }
2144 if ( newtol < MaxTolerance() ) {
2145 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
2146 BRep_Builder B;
2147 if ( dist21 < dist22 ) B.UpdateVertex ( V1, tol1 = newtol );
2148 else B.UpdateVertex ( V2, tol2 = newtol );
2149 }
2150 else myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
2151 }
2152
2153 // after RemoveLoop, check that self-intersection disappeared
2154 if ( loopRemoved ) {
2155 IntRes2d_SequenceOfIntersectionPoint pnts2d;
2156 TColgp_SequenceOfPnt pnts3d;
2157 theAdvAnalyzer->CheckSelfIntersectingEdge ( num, pnts2d, pnts3d );
2158 if ( ! theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) break;
2159 //points3d.Append(pnts3d);
2160 //points2d.Append(pnts2d);
2161 points3d = pnts3d;
2162 points2d = pnts2d;
2163 BRep_Builder B;
2164 B.UpdateEdge ( E, c2d, Face(), 0. );
2165 B.Range ( E, Face(), f2d, l2d );
2166 //newtol+=Precision();
2167 }
2168 else {
2169 break;
2170 }
2171 }
2172 }
2173
2174 //===============================================
2175 // RemoveLoopMode = 1 , insert vertex
2176 //===============================================
2177 if (myRemoveLoopMode == 1) {
2178 // after fixing will be nb+1 edges
2179 Standard_Boolean loopRemoved;
2180 // create a sequence of resulting edges
2181 Handle (TopTools_HSequenceOfShape) TTSS = new TopTools_HSequenceOfShape;
2182 TopoDS_Edge E2;
2183
2184 loopRemoved = Standard_False;
2185 //:k3 abv 24 Dec 98: BUC50070 #26682 and #30087: try to remove loop
2186 if ( myGeomMode ) {
2187 if ( c2d.IsNull() )
2188 sae.PCurve ( E, Face(), c2d, f2d, l2d, Standard_False );
2189 TopoDS_Edge E1;
2190 if ( RemoveLoop (E, Face(), points2d.Value(1),E1,E2) ) {
2191 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE4 );
2192 loopRemoved = Standard_True;
2193 if(!E1.IsNull()) {
2194 TTSS->Append(E1);
2195 newtol = Max(BRep_Tool::Tolerance(E1),BRep_Tool::Tolerance(E2));
2196 }
2197 else
2198 newtol = BRep_Tool::Tolerance(E2);
2199 }
2200 }
2201
2202 TTSS->Append(E2);
2203
2204 if ( newtol > MaxTolerance() )
2205 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
2206
2207 ShapeExtend_WireData sewd;
2208 for (Standard_Integer i=1 ; i <= TTSS->Length(); i++) {
2209 sewd.Add(TopoDS::Edge(TTSS->Value(i)));
2210 }
2211 if (! Context().IsNull()) {
2212 Context()->Replace ( E, sewd.Wire() );
2213 UpdateWire();
2214 }
2215 else {
2216 WireData()->Remove(num >0 ? num : NbEdges());
2217 WireData()->Add(sewd.Wire(), num >0 ? num : NbEdges());
2218 }
2219 if (loopRemoved)
2220 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE8 );
2221
2222 }
2223
2224 if ( LastFixStatus ( ShapeExtend_DONE ) && ! myShape.IsNull() ) {
999d2599 2225 SendWarning ( E, Message_Msg ( "FixAdvWire.FixIntersection.MSG5" ) );// Edge was self-intersecting, corrected
7fd59977 2226 }
2227
2228 return LastFixStatus ( ShapeExtend_DONE );
2229}
2230
2231
2232//=======================================================================
2233//function : ComputeLocalDeviation
2234//purpose : auxilary
2235//=======================================================================
2236static Standard_Real ComputeLocalDeviation (const TopoDS_Edge &edge,
2237 const gp_Pnt &pint,const gp_Pnt &pnt,
2238 Standard_Real f, Standard_Real l,
2239 const TopoDS_Face &face )
2240{
2241 ShapeAnalysis_Edge sae;
2242 Handle(Geom_Curve) c3d;
2243 Standard_Real a, b;
2244 if ( ! sae.Curve3d ( edge, c3d, a, b, Standard_False ) ) return RealLast();
2245
2246 gp_Lin line ( pint, gp_Vec ( pint, pnt ) );
2247
2248 Handle(Geom2d_Curve) Crv;
2249 Standard_Real fp,lp;
2250 if ( sae.PCurve(edge,face,Crv,fp,lp,Standard_False) ) {
2251 if(Crv->IsKind(STANDARD_TYPE(Geom2d_TrimmedCurve))) {
2252 Handle(Geom2d_TrimmedCurve) tc = Handle(Geom2d_TrimmedCurve)::DownCast(Crv);
2253 if(tc->BasisCurve()->IsKind(STANDARD_TYPE(Geom2d_Line))) {
2254 f = a + (f-fp)*(b-a)/(lp-fp);
2255 l = a + (l-fp)*(b-a)/(lp-fp);
2256 }
2257 }
2258 }
2259
2260 const Standard_Integer NSEG = 10;
2261 Standard_Real step = ( l - f ) / NSEG;
2262 Standard_Real dev = 0.;
2263 for ( Standard_Integer i=1; i < NSEG; i++ ) {
2264 gp_Pnt p = c3d->Value ( f + i * step );
2265 Standard_Real d = line.Distance ( p );
2266 if ( dev < d ) dev = d;
2267 }
2268 return dev;
2269}
2270
2271//=======================================================================
2272//function : FixIntersectingEdges
2273//purpose :
2274//=======================================================================
2275
2276Standard_Boolean ShapeFix_Wire::FixIntersectingEdges (const Standard_Integer num)
2277{
2278 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
2279 if ( ! IsReady() || NbEdges() <2 ) return Standard_False;
2280
2281 // analysis
2282 IntRes2d_SequenceOfIntersectionPoint points2d;
2283 TColgp_SequenceOfPnt points3d;
2284 TColStd_SequenceOfReal errors;
2285 Handle(ShapeAnalysis_Wire) theAdvAnalyzer = Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer);
2286 if (theAdvAnalyzer.IsNull()) return Standard_False;
2287 theAdvAnalyzer->CheckIntersectingEdges ( num, points2d, points3d, errors );
2288 if ( theAdvAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
2289 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2290 }
2291 if ( ! theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
2292
2293 //rln 03/02/98: CSR#BUC50004 entity 56 (to avoid later inserting lacking edge)
2294 //:l0 Standard_Boolean isLacking = myAnalyzer->CheckLacking ( num );
2295
2296 // action: increase tolerance of vertex
2297
2298 Handle(ShapeExtend_WireData) sbwd = WireData();
2299 Standard_Integer n2 = ( num >0 ? num : sbwd->NbEdges() );
2300 Standard_Integer n1 = ( n2 >1 ? n2-1 : sbwd->NbEdges() );
2301 TopoDS_Edge E1 = sbwd->Edge(n1);
2302 TopoDS_Edge E2 = sbwd->Edge(n2);
2303 Standard_Boolean isForward1 = ( E1.Orientation() == TopAbs_FORWARD );
2304 Standard_Boolean isForward2 = ( E2.Orientation() == TopAbs_FORWARD );
2305 Standard_Real a1, b1, a2, b2;
2306 BRep_Tool::Range ( E1, Face(), a1, b1 );
2307 BRep_Tool::Range ( E2, Face(), a2, b2 );
2308
2309 ShapeAnalysis_Edge sae;
2310 TopoDS_Vertex Vp = sae.FirstVertex ( E1 );
2311 TopoDS_Vertex V1 = sae.LastVertex ( E1 );
2312 TopoDS_Vertex V2 = sae.FirstVertex ( E2 );
2313 TopoDS_Vertex Vn = sae.LastVertex ( E2 );
2314
2315 Standard_Real tol = BRep_Tool::Tolerance ( V1 );
2316 gp_Pnt pnt = BRep_Tool::Pnt ( V1 );
2317
2318 Standard_Real prevRange1 = RealLast(), prevRange2 = RealLast();
2319 Standard_Boolean cutEdge1 = Standard_False, cutEdge2 = Standard_False;
2320 Standard_Boolean IsCutLine = Standard_False;
2321
2322 BRep_Builder B;
2323
2324 Standard_Integer nb = points3d.Length();
2325 for ( Standard_Integer i=1; i <= nb; i++ ) {
2326 const IntRes2d_IntersectionPoint &IP = points2d.Value(i);
2327 Standard_Real param1 = ( num ==1 ? IP.ParamOnSecond() : IP.ParamOnFirst() );
2328 Standard_Real param2 = ( num ==1 ? IP.ParamOnFirst() : IP.ParamOnSecond() );
2329
2330 Standard_Real newRange1 = Abs ( ( isForward1 ? a1 : b1 ) - param1 );
2331 Standard_Real newRange2 = Abs ( ( isForward2 ? b2 : a2 ) - param2 );
2332 if ( newRange1 > prevRange1 && newRange2 > prevRange2 ) continue;
2333
2334 gp_Pnt pint = points3d.Value(i);
2335 Standard_Real rad = errors.Value(i);
2336 Standard_Real newtol = 1.0001 * ( pnt.Distance ( pint ) + rad );
2337
2338// GeomAdaptor_Surface& Ads = myAnalyzer->Surface()->Adaptor3d()->ChangeSurface();
2339
2340 //:r8 abv 12 Apr 99: try increasing tolerance of edge
2341 if ( ! myTopoMode && newtol > tol ) {
2342 Standard_Real te1 = rad + ComputeLocalDeviation (E1, pint, pnt,
2343 param1, ( isForward1 ? b1 : a1 ), Face() );
2344 Standard_Real te2 = rad + ComputeLocalDeviation (E2, pint, pnt,
2345 ( isForward2 ? a2 : b2 ), param2, Face() );
2346 Standard_Real maxte = Max ( te1, te2 );
2347 if ( maxte < MaxTolerance() && maxte < newtol ) {
2348 if ( BRep_Tool::Tolerance(E1) < te1 || BRep_Tool::Tolerance(E2) < te2 ) {
2349//#ifdef DEB
2350// cout << "Warning: ShapeFix_Wire::FixIE: edges tolerance increased: (" <<
2351// te1 << ", " << te2 << ") / " << newtol << endl;
2352//#endif
2353 B.UpdateEdge ( E1, 1.000001 * te1 );
2354 B.UpdateVertex ( sae.FirstVertex ( E1 ), 1.000001 * te1 );
2355 B.UpdateVertex ( sae.LastVertex ( E1 ), 1.000001 * te1 );
2356 B.UpdateEdge ( E2, 1.000001 * te2 );
2357 B.UpdateVertex ( sae.FirstVertex ( E2 ), 1.000001 * te2 );
2358 B.UpdateVertex ( sae.LastVertex ( E2 ), 1.000001 * te2 );
2359 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE6 );
2360 }
2361 newtol = 1.000001 * maxte;
2362 }
2363 }
2364
2365 if ( myTopoMode || newtol <= MaxTolerance() ) {
2366 prevRange1 = newRange1;
2367 prevRange2 = newRange2;
2368 Standard_Boolean locMayEdit = myTopoMode;
2369 if ( myTopoMode ) { //:j6 abv 7 Dec 98: ProSTEP TR10 r0601_id.stp #57676 & #58586: do not cut edges because of influence on adjacent faces
2370 ShapeFix_SplitTool aTool;
2371 //if ( ! ShapeFix::CutEdge ( E1, ( isForward1 ? a1 : b1 ), param1, Face(), IsCutLine ) ) {
2372 if ( ! aTool.CutEdge ( E1, ( isForward1 ? a1 : b1 ), param1, Face(), IsCutLine ) ) {
2373 if ( V1.IsSame ( Vp ) )
2374 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
2375 else locMayEdit = Standard_False;
2376 }
2377 else cutEdge1 = Standard_True; //:h4
2378 //if ( ! ShapeFix::CutEdge ( E2, ( isForward2 ? b2 : a2 ), param2, Face(), IsCutLine ) ) {
2379 if ( ! aTool.CutEdge ( E2, ( isForward2 ? b2 : a2 ), param2, Face(), IsCutLine ) ) {
2380 if ( V2.IsSame ( Vn ) )
2381 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE4 );
2382 else locMayEdit = Standard_False;
2383 }
2384 else cutEdge2 = Standard_True; //:h4
2385 }
2386 if ( locMayEdit &&
2387 newRange1 <= prevRange1 && newRange2 <= prevRange2 && //rln 09/01/98
2388 BRep_Tool::SameParameter ( E1 ) &&
2389 BRep_Tool::SameParameter ( E2 ) ) {
2390 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
2391 pnt = pint;
2392 if ( tol <= rad ) {
2393 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
2394 tol = 1.001 * rad;
2395 }
2396 }
2397 else if(IsCutLine) {
2398 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
2399 pnt = pint;
2400 if ( tol <= rad ) {
2401 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
2402 tol = 1.001 * rad;
2403 }
2404 }
2405 else { // else increase tolerance
2406 if (tol < newtol) { //rln 07.04.99 CCI60005-brep.igs
2407 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
2408 tol = newtol;
2409 }
2410 }
2411 }
2412 else myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
2413 }
2414
2415 if ( ! LastFixStatus ( ShapeExtend_DONE ) ) return Standard_False;
2416
2417 B.UpdateVertex ( V1, pnt, tol );
2418 B.UpdateVertex ( V2, pnt, tol );
2419
2420 //:h4: make edges SP (after all cuts: t4mug.stp #3730+#6460)
2421 if ( cutEdge1 ) myFixEdge->FixSameParameter ( E1 );
2422 if ( cutEdge2 && !IsCutLine ) myFixEdge->FixSameParameter ( E2 );
2423 if ( cutEdge1 || cutEdge2 ) {
2424 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE7 );
2425 }
2426 if ( ! myShape.IsNull() ) {
999d2599 2427 SendWarning ( Message_Msg ( "FixAdvWire.FixIntersection.MSG10" ) );// Edges were intersecting, corrected
7fd59977 2428 }
2429 return Standard_True;
2430}
2431
2432//=======================================================================
2433//function : FixIntersectingEdges
2434//purpose :
2435//=======================================================================
2436//pdn 17.03.99 fixing non ajacent intersection by increasing tolerance of vertex
2437
2438Standard_Boolean ShapeFix_Wire::FixIntersectingEdges (const Standard_Integer num1,
2439 const Standard_Integer num2)
2440{
2441 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
2442 if ( !IsReady() ) return Standard_False;
2443 IntRes2d_SequenceOfIntersectionPoint points2d;
2444 TColgp_SequenceOfPnt points3d;
2445 TColStd_SequenceOfReal errors;
2446 Handle(ShapeAnalysis_Wire) theAdvAnalyzer = Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer);
2447 if (theAdvAnalyzer.IsNull()) return Standard_False;
2448 theAdvAnalyzer->CheckIntersectingEdges ( num1, num2, points2d, points3d, errors);
2449 if ( theAdvAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
2450 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2451 }
2452 if ( ! theAdvAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
2453 TColgp_Array1OfPnt vertexPoints(1,4);
2454 TColStd_Array1OfReal vertexTolers(1,4);
2455 TColStd_Array1OfReal newTolers(1,4);
2456 TopTools_Array1OfShape vertices(1,4);
2457 newTolers.Init(0);
2458
2459 Handle(ShapeExtend_WireData) sbwd = WireData();
2460 Standard_Integer n2 = ( num1 >0 ? num1 : sbwd->NbEdges() );
2461 Standard_Integer n1 = ( num2 >1 ? num2 : sbwd->NbEdges() );
2462 if(n1==n2) return Standard_False;
2463
2464 TopoDS_Edge edge1 = sbwd->Edge(n1);
2465 TopoDS_Edge edge2 = sbwd->Edge(n2);
2466
2467 ShapeAnalysis_Edge sae;
2468 vertices(1) = sae.FirstVertex(edge1);
2469 vertices(2) = sae.LastVertex(edge1);
2470 vertices(3) = sae.FirstVertex(edge2);
2471 vertices(4) = sae.LastVertex(edge2);
2472
2473 Standard_Integer i; // svv Jan11 2000 : porting on DEC
2474 for (i = 1; i <=4; i++) {
2475 vertexPoints(i) = BRep_Tool::Pnt(TopoDS::Vertex(vertices(i)));
2476 vertexTolers(i) = BRep_Tool::Tolerance(TopoDS::Vertex(vertices(i)));
2477 }
2478
2479 Standard_Real aNewTolEdge1 = 0.0, aNewTolEdge2 = 0.0;
2480 Standard_Integer nb = points3d.Length();
2481 for ( i=1; i <= nb; i++ ) {
2482 gp_Pnt pint = points3d.Value(i);
2483
2484 // searching for the nearest vertexies to the intersection point
2485 Standard_Real aVtx1Param=0., aVtx2Param=0.;
2486 Standard_Integer aVC1, aVC2;
2487 Standard_Real aMinDist = RealLast();
2488 gp_Pnt aNearestVertex;
2489 Standard_Real aNecessaryVtxTole = 0.0;
2490 for(aVC1 = 1; aVC1 <= 2; aVC1++) {
2491 for(aVC2 = 3; aVC2 <= 4; aVC2++) {
2492
2493 Standard_Real aVtxIPDist = pint.Distance(vertexPoints(aVC1));
2494 Standard_Real aVtxVtxDist = vertexPoints(aVC1).Distance(vertexPoints(aVC2));
2495 if(aMinDist > aVtxIPDist && aVtxIPDist > aVtxVtxDist) {
2496 aNecessaryVtxTole = aVtxVtxDist;
2497 aNearestVertex = vertexPoints(aVC1);
2498 aMinDist = aVtxIPDist;
2499 aVtx1Param = BRep_Tool::Parameter(TopoDS::Vertex(vertices(aVC1)),edge1);
2500 aVtx2Param = BRep_Tool::Parameter(TopoDS::Vertex(vertices(aVC2)),edge2);
2501 }
2502 }
2503 }
2504
2505 // calculation of necessary tolerances of edges
2506 const IntRes2d_IntersectionPoint &IP = points2d.Value(i);
2507 Standard_Real param1 = IP.ParamOnFirst();
2508 Standard_Real param2 = IP.ParamOnSecond();
2509 Handle(Geom_Curve) aCurve1, aCurve2;
2510 Standard_Real f,l;
2511 TopLoc_Location L1, L2;
2512 aCurve1 = BRep_Tool::Curve(edge1, L1, f, l);
2513 aCurve2 = BRep_Tool::Curve(edge2, L2, f, l);
2514
2515 // if aMinDist lower than resolution than the intersection point lyes inside the vertex
2516 if(aMinDist < gp::Resolution())
2517 continue;
2518
2519 Standard_Real aMaxEdgeTol1 = 0.0, aMaxEdgeTol2 = 0.0;
2520 if(aMinDist < RealLast() && !aCurve1.IsNull() && !aCurve2.IsNull())
2521 {
2522 gp_Lin aLig(aNearestVertex, gp_Vec(aNearestVertex, pint));
2523 Standard_Integer aPointsC;
2524 Standard_Real du1 = 0.05*(param1 - aVtx1Param);
2525 Standard_Real du2 = 0.05*(param2 - aVtx2Param);
2526 Standard_Real tole1=BRep_Tool::Tolerance(edge1);
2527 Standard_Real tole2=BRep_Tool::Tolerance(edge2);
2528 for(aPointsC = 2; aPointsC < 19; aPointsC++)
2529 {
2530 Standard_Real u = aVtx1Param + aPointsC * du1;
2531 gp_Pnt P1 = aCurve1->Value(u);
2532 P1.Transform(L1.Transformation());
2533 Standard_Real d1 = aLig.Distance(P1) * 2.0000001;
2534 if(d1 > tole1 && d1 > aMaxEdgeTol1)
2535 aMaxEdgeTol1 = d1;
2536
2537 u = aVtx2Param + aPointsC * du2;
2538 gp_Pnt P2 = aCurve2->Value(u);
2539 P2.Transform(L2.Transformation());
2540 Standard_Real d2 = aLig.Distance(P2) * 2.0000001;
2541 if(d2 > tole2 && d2 > aMaxEdgeTol2)
2542 aMaxEdgeTol2 = d2;
2543 }
2544 if(aMaxEdgeTol1 == 0.0 && aMaxEdgeTol2 == 0.0) continue;
2545 // if the vertexies are far than tolerances so
2546 // we do not need to increase edge tolerance
2547 if(aNecessaryVtxTole > Max(aMaxEdgeTol1, tole1) ||
2548 aNecessaryVtxTole > Max(aMaxEdgeTol2, tole2))
2549 {
2550 aMaxEdgeTol1 = 0.0;
2551 aMaxEdgeTol2 = 0.0;
2552 }
2553 }
2554
2555 Standard_Real rad = errors.Value(i);
2556 Standard_Real finTol = RealLast();
2557 Standard_Integer rank=1;
2558 for(Standard_Integer j=1; j<=4; j++) {
2559 Standard_Real newtol = 1.0001 * ( pint.Distance (vertexPoints(j)) + rad );
2560 if(newtol<finTol) {
2561 rank = j;
2562 finTol = newtol;
2563 }
2564 }
2565 if(finTol <= MaxTolerance()) {
2566 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1);
2567 if(newTolers(rank) < finTol)
2568 {
2569 if(Max(aMaxEdgeTol1, aMaxEdgeTol2) < finTol && (aMaxEdgeTol1 > 0 || aMaxEdgeTol2 > 0))
2570 {
2571 aNewTolEdge1 = Max(aNewTolEdge1, aMaxEdgeTol1);
2572 aNewTolEdge2 = Max(aNewTolEdge2, aMaxEdgeTol2);
2573 }
2574 else
2575 {
2576 newTolers(rank) = finTol;
2577 }
2578 }
2579 } else {
2580 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
2581 }
2582 }
2583
2584 BRep_Builder B;
2585 // update of tolerances of edges
2586 if(aNewTolEdge1 > 0)
2587 {
2588 for(i = 1; i <= 2; i++)
2589 if(aNewTolEdge1 > Max(vertexTolers(i), newTolers(i)))
2590 newTolers(i) = aNewTolEdge1;
2591 B.UpdateEdge(edge1, aNewTolEdge1);
2592 }
2593 if(aNewTolEdge2 > 0)
2594 {
2595 for(i = 3; i <= 4; i++)
2596 if(aNewTolEdge2 > Max(vertexTolers(i), newTolers(i)))
2597 newTolers(i) = aNewTolEdge2;
2598 B.UpdateEdge(edge2, aNewTolEdge2);
2599 }
2600
2601 // update of tolerances of vertexies
2602 for(i = 1; i <=4; i++)
2603 if(newTolers(i)>0) B.UpdateVertex(TopoDS::Vertex(vertices(i)),newTolers(i));
2604
2605 if ( ! myShape.IsNull() ) {
999d2599 2606 SendWarning ( Message_Msg ( "FixAdvWire.FixIntersection.MSG10" ) );// Edges were intersecting, corrected
7fd59977 2607 }
2608 return Standard_True;
2609}
2610
2611//=======================================================================
2612//function : FixLacking
2613//purpose : Test if two adjucent edges are disconnected in 2d (while connected
2614// in 3d), and in that case either increase tolerance of the vertex or
2615// add a new edge (straight in 2d space), in order to close wire in 2d.
2616// Returns True if edge was added or tolerance was increased.
2617//NOTE : Is to be run after FixDegenerated
2618//Algorithm: 1. Compute the 2d gap between edges and calculate a tolerance
2619// which should have vertex in order to comprise the gap
2620// (using GeomAdaptor_Surface); computed value is inctol
2621// 2. If inctol < tol of vertex, return False (everything is OK)
2622// 3. If inctol < Precision, just increase tolerance of vertex to inctol
2623// 4. Else (if both edges are not degenerated) try to add new edge
2624// with straight pcurve (in order to close the gap):
2625// a) if flag MayEdit is False
2626// 1. if inctol < MaxTolerance, increase tolerance of vertex to inctol
2627// 2. else try to add degenerated edge (check that middle point of
2628// that pcurveis inside the vertex)
2629// b) if MayEdit is True
2630// 1. try to replace big vertex with two new small vertices
2631// connected by new edge. This is made if there is a 3d space
2632// between ends of adjacent edges.
2633// 2. if inctol < MaxTolerance, increase tolerance of vertex to inctol
2634// 3. else add either degenerated or closed edge (if middle point
2635// of a pcurve of a new edge is inside the vertex, then
2636// degenerated edge is added, else new edge is closed).
2637// 5. If new edge cannot be added, but inctol < MaxTolerance,
2638// when increase tolerance of vertex to a value of inctol
2639//Short list of some internal variables:
2640// tol - tolerance of vertex
2641// tol2d - tolerance in parametric space of the surface corresponding to 2*tol
2642// dist2d - distance between ends of pcurves of edges (2d)
2643// inctol - tolerance required for vertex to close 2d gap (=tol*dist2d/tol2d)
2644// tol1, tol2 - tolerances of edges, tol0 = tol1 + tol2
2645// p3d1, p3d2 - ends of 3d curves of edges
2646//=======================================================================
2647//:h2 abv 28 May 98: merged modifications by abv 22 Apr 98, gka 27 May 98
2648// and pdn 25 May 98 concerning lacking closed or degenerated edges
2649// Example files: r0501_pe #107813, UKI60107-6 250, UKI60107-3 1577.
2650
2651//:s2 abv 21 Apr 99: add functionality for bending pcurve
2652static Standard_Boolean TryBendingPCurve (const TopoDS_Edge &E, const TopoDS_Face &face,
2653 const gp_Pnt2d p2d, const Standard_Boolean end,
2654 Handle(Geom2d_Curve) &c2d,
2655 Standard_Real &first, Standard_Real &last,
2656 Standard_Real &tol)
2657{
2658 ShapeAnalysis_Edge sae;
2659 if ( ! sae.PCurve ( E, face, c2d, first, last, Standard_False ) ) return Standard_False;
2660
2661 {
2662 try {
2663 OCC_CATCH_SIGNALS
2664 Handle(Geom2d_BSplineCurve) bs;
2665 if ( c2d->IsKind(STANDARD_TYPE(Geom2d_BSplineCurve)) )
2666 bs = Handle(Geom2d_BSplineCurve)::DownCast(c2d->Copy());
2667 else // if ( c2d->IsKind(STANDARD_TYPE(Geom2d_Line)) )
2668 {
2669 Handle(Geom2d_TrimmedCurve) trim = new Geom2d_TrimmedCurve ( c2d, first, last );
2670 bs = Geom2dConvert::CurveToBSplineCurve ( trim );
2671 }
2672 if ( bs.IsNull() ) return Standard_False;
2673
2674 Standard_Real par = ( end ? last : first );
2675 if ( fabs ( bs->FirstParameter() - par ) < ::Precision::PConfusion() &&
2676 bs->Multiplicity(1) > bs->Degree() ) bs->SetPole ( 1, p2d );
2677 else if ( fabs ( bs->LastParameter() - par ) < ::Precision::PConfusion() &&
2678 bs->Multiplicity(bs->NbKnots()) > bs->Degree() ) bs->SetPole ( bs->NbPoles(), p2d );
2679 else {
2680 bs->Segment ( first, last );
2681 if (fabs ( bs->FirstParameter() - par ) < ::Precision::PConfusion() &&
2682 bs->Multiplicity(1) > bs->Degree()) bs->SetPole ( 1, p2d );
2683 else if (fabs ( bs->LastParameter() - par ) < ::Precision::PConfusion() &&
2684 bs->Multiplicity(bs->NbKnots()) > bs->Degree()) bs->SetPole ( bs->NbPoles(), p2d );
2685 else return Standard_False;
2686 }
2687 c2d = bs;
2688 }
2689 catch ( Standard_Failure ) {
2690#ifdef DEB
2691 cout << "Warning: ShapeFix_Wire::FixLacking: Exception in Geom2d_BSplineCurve::Segment()" << endl;
2692#endif
2693 return Standard_False;
2694 }
2695 }
2696
2697 if ( ! TryNewPCurve ( E, face, c2d, first, last, tol ) ) return Standard_False;
2698 return Standard_True;
2699}
2700
2701
2702//=======================================================================
2703//function : FixLacking
2704//purpose :
2705//=======================================================================
2706
2707Standard_Boolean ShapeFix_Wire::FixLacking (const Standard_Integer num,
2708 const Standard_Boolean force)
2709{
2710 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
2711 if ( ! IsReady() ) return Standard_False;
2712
2713 //=============
2714 // First phase: analysis whether the problem (gap) exists
2715 gp_Pnt2d p2d1, p2d2;
2716 Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer)->CheckLacking ( num, ( force ? Precision() : 0. ), p2d1, p2d2 );
2717 if ( myAnalyzer->LastCheckStatus ( ShapeExtend_FAIL ) ) {
2718 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2719 }
2720 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE ) ) return Standard_False;
2721
2722 //=============
2723 // Second phase: collection of data necessary for further analysis
2724
2725 Handle(ShapeExtend_WireData) sbwd = WireData();
2726 Standard_Integer n2 = ( num >0 ? num : sbwd->NbEdges() );
2727 Standard_Integer n1 = ( n2 >1 ? n2-1 : sbwd->NbEdges() );
2728 TopoDS_Edge E1 = sbwd->Edge(n1);
2729 TopoDS_Edge E2 = sbwd->Edge(n2);
2730
2731 ShapeAnalysis_Edge sae;
2732 TopoDS_Vertex V1 = sae.LastVertex ( E1 );
2733 TopoDS_Vertex V2 = sae.FirstVertex ( E2 );
2734 Standard_Real tol = Max ( BRep_Tool::Tolerance ( V1 ), BRep_Tool::Tolerance ( V2 ) );
2735
2736 Standard_Real Prec = Precision();
2737 Standard_Real dist2d = myAnalyzer->MaxDistance2d();
2738 Standard_Real inctol = myAnalyzer->MaxDistance3d();
2739
2740 TopoDS_Face face = myAnalyzer->Face();
2741 Handle(ShapeAnalysis_Surface) surf = myAnalyzer->Surface();
2742
2743 gp_Pnt p3d1, p3d2;
2744 Standard_Real tol1=::Precision::Confusion(), tol2=::Precision::Confusion(); //SK
2745
2746 //=============
2747 //:s2 abv 21 Apr 99: Speculation: try bending pcurves
1d47d8d0 2748 Standard_Real bendtol1 = 0., bendtol2 = 0.;
7fd59977 2749 Handle(Geom2d_Curve) bendc1, bendc2;
1d47d8d0 2750 Standard_Real bendf1 = 0., bendl1 = 0., bendf2 = 0., bendl2 = 0.;
7fd59977 2751 if ( myGeomMode && ! BRep_Tool::IsClosed(E1,face) && ! BRep_Tool::IsClosed(E2,face) ) {
2752 gp_Pnt2d p2d = 0.5 * ( p2d1.XY() + p2d2.XY() );
2753 Standard_Boolean ok1 = TryBendingPCurve (E1, face, p2d, E1.Orientation() == TopAbs_FORWARD,
2754 bendc1, bendf1, bendl1, bendtol1);
2755 Standard_Boolean ok2 = TryBendingPCurve (E2, face, p2d, E2.Orientation() == TopAbs_REVERSED,
2756 bendc2, bendf2, bendl2, bendtol2);
2757 if ( ok1 && ! ok2 ) {
2758 bendtol2 = BRep_Tool::Tolerance(E2);
2759 ok1 = TryBendingPCurve (E1, face, p2d2, E1.Orientation() == TopAbs_FORWARD,
2760 bendc1, bendf1, bendl1, bendtol1);
2761 }
2762 else if ( ! ok1 && ok2 ) {
2763 bendtol1 = BRep_Tool::Tolerance(E1);
2764 ok2 = TryBendingPCurve (E2, face, p2d1, E2.Orientation() == TopAbs_FORWARD,
2765 bendc2, bendf2, bendl2, bendtol2);
2766 }
2767 if ( ! ok1 && ! ok2 ) bendc1.Nullify();
2768 }
2769
2770 //=============
2771 // Third phase: analyse how to fix the problem
2772
2773 // selector of solutions
2774 Standard_Boolean doIncrease = Standard_False; // increase tolerance
2775 Standard_Boolean doAddLong = Standard_False; // add long 3d edge in replacement of a vertex
2776 Standard_Boolean doAddClosed = Standard_False; // add closed 3d edge
2777 Standard_Boolean doAddDegen = Standard_False; // add degenerated edge
2778 Standard_Boolean doBend = Standard_False; //:s2 bend pcurves
2779
2780 // if bending is OK with existing tolerances of edges, take it
2781 if ( ! bendc1.IsNull() && ! bendc2.IsNull() &&
2782 ( ( bendtol1 < BRep_Tool::Tolerance(E1) &&
2783 bendtol2 < BRep_Tool::Tolerance(E2) ) ||
2784 ( inctol < Prec && bendtol1 < inctol && bendtol2 < inctol ) ) )
2785 doBend = Standard_True;
2786
2787 // is it OK just to increase tolerance (to a value less than preci)?
2788 else if ( inctol < Prec ) doIncrease = Standard_True;
2789
2790 // If increase is not OK or force, try to find other solutions (adding edge)
2791 else if ( ! BRep_Tool::Degenerated ( E2 ) && ! BRep_Tool::Degenerated ( E1 ) ) {
2792
2793 // analyze the 3d space btw edges: is it enough to add long 3d edge?
2794 if ( myTopoMode ) {
2795 Handle(Geom_Curve) c3d;
2796 Standard_Real a, b;
2797 if ( ! sae.Curve3d ( E1, c3d, a, b, Standard_True ) ) { // cannot work
2798 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2799 return Standard_False;
2800 }
2801 p3d1 = c3d->Value ( b );
2802 Standard_Real dist2d3d1 = p3d1.Distance ( surf->Value ( p2d1 ) );
2803 if ( ! sae.Curve3d ( E2, c3d, a, b, Standard_True ) ) { // cannot work
2804 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL1 );
2805 return Standard_False;
2806 }
2807 p3d2 = c3d->Value ( a );
2808 Standard_Real dist2d3d2 = p3d2.Distance ( surf->Value ( p2d2 ) );
2809
2810 tol1 = Max ( BRep_Tool::Tolerance ( E1 ), dist2d3d1 );
2811 tol2 = Max ( BRep_Tool::Tolerance ( E2 ), dist2d3d2 );
2812 //:c5 Standard_Real tol0 = Max ( tol1 + tol2, thepreci );
2813 Standard_Real tol0 = tol1 + tol2; //:c5 abv 26 Feb 98: CTS17806 #44418
2814 Standard_Real dist3d2 = p3d1.SquareDistance ( p3d2 );
2815
2816 // is it OK to add a long 3d edge?
2817 if ( ! myAnalyzer->LastCheckStatus ( ShapeExtend_DONE2 ) && //:81 abv 20 Jan 98: don`t add back-going edges (zigzags)
2818 dist3d2 > 1.25 * tol0 * tol0 &&
2819 ( force || dist3d2 > Prec * Prec || inctol > MaxTolerance() ) ) {
2820 doAddLong = Standard_True;
2821 }
2822 }
2823
2824 //:h6 abv 25 Jun 98: BUC40132 6361: try to increase tol up to MaxTol if not add
2825 if ( ! doAddLong && inctol < MaxTolerance() &&
2826 ! myAnalyzer->Surface()->IsDegenerated ( p2d1, p2d2, 2.*tol, 10. ) ) { //:p7
2827 if ( ! bendc1.IsNull() && ! bendc2.IsNull() &&
2828 bendtol1 < inctol && bendtol2 < inctol ) doBend = Standard_True;
2829 else doIncrease = Standard_True;
2830 }
2831 else
2832
2833 // else try to add either degenerated or closed edge
2834 if ( ! doAddLong ) {
2835 gp_Pnt pV = 0.5 * ( BRep_Tool::Pnt(V1).XYZ() + BRep_Tool::Pnt(V2).XYZ() );
2836 gp_Pnt pm = myAnalyzer->Surface()->Value ( 0.5 * ( p2d1.XY() + p2d2.XY() ) );
2837
2838 Standard_Real dist = pV.Distance ( pm );
2839 if ( dist <= tol ) doAddDegen = Standard_True;
2840 else if ( myTopoMode ) doAddClosed = Standard_True;
2841 else if ( dist <= MaxTolerance() ) { //:r7 abv 12 Apr 99: t3d_opt.stp #14245 after S4136
2842 doAddDegen = Standard_True;
2843 doIncrease = Standard_True;
2844 inctol = dist;
2845 }
2846 }
2847 }
2848
2849 else if ( !BRep_Tool::Degenerated(E2) && BRep_Tool::Degenerated(E1) ) {
2850 // create new degenerated edge and replace E1 to new edge
2851 }
2852 else if ( BRep_Tool::Degenerated(E2) && !BRep_Tool::Degenerated(E1) ) {
2853 // create new degenerated edge and replace E2 to new edge
2854 }
2855
2856 //=============
2857 // Third phase - do the fixes
2858 BRep_Builder B;
2859
2860 // add edge
2861 if ( doAddLong || doAddDegen || doAddClosed ) {
2862
2863 // construct new vertices
2864 TopoDS_Vertex newV1, newV2;
2865 if ( doAddLong ) {
2866 newV1 = BRepBuilderAPI_MakeVertex ( p3d1 );
2867 newV1.Reverse();
2868 newV2 = BRepBuilderAPI_MakeVertex ( p3d2 );
2869 B.UpdateVertex ( newV1, 1.001 * tol1 );
2870 B.UpdateVertex ( newV2, 1.001 * tol2 );
2871 }
2872 else {
2873 newV1 = V1;
2874 newV2 = V2;
2875 }
2876
2877 // prepare new edge
2878 TopoDS_Edge edge;
2879 B.MakeEdge ( edge );
2880 if ( doAddDegen ) B.Degenerated ( edge, Standard_True ); // sln: do it before adding curve
2881 gp_Vec2d v12 ( p2d1, p2d2 );
2882 Handle(Geom2d_Line) theLine2d = new Geom2d_Line ( p2d1, gp_Dir2d ( v12 ) );
2883 B.UpdateEdge ( edge, theLine2d, face, ::Precision::Confusion() );
2884 B.Range ( edge, face, 0, dist2d );
2885 B.Add ( edge, newV1.Oriented ( TopAbs_FORWARD ) );
2886 B.Add ( edge, newV2.Oriented ( TopAbs_REVERSED ) );
2887 ShapeBuild_Edge sbe;
2888 if ( ! doAddDegen && ! sbe.BuildCurve3d ( edge ) ) {
2889 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL3 );
2890 return Standard_False;
2891 }
2892
2893 // if long edge is added, replace vertices of adjacent edges
2894 if ( doAddLong ) {
2895
2896 // replace 1st edge (n1==n2 - special case: wire consists of one edge)
2897 TopoDS_Edge edge1 = sbe.CopyReplaceVertices ( E1,
2898 ( n1 == n2 ? newV2 : TopoDS_Vertex() ), newV1 );
2899 sbwd->Set ( edge1, n1 );
2900 if ( ! Context().IsNull() ) {
2901 Context()->Replace ( E1, edge1 );
2902 // actually, this will occur only in context of single face
2903 // hence, recording to ReShape is rather for tracking modifications
2904 // than for keeping sharing
2905 Context()->Replace ( V1, newV1.Oriented ( V1.Orientation() ) );
2906 if ( ! V1.IsSame ( V2 ) ) {
2907 Context()->Replace ( V2, newV2.Oriented ( V2.Orientation() ) );
2908 }
2909 }
2910 // replace 2nd edge
2911 if ( n1 != n2 ) {
2912 TopoDS_Edge edge2 = sbe.CopyReplaceVertices ( E2, newV2, TopoDS_Vertex() );
2913 sbwd->Set ( edge2, n2 );
2914 if ( ! Context().IsNull() ) Context()->Replace ( E2, edge2 );
2915 }
2916 if ( ! Context().IsNull() ) UpdateWire();
2917 }
2918
2919 // insert new edge
2920 if ( doAddDegen ) {
2921 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE3 );
2922#ifdef DEB
2923 cout << "Warning: ShapeFix_Wire::FixLacking: degenerated edge added" << endl;
2924#endif
2925 }
2926 else if ( ! doAddLong ) {
2927 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE4 );
2928 }
2929 sbwd->Add ( edge, n2 );
2930 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
2931 }
2932
2933 // else try to increase tol up to MaxTol
2934 else if ( inctol > tol && inctol < MaxTolerance() ) {
2935 if ( ! bendc1.IsNull() && ! bendc2.IsNull() &&
2936 bendtol1 < inctol && bendtol2 < inctol ) doBend = Standard_True;
2937 else doIncrease = Standard_True;
2938 }
2939
2940 // bend pcurves
2941 if ( doBend ) { //:s2 abv 21 Apr 99
2942 B.UpdateEdge ( E1, bendc1, face, bendtol1 );
2943 B.Range ( E1, face, bendf1, bendl1 );
2944 B.UpdateEdge ( E2, bendc2, face, bendtol2 );
2945 B.Range ( E2, face, bendf2, bendl2 );
2946 B.UpdateVertex ( sae.FirstVertex(E1), bendtol1 );
2947 B.UpdateVertex ( sae.LastVertex(E1), bendtol1 );
2948 B.UpdateVertex ( sae.FirstVertex(E2), bendtol2 );
2949 B.UpdateVertex ( sae.LastVertex(E2), bendtol2 );
2950 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );
2951 //:s3 abv 22 Apr 99: PRO7187 #11534: self-intersection not detected unitil curve is bent (!)
2952 FixSelfIntersectingEdge ( n1 );
2953 FixSelfIntersectingEdge ( n2 );
2954 FixIntersectingEdges ( n2 ); //skl 24.04.2003 for OCC58
2955#ifdef DEB
2956 cout << "Info: ShapeFix_Wire::FixLacking: Bending pcurves" << endl;
2957#endif
2958 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE5 );
2959 }
2960
2961 // increase vertex tolerance
2962 if ( doIncrease ) {
2963 B.UpdateVertex ( V1, 1.001 * inctol );
2964 B.UpdateVertex ( V2, 1.001 * inctol );
2965 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
2966 }
2967
2968 if ( LastFixStatus ( ShapeExtend_DONE ) ) return Standard_True;
2969
2970 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_FAIL2 );
2971 return Standard_False;
2972}
2973
2974//=======================================================================
2975//function : FixNotchedEdges
2976//purpose :
2977//=======================================================================
2978
2979Standard_Boolean ShapeFix_Wire::FixNotchedEdges()
2980{
2981 myLastFixStatus = ShapeExtend::EncodeStatus ( ShapeExtend_OK );
2982 if ( ! IsReady() ) return Standard_False;
2983
2984 Handle(ShapeAnalysis_Wire) theAdvAnalyzer = Handle(ShapeAnalysis_Wire)::DownCast(myAnalyzer);
2985 TopoDS_Face face = Face();
2986 if ( ! Context().IsNull() ) UpdateWire();
2987 Handle(ShapeExtend_WireData) sewd = WireData();
2988
ba9cc08b 2989 for (Standard_Integer i = 1; i <= NbEdges() && NbEdges() > 2; i++) {
7fd59977 2990 Standard_Real param;
2991 Standard_Integer toRemove;
2992 if(theAdvAnalyzer->CheckNotchedEdges(i,toRemove,param,MinTolerance())){
2993 Standard_Integer n2 = (i > 0) ? i : NbEdges();
2994 Standard_Integer n1 = (n2 > 1) ? n2-1 : NbEdges();
2995 Standard_Boolean isRemoveFirst = (n1==toRemove);
2996 Standard_Integer toSplit = (n2==toRemove ? n1 : n2);
2997 TopoDS_Edge splitE = sewd->Edge ( toSplit );
2998 ShapeAnalysis_Edge sae;
2999 Handle(Geom2d_Curve) c2d;
3000 Standard_Real a, b;
3001 sae.PCurve ( splitE, face, c2d, a, b, Standard_True );
3002 Standard_Real ppar = (isRemoveFirst ? b : a);
3003 ShapeBuild_Edge sbe;
3004 TopAbs_Orientation orient = splitE.Orientation();
3005 if ( Abs(param - ppar) > ::Precision::PConfusion() ) {
3006 //pdn perform splitting of the edge and adding to wire
3007
3008 //pdn check if it is necessary
3009 if( Abs((isRemoveFirst ? a : b)-param) < ::Precision::PConfusion() ) {
3010 continue;
3011 }
3012
3013 Handle(ShapeAnalysis_TransferParametersProj) transferParameters =
3014 new ShapeAnalysis_TransferParametersProj;
3015 transferParameters->SetMaxTolerance(MaxTolerance());
3016 transferParameters->Init(splitE,face);
3017 Standard_Real first, last;
3018 if (a < b ) {
3019 first = a;
3020 last = b;
3021 }
3022 else {
3023 first = b;
3024 last = a;
3025 }
3026 TopoDS_Vertex Vnew;
3027 BRep_Builder B;
3028 B.MakeVertex(Vnew,Analyzer()->Surface()->Value(c2d->Value(param)),::Precision::Confusion());
3029 TopoDS_Edge wE = splitE;
3030 wE.Orientation ( TopAbs_FORWARD );
3031 TopoDS_Shape aTmpShape = Vnew.Oriented(TopAbs_REVERSED); //for porting
3032 TopoDS_Edge newE1 = sbe.CopyReplaceVertices ( wE, sae.FirstVertex(wE), TopoDS::Vertex(aTmpShape) );
3033 sbe.CopyPCurves ( newE1, wE );
3034 transferParameters->TransferRange(newE1,first,param,Standard_True);
3035 B.SameRange(newE1,Standard_False);
3036 B.SameParameter(newE1,Standard_False);
3037 aTmpShape = Vnew.Oriented(TopAbs_FORWARD);
3038 TopoDS_Edge newE2 = sbe.CopyReplaceVertices ( wE, TopoDS::Vertex(aTmpShape),sae.LastVertex(wE) );
3039 sbe.CopyPCurves ( newE2, wE );
3040 transferParameters->TransferRange(newE2,param,last,Standard_True);
3041 B.SameRange(newE2,Standard_False);
3042 B.SameParameter(newE2,Standard_False);
3043
3044 if ( !Context().IsNull() ) {
3045 TopoDS_Wire wire;
3046 B.MakeWire(wire);
3047 B.Add(wire,newE1);
3048 B.Add(wire,newE2);
3049 Context()->Replace ( wE, wire );
3050 }
3051
3052 newE1.Orientation(orient);
3053 newE2.Orientation(orient);
3054 if (orient==TopAbs_REVERSED){ TopoDS_Edge tmp = newE2; newE2 = newE1; newE1=tmp;}
3055
3056 Standard_Boolean isRemoveLast = ((n1==NbEdges())&&(n2==1));
3057 sewd->Set ( newE1, toSplit);
3058 sewd->Add ( newE2, (toSplit==NbEdges() ? 0 : toSplit+1));
3059
3060 FixDummySeam(isRemoveLast ? NbEdges() : toRemove);
3061 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE2 );
3062 }
3063 else
3064 FixDummySeam(n1);
3065
3066 i--;
3067 if(!Context().IsNull()) //skl 07.03.2002 for OCC180
3068 UpdateWire();
3069 myLastFixStatus |= ShapeExtend::EncodeStatus ( ShapeExtend_DONE1 );
3070 }
3071 }
3072 myStatusNotches = myLastFixStatus;
3073 return LastFixStatus ( ShapeExtend_DONE );
3074}
3075
3076//=======================================================================
3077//function : FixDummySeam
3078//purpose :
3079//=======================================================================
3080
3081static void CopyReversePcurves(const TopoDS_Edge& toedge,
3082 const TopoDS_Edge& fromedge,
3083 const Standard_Boolean reverse)
3084{
3085 TopLoc_Location fromLoc = fromedge.Location();
3086 TopLoc_Location toLoc = toedge.Location();
3087 for (BRep_ListIteratorOfListOfCurveRepresentation fromitcr
3088 ((*((Handle(BRep_TEdge)*)&fromedge.TShape()))->ChangeCurves()); fromitcr.More(); fromitcr.Next()) {
3089 Handle(BRep_GCurve) fromGC = Handle(BRep_GCurve)::DownCast(fromitcr.Value());
3090 if ( fromGC.IsNull() ) continue;
3091 if ( fromGC->IsCurveOnSurface() ) {
3092 Handle(Geom_Surface) surface = fromGC->Surface();
3093 TopLoc_Location L = fromGC->Location();
3094 Standard_Boolean found = Standard_False;
3095 BRep_ListOfCurveRepresentation& tolist = (*((Handle(BRep_TEdge)*)&toedge.TShape()))->ChangeCurves();
3096 Handle(BRep_GCurve) toGC;
3097 for (BRep_ListIteratorOfListOfCurveRepresentation toitcr (tolist); toitcr.More() && !found; toitcr.Next()) {
3098 toGC = Handle(BRep_GCurve)::DownCast(toitcr.Value());
3099 if ( toGC.IsNull() || !toGC->IsCurveOnSurface() ||
3100 surface != toGC->Surface() || L != toGC->Location() ) continue;
3101 found = Standard_True;
3102 break;
3103 }
3104 if (!found) {
3105 Standard_Real fp = fromGC->First();
3106 Standard_Real lp = fromGC->Last();
3107 toGC = Handle(BRep_GCurve)::DownCast(fromGC->Copy());
3108 tolist.Append (toGC);
3109 Handle(Geom2d_Curve) pcurve = Handle(Geom2d_Curve)::DownCast( fromGC->PCurve()->Copy() );
3110 if (reverse) {
3111 fp = pcurve->ReversedParameter(fp);
3112 lp = pcurve->ReversedParameter(lp);
3113 pcurve->Reverse();
3114 Standard_Real tmp = fp;
3115 fp = lp;
3116 lp = tmp;
3117 }
3118 //bug OCC209 invalid location of pcurve in the edge after copying
3119 TopLoc_Location newLoc = (fromLoc*L).Predivided(toLoc);
3120 toGC->SetRange(fp,lp);
3121 toGC->PCurve(pcurve);
3122 toGC->Location(newLoc);
3123 if ( fromGC->IsCurveOnClosedSurface() ) {
3124 pcurve = fromGC->PCurve2();
3125 toGC->PCurve2(Handle(Geom2d_Curve)::DownCast(pcurve->Copy()));
3126 }
3127 }
3128 }
3129 }
3130}
3131
3132//=======================================================================
3133//function : HasNewPCurves
3134//purpose :
3135//=======================================================================
3136// Note: This function temporarily not used, because adress to it in
3137// function FixDummySeam() (see below line 2472) not used too
3138//
3139//static Standard_Boolean HasNewPCurves(const TopoDS_Edge& toedge,
3140// const TopoDS_Edge& fromedge)
3141//
3142//{
3143// for (BRep_ListIteratorOfListOfCurveRepresentation fromitcr
3144// ((*((Handle(BRep_TEdge)*)&fromedge.TShape()))->ChangeCurves()); fromitcr.More(); fromitcr.Next()) {
3145// Handle(BRep_GCurve) fromGC = Handle(BRep_GCurve)::DownCast(fromitcr.Value());
3146// if ( fromGC.IsNull() ) continue;
3147// if ( fromGC->IsCurveOnSurface() ) {
3148// Handle(Geom_Surface) surface = fromGC->Surface();
3149// TopLoc_Location L = fromGC->Location();
3150// Standard_Boolean found = Standard_False;
3151// BRep_ListOfCurveRepresentation& tolist = (*((Handle(BRep_TEdge)*)&toedge.TShape()))->ChangeCurves();
3152// Handle(BRep_GCurve) toGC;
3153// for (BRep_ListIteratorOfListOfCurveRepresentation toitcr (tolist); toitcr.More() && !found; toitcr.Next()) {
3154// toGC = Handle(BRep_GCurve)::DownCast(toitcr.Value());
3155// if ( toGC.IsNull() || !toGC->IsCurveOnSurface() ||
3156// surface != toGC->Surface() || L != toGC->Location() ) continue;
3157// found = Standard_True;
3158// break;
3159// }
3160// if (!found)
3161// return Standard_True;
3162// }
3163// }
3164// return Standard_False;
3165//}
3166
3167//=======================================================================
3168//function : FixDummySeam
3169//purpose :
3170//=======================================================================
3171
3172void ShapeFix_Wire::FixDummySeam(const Standard_Integer num)
3173{
3174 ShapeAnalysis_Edge sae;
3175 ShapeBuild_Edge sbe;
3176 ShapeBuild_Vertex sbv;
3177 Standard_Integer num1 = (num == NbEdges()) ? 1 : num+1;
3178 Handle(ShapeExtend_WireData) sewd = WireData();
3179 TopoDS_Edge E1 = sewd->Edge(num), E2 = sewd->Edge(num1);
3180 TopoDS_Vertex V1 = sae.FirstVertex(E1), V2 = sae.LastVertex(E2);
3181 TopoDS_Vertex Vm = sbv.CombineVertex ( V1, V2, 1.0001 );
3182
3183 //pnd defining if new pcurves exists
3184 //pdn Temporary not removed
3185// Standard_Boolean toRemove = !(HasNewPCurves(E1,E2)||HasNewPCurves(E2,E1));
3186 Standard_Boolean toRemove = Standard_False;
3187
3188 //creating new edge with pcurves and new vertex
3189 TopoDS_Vertex Vs = sae.FirstVertex(E2);
3190 if ( Vs.IsSame ( V1 ) || Vs.IsSame ( V2 ) ) Vs = Vm;
3191 TopoDS_Edge newEdge = sbe.CopyReplaceVertices ( E2, Vs, Vm );
3192 CopyReversePcurves(newEdge,E1,E1.Orientation()==E2.Orientation());
3193 BRep_Builder B;
3194 B.SameRange(newEdge,Standard_False);
3195 B.SameParameter(newEdge,Standard_False);
3196
3197 if ( !Context().IsNull() ) {
3198 if (toRemove) {
3199 Context()->Remove ( E2 );
3200 Context()->Remove ( E1 );
3201 }
3202 else {
3203 Context()->Replace ( E2, newEdge );
3204 Context()->Replace ( E1, newEdge.Reversed());
3205 }
3206 Context()->Replace ( V1, Vm.Oriented(V1.Orientation()) );
3207 Context()->Replace ( V2, Vm.Oriented(V2.Orientation()) );
3208 }
3209
3210 Standard_Integer next = ( num1 == NbEdges()) ? 1 : num1+1;
3211 Standard_Integer prev = ( num > 1) ? num-1 : NbEdges();
3212 TopoDS_Edge prevE = sewd->Edge(prev), nextE = sewd->Edge(next);
3213
3214 TopoDS_Edge tmpE1=sbe.CopyReplaceVertices( prevE, TopoDS_Vertex(), Vm);
3215 sewd->Set ( tmpE1,prev );
3216 if ( !Context().IsNull() ) Context()->Replace ( prevE, tmpE1);
3217
3218 tmpE1 = sbe.CopyReplaceVertices ( nextE, Vm, TopoDS_Vertex());
3219 sewd->Set ( tmpE1,next );
3220 if ( !Context().IsNull() ) Context()->Replace ( nextE, tmpE1);
3221
3222 //removing edges from wire
3223 Standard_Integer n1, n2;
3224 if ( num < num1 ) {
3225 n1 = num; n2 = num1;
3226 } else {
3227 n1 = num1; n2 = num;
3228 }
3229 sewd->Remove(n2);
3230 sewd->Remove(n1);
3231}
3232
3233//=======================================================================
3234//function : UpdateWire
3235//purpose :
3236//=======================================================================
3237
3238void ShapeFix_Wire::UpdateWire ()
3239{
3240 Handle(ShapeExtend_WireData) sbwd = WireData();
3241 for ( Standard_Integer i=1; i <= sbwd->NbEdges(); i++ ) {
3242 TopoDS_Edge E = sbwd->Edge(i);
3243 TopoDS_Shape S = Context()->Apply ( E );
3244 if ( S == E ) continue;
3245 for ( TopExp_Explorer exp(S,TopAbs_EDGE); exp.More(); exp.Next() )
3246 sbwd->Add ( exp.Current(), i++ );
3247 sbwd->Remove ( i-- );
3248 }
3249}
Open CASCADE Technology repository