1 // Copyright (C) 2007-2016 CEA/DEN, EDF R&D, OPEN CASCADE
3 // Copyright (C) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
6 // This library is free software; you can redistribute it and/or
7 // modify it under the terms of the GNU Lesser General Public
8 // License as published by the Free Software Foundation; either
9 // version 2.1 of the License, or (at your option) any later version.
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // Lesser General Public License for more details.
16 // You should have received a copy of the GNU Lesser General Public
17 // License along with this library; if not, write to the Free Software
18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
23 #include <GEOMImpl_ShapeDriver.hxx>
25 #include <GEOMImpl_IExtract.hxx>
26 #include <GEOMImpl_IIsoline.hxx>
27 #include <GEOMImpl_IShapes.hxx>
28 #include <GEOMImpl_IShapeExtend.hxx>
29 #include <GEOMImpl_IVector.hxx>
30 #include <GEOMImpl_Types.hxx>
31 #include <GEOMImpl_Block6Explorer.hxx>
33 #include <GEOM_Function.hxx>
34 #include <GEOMUtils_Hatcher.hxx>
35 #include <GEOMAlgo_State.hxx>
36 #include <GEOMAlgo_Extractor.hxx>
39 #include <ShapeFix_Wire.hxx>
40 #include <ShapeFix_Edge.hxx>
41 #include <ShapeFix_Shape.hxx>
43 #include <BRep_Builder.hxx>
44 #include <BRep_Tool.hxx>
45 #include <BRepAdaptor_Curve.hxx>
46 #include <BRepAlgo_FaceRestrictor.hxx>
47 #include <BRepBuilderAPI_Copy.hxx>
48 #include <BRepBuilderAPI_Sewing.hxx>
49 #include <BRepBuilderAPI_MakeFace.hxx>
50 #include <BRepBuilderAPI_MakeWire.hxx>
51 #include <BRepBuilderAPI_MakeEdge.hxx>
52 #include <BRepBuilderAPI_MakeSolid.hxx>
53 #include <BRepCheck.hxx>
54 #include <BRepCheck_Analyzer.hxx>
55 #include <BRepCheck_Shell.hxx>
56 #include <BRepClass3d_SolidClassifier.hxx>
57 #include <BRepLib.hxx>
58 #include <BRepLib_MakeEdge.hxx>
59 #include <BRepTools_WireExplorer.hxx>
61 #include <ShapeAnalysis.hxx>
62 #include <ShapeAnalysis_FreeBounds.hxx>
64 #include <TNaming_CopyShape.hxx>
68 #include <TopExp_Explorer.hxx>
70 #include <TopoDS_Shape.hxx>
71 #include <TopoDS_Edge.hxx>
72 #include <TopoDS_Wire.hxx>
73 #include <TopoDS_Shell.hxx>
74 #include <TopoDS_Solid.hxx>
75 #include <TopoDS_Compound.hxx>
76 #include <TopoDS_Iterator.hxx>
78 #include <TopTools_ListIteratorOfListOfShape.hxx>
79 #include <TopTools_ListOfShape.hxx>
80 #include <TopTools_MapOfShape.hxx>
81 #include <TopTools_HSequenceOfShape.hxx>
85 #include <GCPnts_AbscissaPoint.hxx>
87 #include <Geom_TrimmedCurve.hxx>
88 #include <Geom_RectangularTrimmedSurface.hxx>
89 #include <Geom_Surface.hxx>
90 #include <GeomAbs_CurveType.hxx>
91 #include <GeomConvert_CompCurveToBSplineCurve.hxx>
92 #include <GeomConvert.hxx>
93 #include <GeomLProp.hxx>
95 #include <TColStd_IndexedDataMapOfTransientTransient.hxx>
96 #include <TColStd_SequenceOfReal.hxx>
97 #include <TColStd_HSequenceOfTransient.hxx>
98 #include <TColStd_Array1OfReal.hxx>
99 #include <TColGeom_SequenceOfCurve.hxx>
100 #include <TColGeom_Array1OfBSplineCurve.hxx>
101 #include <TColGeom_HArray1OfBSplineCurve.hxx>
103 #include <Precision.hxx>
105 #include <Standard_NullObject.hxx>
106 #include <Standard_TypeMismatch.hxx>
107 #include <Standard_ConstructionError.hxx>
109 #include <BOPAlgo_PaveFiller.hxx>
110 #include <BOPAlgo_MakerVolume.hxx>
115 * \brief This static function converts the list of shapes into an array
116 * of their IDs. If the input list is empty, null handle will be returned.
117 * this method doesn't check if a shape presents in theIndices map.
119 * \param theListOfShapes the list of shapes.
120 * \param theIndices the indexed map of shapes.
121 * \return the array of shape IDs.
123 static Handle(TColStd_HArray1OfInteger) GetShapeIDs
124 (const TopTools_ListOfShape &theListOfShapes,
125 const TopTools_IndexedMapOfShape &theIndices)
127 Handle(TColStd_HArray1OfInteger) aResult;
129 if (!theListOfShapes.IsEmpty()) {
130 const Standard_Integer aNbShapes = theListOfShapes.Extent();
131 TopTools_ListIteratorOfListOfShape anIter(theListOfShapes);
134 aResult = new TColStd_HArray1OfInteger(1, aNbShapes);
136 for (i = 1; anIter.More(); anIter.Next(), ++i) {
137 const TopoDS_Shape &aShape = anIter.Value();
138 const Standard_Integer anIndex = theIndices.FindIndex(aShape);
140 aResult->SetValue(i, anIndex);
149 // check that compound includes only shapes of expected type
150 bool checkCompound( TopoDS_Shape& c, TopAbs_ShapeEnum t )
152 TopoDS_Iterator it( c, Standard_True, Standard_True );
154 // empty compound is OK only if we explicitly create a compound of shapes
157 // => if expected type is TopAbs_SHAPE, we allow compound consisting of any shapes, this above check is enough
158 // => otherwise we have to check compound's content
159 // => compound sometimes can contain enclosed compound(s), we process them recursively and rebuild initial compound
161 if ( t != TopAbs_SHAPE ) {
163 std::list<TopoDS_Shape> compounds, shapes;
164 compounds.push_back( c );
165 while ( !compounds.empty() && result ) {
166 // check that compound contains only shapes of expected type
167 TopoDS_Shape cc = compounds.front();
168 compounds.pop_front();
169 it.Initialize( cc, Standard_True, Standard_True );
170 for ( ; it.More() && result; it.Next() ) {
171 TopAbs_ShapeEnum tt = it.Value().ShapeType();
172 if ( tt == TopAbs_COMPOUND || tt == TopAbs_COMPSOLID ) {
173 compounds.push_back( it.Value() );
176 shapes.push_back( it.Value() );
181 if ( shapes.empty() ) {
184 else if ( shapes.size() == 1 ) {
189 TopoDS_Compound newc;
190 b.MakeCompound( newc );
191 std::list<TopoDS_Shape> ::const_iterator sit;
192 for ( sit = shapes.begin(); sit != shapes.end(); ++sit )
203 * This function adds faces from the input shape into the list of faces. If
204 * the input shape is a face, it is added itself. If it is a shell, its
205 * sub-shapes (faces) are added. If it is a compound, its sub-shapes
206 * (faces or shells) are added in the list. For null shapes and for other
207 * types of shapes an exception is thrown.
209 * @param theShape the shape to be added. Either face or shell or a compound
210 * of faces and/or shells.
211 * @param theListFaces the list of faces that is modified on output.
212 * @param theMapFence the map that protects from adding the same faces in
215 void addFaces(const TopoDS_Shape &theShape,
216 TopTools_ListOfShape &theListFaces,
217 TopTools_MapOfShape &theMapFence)
219 if (theShape.IsNull()) {
220 Standard_NullObject::Raise("Face for shell construction is null");
223 // Append the shape is the mapFence
224 if (theMapFence.Add(theShape)) {
226 const TopAbs_ShapeEnum aType = theShape.ShapeType();
228 if (aType == TopAbs_FACE) {
229 theListFaces.Append(theShape);
230 } else if (aType == TopAbs_SHELL || aType == TopAbs_COMPOUND) {
231 TopoDS_Iterator anIter(theShape);
233 for (; anIter.More(); anIter.Next()) {
234 // Add sub-shapes: faces for shell or faces/shells for compound.
235 const TopoDS_Shape &aSubShape = anIter.Value();
237 addFaces(aSubShape, theListFaces, theMapFence);
240 Standard_TypeMismatch::Raise
241 ("Shape for shell construction is neither a shell nor a face");
247 * This function constructs a shell or a compound of shells
248 * from a set of faces and/or shells.
250 * @param theShapes is a set of faces, shells and/or
251 * compounds of faces/shells.
252 * @return a shell or a compound of shells.
254 TopoDS_Shape makeShellFromFaces
255 (const Handle(TColStd_HSequenceOfTransient) &theShapes)
257 const Standard_Integer aNbShapes = theShapes->Length();
259 TopTools_ListOfShape aListFaces;
260 TopTools_MapOfShape aMapFence;
261 BRep_Builder aBuilder;
263 // Fill the list of unique faces
264 for (i = 1; i <= aNbShapes; ++i) {
266 const Handle(GEOM_Function) aRefShape =
267 Handle(GEOM_Function)::DownCast(theShapes->Value(i));
269 if (aRefShape.IsNull()) {
270 Standard_NullObject::Raise("Face for shell construction is null");
274 const TopoDS_Shape aShape = aRefShape->GetValue();
276 addFaces(aShape, aListFaces, aMapFence);
279 // Perform computation of shells.
280 TopTools_ListOfShape aListShells;
281 TopTools_ListIteratorOfListOfShape anIter;
283 while (!aListFaces.IsEmpty()) {
285 BRepBuilderAPI_Sewing aSewing(Precision::Confusion()*10.0);
287 for (anIter.Initialize(aListFaces); anIter.More(); anIter.Next()) {
288 aSewing.Add(anIter.Value());
293 // Fill list of shells.
294 const TopoDS_Shape &aSewed = aSewing.SewedShape();
295 TopExp_Explorer anExp(aSewed, TopAbs_SHELL);
296 Standard_Boolean isNewShells = Standard_False;
299 for (; anExp.More(); anExp.Next()) {
300 aListShells.Append(anExp.Current());
301 isNewShells = Standard_True;
304 // Append single faces.
305 anExp.Init(aSewed, TopAbs_FACE, TopAbs_SHELL);
307 for (; anExp.More(); anExp.Next()) {
310 aBuilder.MakeShell(aShell);
311 aBuilder.Add(aShell, anExp.Current());
312 aListShells.Append(aShell);
313 isNewShells = Standard_True;
317 // There are no more shell can be obtained. Break the loop.
321 // Remove faces that are in the result from the list.
322 TopTools_IndexedMapOfShape aMapFaces;
324 TopExp::MapShapes(aSewed, TopAbs_FACE, aMapFaces);
326 // Add deleted faces to the map
327 const Standard_Integer aNbDelFaces = aSewing.NbDeletedFaces();
329 for (i = 1; i <= aNbDelFaces; ++i) {
330 aMapFaces.Add(aSewing.DeletedFace(i));
333 for (anIter.Initialize(aListFaces); anIter.More();) {
334 const TopoDS_Shape &aFace = anIter.Value();
335 Standard_Boolean isFaceUsed = Standard_False;
337 if (aMapFaces.Contains(aFace) || aSewing.IsModified(aFace)) {
338 // Remove face from the list.
339 aListFaces.Remove(anIter);
341 // Go to the next face.
347 // If there are faces not used in shells create a shell for each face.
348 for (anIter.Initialize(aListFaces); anIter.More(); anIter.Next()) {
351 aBuilder.MakeShell(aShell);
352 aBuilder.Add(aShell, anIter.Value());
353 aListShells.Append(aShell);
356 // Construct the result that can be either a shell or a compound of shells
357 TopoDS_Shape aResult;
359 if (!aListShells.IsEmpty()) {
360 if (aListShells.Extent() == 1) {
361 aResult = aListShells.First();
363 // There are more then one shell.
364 TopoDS_Compound aCompound;
366 aBuilder.MakeCompound(aCompound);
368 for (anIter.Initialize(aListShells); anIter.More(); anIter.Next()) {
369 aBuilder.Add(aCompound, anIter.Value());
382 //modified by NIZNHY-PKV Wed Dec 28 13:48:20 2011f
384 // void KeepEdgesOrder(const Handle(TopTools_HSequenceOfShape)& aEdges,
385 // const Handle(TopTools_HSequenceOfShape)& aWires);
386 //modified by NIZNHY-PKV Wed Dec 28 13:48:23 2011t
388 //=======================================================================
391 //=======================================================================
392 const Standard_GUID& GEOMImpl_ShapeDriver::GetID()
394 static Standard_GUID aShapeDriver("FF1BBB54-5D14-4df2-980B-3A668264EA16");
399 //=======================================================================
400 //function : GEOMImpl_ShapeDriver
402 //=======================================================================
403 GEOMImpl_ShapeDriver::GEOMImpl_ShapeDriver()
407 //=======================================================================
410 //=======================================================================
411 Standard_Integer GEOMImpl_ShapeDriver::Execute(Handle(TFunction_Logbook)& log) const
413 if (Label().IsNull()) return 0;
414 Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
416 GEOMImpl_IShapes aCI (aFunction);
417 Standard_Integer aType = aFunction->GetType();
420 TCollection_AsciiString aWarning;
422 // this is an exact type of expected shape, or shape in a compound if compound is allowed as a result (see below)
423 TopAbs_ShapeEnum anExpectedType = TopAbs_SHAPE;
424 // this should be true if result can be a compound of shapes of strict type (see above)
425 bool allowCompound = false;
429 if (aType == WIRE_EDGES) {
430 // result may be only a single wire
431 anExpectedType = TopAbs_WIRE;
433 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
435 Standard_Real aTolerance = aCI.GetTolerance();
436 if (aTolerance < Precision::Confusion())
437 aTolerance = Precision::Confusion();
439 aShape = MakeWireFromEdges(aShapes, aTolerance);
441 else if (aType == FACE_WIRE) {
442 // result may be a face or a compound of faces
443 anExpectedType = TopAbs_FACE;
444 allowCompound = true;
446 Handle(GEOM_Function) aRefBase = aCI.GetBase();
447 TopoDS_Shape aShapeBase = aRefBase->GetValue();
448 if (aShapeBase.IsNull()) Standard_NullObject::Raise("Argument Shape is null");
450 if (aShapeBase.ShapeType() == TopAbs_WIRE) {
451 W = TopoDS::Wire(aShapeBase);
452 // check the wire is closed
453 TopoDS_Vertex aV1, aV2;
454 TopExp::Vertices(W, aV1, aV2);
455 if ( !aV1.IsNull() && !aV2.IsNull() && aV1.IsSame(aV2) )
456 aShapeBase.Closed(true);
458 Standard_NullObject::Raise
459 ("Shape for face construction is not closed");
461 else if (aShapeBase.ShapeType() == TopAbs_EDGE && BRep_Tool::IsClosed(aShapeBase)) {
462 BRepBuilderAPI_MakeWire MW;
463 MW.Add(TopoDS::Edge(aShapeBase));
465 Standard_ConstructionError::Raise("Wire construction failed");
470 Standard_NullObject::Raise
471 ("Shape for face construction is neither a wire nor a closed edge");
473 aWarning = GEOMImpl_Block6Explorer::MakeFace(W, aCI.GetIsPlanar(), aShape);
474 if (aShape.IsNull()) {
475 Standard_ConstructionError::Raise("Face construction failed");
478 else if (aType == FACE_WIRES) {
479 // result may be a face or a compound of faces
480 anExpectedType = TopAbs_FACE;
481 allowCompound = true;
483 // Try to build a face from a set of wires and edges
486 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
487 int nbshapes = aShapes->Length();
489 Standard_ConstructionError::Raise("No wires or edges given");
492 // 1. Extract all edges from the given arguments
493 TopTools_MapOfShape aMapEdges;
494 Handle(TopTools_HSequenceOfShape) aSeqEdgesIn = new TopTools_HSequenceOfShape;
495 TColStd_IndexedDataMapOfTransientTransient aMapTShapes;
497 for (ind = 1; ind <= nbshapes; ind++) {
498 Handle(GEOM_Function) aRefSh_i = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
499 TopoDS_Shape aSh_i = aRefSh_i->GetValue();
501 TopExp_Explorer anExpE_i (aSh_i, TopAbs_EDGE);
502 for (; anExpE_i.More(); anExpE_i.Next()) {
503 if (aMapEdges.Add(anExpE_i.Current())) {
504 // Copy the original shape.
505 TopoDS_Shape aShapeCopy;
507 TNaming_CopyShape::CopyTool
508 (anExpE_i.Current(), aMapTShapes, aShapeCopy);
509 aSeqEdgesIn->Append(aShapeCopy);
514 if (aSeqEdgesIn->IsEmpty()) {
515 Standard_ConstructionError::Raise("No edges given");
518 // 2. Connect edges to wires of maximum length
519 Handle(TopTools_HSequenceOfShape) aSeqWiresOut;
520 ShapeAnalysis_FreeBounds::ConnectEdgesToWires(aSeqEdgesIn, Precision::Confusion(),
521 /*shared*/Standard_False, aSeqWiresOut);
522 //modified by NIZNHY-PKV Wed Dec 28 13:46:55 2011f
523 //KeepEdgesOrder(aSeqEdgesIn, aSeqWiresOut);
524 //modified by NIZNHY-PKV Wed Dec 28 13:46:59 2011t
526 // 3. Separate closed wires
527 Handle(TopTools_HSequenceOfShape) aSeqClosedWires = new TopTools_HSequenceOfShape;
528 Handle(TopTools_HSequenceOfShape) aSeqOpenWires = new TopTools_HSequenceOfShape;
529 for (ind = 1; ind <= aSeqWiresOut->Length(); ind++) {
530 if (aSeqWiresOut->Value(ind).Closed())
531 aSeqClosedWires->Append(aSeqWiresOut->Value(ind));
533 aSeqOpenWires->Append(aSeqWiresOut->Value(ind));
536 if (aSeqClosedWires->Length() < 1) {
537 Standard_ConstructionError::Raise
538 ("There is no closed contour can be built from the given arguments");
541 // 4. Build a face / list of faces from all the obtained closed wires
545 TopoDS_Wire aW1 = TopoDS::Wire(aSeqClosedWires->Value(1));
546 aWarning = GEOMImpl_Block6Explorer::MakeFace(aW1, aCI.GetIsPlanar(), aFFace);
547 if (aFFace.IsNull()) {
548 Standard_ConstructionError::Raise("Face construction failed");
551 // 4.b. Add other wires
552 if (aSeqClosedWires->Length() == 1) {
557 BRep_Builder aBuilder;
558 aBuilder.MakeCompound(C);
559 BRepAlgo_FaceRestrictor FR;
561 TopAbs_Orientation OriF = aFFace.Orientation();
562 TopoDS_Shape aLocalS = aFFace.Oriented(TopAbs_FORWARD);
563 FR.Init(TopoDS::Face(aLocalS), Standard_False, Standard_True);
565 for (ind = 1; ind <= aSeqClosedWires->Length(); ind++) {
566 TopoDS_Wire aW = TopoDS::Wire(aSeqClosedWires->Value(ind));
575 for (; FR.More(); FR.Next()) {
576 aFace = FR.Current().Oriented(OriF);
577 aBuilder.Add(C, aFace);
588 // 5. Add all open wires to the result
589 if (aSeqOpenWires->Length() > 0) {
590 //Standard_ConstructionError::Raise("There are some open wires");
592 BRep_Builder aBuilder;
593 if (aSeqClosedWires->Length() == 1) {
594 aBuilder.MakeCompound(C);
595 aBuilder.Add(C, aShape);
598 C = TopoDS::Compound(aShape);
601 for (ind = 1; ind <= aSeqOpenWires->Length(); ind++) {
602 aBuilder.Add(C, aSeqOpenWires->Value(ind));
608 else if (aType == FACE_FROM_SURFACE) {
609 // result may be only a face
610 anExpectedType = TopAbs_FACE;
612 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
614 if (aShapes.IsNull() == Standard_False) {
615 Standard_Integer aNbShapes = aShapes->Length();
617 if (aNbShapes == 2) {
618 Handle(GEOM_Function) aRefFace =
619 Handle(GEOM_Function)::DownCast(aShapes->Value(1));
620 Handle(GEOM_Function) aRefWire =
621 Handle(GEOM_Function)::DownCast(aShapes->Value(2));
623 if (aRefFace.IsNull() == Standard_False &&
624 aRefWire.IsNull() == Standard_False) {
625 TopoDS_Shape aShFace = aRefFace->GetValue();
626 TopoDS_Shape aShWire = aRefWire->GetValue();
628 if (aShFace.IsNull() == Standard_False &&
629 aShFace.ShapeType() == TopAbs_FACE &&
630 aShWire.IsNull() == Standard_False &&
631 aShWire.ShapeType() == TopAbs_WIRE) {
632 TopoDS_Face aFace = TopoDS::Face(aShFace);
633 TopoDS_Wire aWire = TopoDS::Wire(aShWire);
634 Handle(Geom_Surface) aSurf = BRep_Tool::Surface(aFace);
635 BRepBuilderAPI_MakeFace aMkFace(aSurf, aWire);
637 if (aMkFace.IsDone()) {
638 aShape = aMkFace.Shape();
645 else if (aType == SHELL_FACES) {
646 // result may be only a shell or a compound of shells
647 anExpectedType = TopAbs_SHELL;
648 allowCompound = true;
650 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
652 if (aShapes.IsNull()) {
653 Standard_NullObject::Raise("Argument Shapes is null");
656 // Compute a shell or a compound of shells.
657 aShape = makeShellFromFaces(aShapes);
659 else if (aType == SOLID_SHELLS) {
660 // result may be only a solid or a compound of solids
661 anExpectedType = TopAbs_SOLID;
662 allowCompound = true;
664 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
665 unsigned int ind, nbshapes = aShapes->Length();
666 Standard_Integer ish = 0;
667 BRepBuilderAPI_MakeSolid aMkSolid;
670 for (ind = 1; ind <= nbshapes; ind++) {
671 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
672 TopoDS_Shape aShapeShell = aRefShape->GetValue();
673 if (aShapeShell.IsNull()) {
674 Standard_NullObject::Raise("Shell for solid construction is null");
676 if (aShapeShell.ShapeType() == TopAbs_COMPOUND) {
677 TopoDS_Iterator It (aShapeShell, Standard_True, Standard_True);
678 for (; It.More(); It.Next()) {
679 TopoDS_Shape aSubShape = It.Value();
680 if (aSubShape.ShapeType() == TopAbs_SHELL) {
681 aMkSolid.Add(TopoDS::Shell(aSubShape));
685 Standard_TypeMismatch::Raise
686 ("Shape for solid construction is neither a shell nor a compound of shells");
689 else if (aShapeShell.ShapeType() == TopAbs_SHELL) {
690 aMkSolid.Add(TopoDS::Shell(aShapeShell));
694 if (ish == 0 || !aMkSolid.IsDone()) return 0;
696 TopoDS_Solid Sol = aMkSolid.Solid();
697 BRepClass3d_SolidClassifier SC (Sol);
698 SC.PerformInfinitePoint(Precision::Confusion());
699 if (SC.State() == TopAbs_IN)
700 aShape = Sol.Reversed();
704 else if (aType == COMPOUND_SHAPES) {
705 // result may be only a compound of any shapes
706 allowCompound = true;
708 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
709 unsigned int ind, nbshapes = aShapes->Length();
714 for (ind = 1; ind <= nbshapes; ind++) {
715 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
716 TopoDS_Shape aShape_i = aRefShape->GetValue();
717 if (aShape_i.IsNull()) {
718 Standard_NullObject::Raise("Shape for compound construction is null");
726 else if (aType == EDGE_WIRE) {
727 // result may be only an edge
728 anExpectedType = TopAbs_EDGE;
730 Handle(GEOM_Function) aRefBase = aCI.GetBase();
731 TopoDS_Shape aWire = aRefBase->GetValue();
732 Standard_Real LinTol = aCI.GetTolerance();
733 Standard_Real AngTol = aCI.GetAngularTolerance();
734 if (aWire.IsNull()) Standard_NullObject::Raise("Argument Wire is null");
736 aShape = MakeEdgeFromWire(aWire, LinTol, AngTol);
738 else if (aType == SOLID_FACES) {
739 // result may be only a solid or a compound of solids
740 anExpectedType = TopAbs_SOLID;
741 allowCompound = true;
743 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
744 unsigned int ind, nbshapes = aShapes->Length();
747 TopTools_ListOfShape aLS;
748 for (ind = 1; ind <= nbshapes; ind++) {
749 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
750 TopoDS_Shape aShape_i = aRefShape->GetValue();
751 if (aShape_i.IsNull()) {
752 Standard_NullObject::Raise("Shape for solid construction is null");
754 if (aShape_i.ShapeType() == TopAbs_COMPOUND) {
755 TopoDS_Iterator It (aShape_i, Standard_True, Standard_True);
756 for (; It.More(); It.Next()) {
757 TopoDS_Shape aSubShape = It.Value();
758 if (aSubShape.ShapeType() == TopAbs_FACE || aSubShape.ShapeType() == TopAbs_SHELL)
759 aLS.Append(aSubShape);
761 Standard_TypeMismatch::Raise
762 ("Shape for solid construction is neither a list of faces and/or shells "
763 "nor a compound of faces and/or shells");
766 aLS.Append(aShape_i);
769 BOPAlgo_MakerVolume aMV;
770 aMV.SetArguments(aLS);
771 aMV.SetIntersect(aCI.GetIsIntersect());
773 if (aMV.HasErrors()) return 0;
775 aShape = aMV.Shape();
777 else if (aType == EDGE_CURVE_LENGTH) {
778 // result may be only an edge
779 anExpectedType = TopAbs_EDGE;
781 GEOMImpl_IVector aVI (aFunction);
784 Handle(GEOM_Function) aRefCurve = aVI.GetPoint1();
785 if (aRefCurve.IsNull()) Standard_NullObject::Raise("Argument Curve is null");
786 TopoDS_Shape aRefShape1 = aRefCurve->GetValue();
787 if (aRefShape1.ShapeType() != TopAbs_EDGE) {
788 Standard_TypeMismatch::Raise
789 ("Edge On Curve creation aborted : curve shape is not an edge");
791 TopoDS_Edge aRefEdge = TopoDS::Edge(aRefShape1);
792 TopoDS_Vertex V1, V2;
793 TopExp::Vertices(aRefEdge, V1, V2, Standard_True);
796 TopoDS_Vertex aRefVertex;
797 Handle(GEOM_Function) aRefPoint = aVI.GetPoint2();
798 if (aRefPoint.IsNull()) {
802 TopoDS_Shape aRefShape2 = aRefPoint->GetValue();
803 if (aRefShape2.ShapeType() != TopAbs_VERTEX) {
804 Standard_TypeMismatch::Raise
805 ("Edge On Curve creation aborted : start point shape is not a vertex");
807 aRefVertex = TopoDS::Vertex(aRefShape2);
809 gp_Pnt aRefPnt = BRep_Tool::Pnt(aRefVertex);
812 Standard_Real aLength = aVI.GetParameter();
813 //Standard_Real aCurveLength = IntTools::Length(aRefEdge);
814 //if (aLength > aCurveLength) {
815 // Standard_ConstructionError::Raise
816 // ("Edge On Curve creation aborted : given length is greater than edges length");
818 if (fabs(aLength) < Precision::Confusion()) {
819 Standard_ConstructionError::Raise
820 ("Edge On Curve creation aborted : given length is smaller than Precision::Confusion()");
824 Standard_Real UFirst, ULast;
825 Handle(Geom_Curve) EdgeCurve = BRep_Tool::Curve(aRefEdge, UFirst, ULast);
826 Handle(Geom_Curve) ReOrientedCurve = EdgeCurve;
828 Standard_Real dU = ULast - UFirst;
829 Standard_Real par1 = UFirst + 0.1 * dU;
830 Standard_Real par2 = ULast - 0.1 * dU;
832 gp_Pnt P1 = EdgeCurve->Value(par1);
833 gp_Pnt P2 = EdgeCurve->Value(par2);
835 if (aRefPnt.SquareDistance(P2) < aRefPnt.SquareDistance(P1)) {
836 ReOrientedCurve = EdgeCurve->Reversed();
837 UFirst = EdgeCurve->ReversedParameter(ULast);
840 // Get the point by length
841 GeomAdaptor_Curve AdapCurve = GeomAdaptor_Curve(ReOrientedCurve);
842 GCPnts_AbscissaPoint anAbsPnt (AdapCurve, aLength, UFirst);
843 Standard_Real aParam = anAbsPnt.Parameter();
845 if (AdapCurve.IsClosed() && aLength < 0.0) {
846 Standard_Real aTmp = aParam;
851 BRepBuilderAPI_MakeEdge aME (ReOrientedCurve, UFirst, aParam);
853 aShape = aME.Shape();
855 else if (aType == SHAPE_ISOLINE) {
856 // result may be only an edge or compound of edges
857 anExpectedType = TopAbs_EDGE;
858 allowCompound = true;
860 GEOMImpl_IIsoline aII (aFunction);
861 Handle(GEOM_Function) aRefFace = aII.GetFace();
862 TopoDS_Shape aShapeFace = aRefFace->GetValue();
864 if (aShapeFace.ShapeType() == TopAbs_FACE) {
865 TopoDS_Face aFace = TopoDS::Face(aShapeFace);
866 bool isUIso = aII.GetIsUIso();
867 Standard_Real aParam = aII.GetParameter();
868 Standard_Real U1,U2,V1,V2;
870 // Construct a real geometric parameter.
871 aFace.Orientation(TopAbs_FORWARD);
872 ShapeAnalysis::GetFaceUVBounds(aFace,U1,U2,V1,V2);
875 aParam = U1 + (U2 - U1)*aParam;
877 aParam = V1 + (V2 - V1)*aParam;
880 aShape = MakeIsoline(aFace, isUIso, aParam);
882 Standard_NullObject::Raise
883 ("Shape for isoline construction is not a face");
886 else if (aType == EDGE_UV) {
887 // result may be only an edge
888 anExpectedType = TopAbs_EDGE;
890 GEOMImpl_IShapeExtend aSE (aFunction);
891 Handle(GEOM_Function) aRefEdge = aSE.GetShape();
892 TopoDS_Shape aShapeEdge = aRefEdge->GetValue();
894 if (aShapeEdge.ShapeType() == TopAbs_EDGE) {
895 TopoDS_Edge anEdge = TopoDS::Edge(aShapeEdge);
897 aShape = ExtendEdge(anEdge, aSE.GetUMin(), aSE.GetUMax());
900 else if (aType == FACE_UV) {
901 // result may be only a face
902 anExpectedType = TopAbs_FACE;
904 GEOMImpl_IShapeExtend aSE (aFunction);
905 Handle(GEOM_Function) aRefFace = aSE.GetShape();
906 TopoDS_Shape aShapeFace = aRefFace->GetValue();
908 if (aShapeFace.ShapeType() == TopAbs_FACE) {
909 TopoDS_Face aFace = TopoDS::Face(aShapeFace);
911 aFace.Orientation(TopAbs_FORWARD);
912 aShape = ExtendFace(aFace, aSE.GetUMin(), aSE.GetUMax(),
913 aSE.GetVMin(), aSE.GetVMax());
916 else if (aType == SURFACE_FROM_FACE) {
917 // result may be only a face
918 anExpectedType = TopAbs_FACE;
920 GEOMImpl_IShapeExtend aSE (aFunction);
921 Handle(GEOM_Function) aRefFace = aSE.GetShape();
922 TopoDS_Shape aShapeFace = aRefFace->GetValue();
924 if (aShapeFace.ShapeType() == TopAbs_FACE) {
925 TopoDS_Face aFace = TopoDS::Face(aShapeFace);
926 Handle(Geom_Surface) aSurface = BRep_Tool::Surface(aFace);
928 if (aSurface.IsNull() == Standard_False) {
929 Handle(Standard_Type) aType = aSurface->DynamicType();
935 // Get U, V bounds of the face.
936 aFace.Orientation(TopAbs_FORWARD);
937 ShapeAnalysis::GetFaceUVBounds(aFace, aU1, aU2, aV1, aV2);
939 // Get the surface of original type
940 while (aType == STANDARD_TYPE(Geom_RectangularTrimmedSurface)) {
941 Handle(Geom_RectangularTrimmedSurface) aTrSurface =
942 Handle(Geom_RectangularTrimmedSurface)::DownCast(aSurface);
944 aSurface = aTrSurface->BasisSurface();
945 aType = aSurface->DynamicType();
948 const Standard_Real aTol = BRep_Tool::Tolerance(aFace);
949 BRepBuilderAPI_MakeFace aMF(aSurface, aU1, aU2, aV1, aV2, aTol);
952 aShape = aMF.Shape();
956 } else if (aType == EXTRACTION) {
957 allowCompound = true;
959 GEOMImpl_IExtract aCI(aFunction);
960 Handle(GEOM_Function) aRefShape = aCI.GetShape();
961 TopoDS_Shape aShapeBase = aRefShape->GetValue();
963 if (aShapeBase.IsNull()) {
964 Standard_NullObject::Raise("Argument Shape is null");
968 Handle(TColStd_HArray1OfInteger) anIDs = aCI.GetSubShapeIDs();
969 TopTools_ListOfShape aListSubShapes;
970 TopTools_IndexedMapOfShape anIndices;
973 TopExp::MapShapes(aShapeBase, anIndices);
975 if (!anIDs.IsNull()) {
976 const int anUpperID = anIDs->Upper();
977 const int aNbShapes = anIndices.Extent();
979 for (i = anIDs->Lower(); i <= anUpperID; ++i) {
980 const Standard_Integer anIndex = anIDs->Value(i);
982 if (anIndex < 1 || anIndex > aNbShapes) {
983 TCollection_AsciiString aMsg(" Invalid index: ");
985 aMsg += TCollection_AsciiString(anIndex);
986 StdFail_NotDone::Raise(aMsg.ToCString());
990 const TopoDS_Shape &aSubShape = anIndices.FindKey(anIndex);
992 aListSubShapes.Append(aSubShape);
996 // Compute extraction.
997 GEOMAlgo_Extractor anExtractor;
999 anExtractor.SetShape(aShapeBase);
1000 anExtractor.SetShapesToRemove(aListSubShapes);
1002 anExtractor.Perform();
1004 // Interprete results
1005 Standard_Integer iErr = anExtractor.ErrorStatus();
1007 // The detailed description of error codes is in GEOMAlgo_Extractor.cxx
1009 TCollection_AsciiString aMsg(" iErr : ");
1011 aMsg += TCollection_AsciiString(iErr);
1012 StdFail_NotDone::Raise(aMsg.ToCString());
1016 aShape = anExtractor.GetResult();
1018 if (aShape.IsNull()) {
1019 Standard_ConstructionError::Raise("Result of extraction is empty");
1023 const TopTools_ListOfShape &aRemoved = anExtractor.GetRemoved();
1024 const TopTools_ListOfShape &aModified = anExtractor.GetModified();
1025 const TopTools_ListOfShape &aNew = anExtractor.GetNew();
1026 Handle(TColStd_HArray1OfInteger) aRemovedIDs =
1027 GetShapeIDs(aRemoved, anIndices);
1028 Handle(TColStd_HArray1OfInteger) aModifiedIDs =
1029 GetShapeIDs(aModified, anIndices);
1030 Handle(TColStd_HArray1OfInteger) aNewIDs;
1032 if (!aShape.IsNull()) {
1033 // Get newly created sub-shapes
1034 TopTools_IndexedMapOfShape aNewIndices;
1036 TopExp::MapShapes(aShape, aNewIndices);
1037 aNewIDs = GetShapeIDs(aNew, aNewIndices);
1040 if (!aRemovedIDs.IsNull()) {
1041 aCI.SetRemovedIDs(aRemovedIDs);
1044 if (!aModifiedIDs.IsNull()) {
1045 aCI.SetModifiedIDs(aModifiedIDs);
1048 if (!aNewIDs.IsNull()) {
1049 aCI.SetAddedIDs(aNewIDs);
1055 if (aShape.IsNull()) return 0;
1057 // Check shape validity
1058 BRepCheck_Analyzer ana (aShape, true);
1059 if (!ana.IsValid()) {
1060 //Standard_ConstructionError::Raise("Algorithm have produced an invalid shape result");
1061 // For Mantis issue 0021772: EDF 2336 GEOM: Non valid face created from two circles
1062 Handle(ShapeFix_Shape) aSfs = new ShapeFix_Shape (aShape);
1064 aShape = aSfs->Shape();
1067 // Check if the result shape is of expected type.
1068 const TopAbs_ShapeEnum aShType = aShape.ShapeType();
1071 if ( aShType == TopAbs_COMPOUND || aShType == TopAbs_COMPSOLID ) {
1072 ok = allowCompound && checkCompound( aShape, anExpectedType );
1075 ok = ( anExpectedType == TopAbs_SHAPE ) || ( aShType == anExpectedType );
1078 Standard_ConstructionError::Raise("Result type check failed");
1080 aFunction->SetValue(aShape);
1082 log->SetTouched(Label());
1084 if (!aWarning.IsEmpty())
1085 Standard_Failure::Raise(aWarning.ToCString());
1090 TopoDS_Wire GEOMImpl_ShapeDriver::MakeWireFromEdges(const Handle(TColStd_HSequenceOfTransient)& theEdgesFuncs,
1091 const Standard_Real theTolerance)
1099 for (unsigned int ind = 1; ind <= theEdgesFuncs->Length(); ind++) {
1100 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(theEdgesFuncs->Value(ind));
1101 TopoDS_Shape aShape_i = aRefShape->GetValue();
1102 if (aShape_i.IsNull()) {
1103 Standard_NullObject::Raise("Shape for wire construction is null");
1105 if (aShape_i.ShapeType() == TopAbs_EDGE || aShape_i.ShapeType() == TopAbs_WIRE) {
1106 TopExp_Explorer exp (aShape_i, TopAbs_EDGE);
1107 for (; exp.More(); exp.Next())
1108 B.Add(aWire, TopoDS::Edge(exp.Current()));
1110 Standard_TypeMismatch::Raise
1111 ("Shape for wire construction is neither an edge nor a wire");
1116 Handle(ShapeFix_Wire) aFW = new ShapeFix_Wire;
1120 if (aFW->StatusReorder(ShapeExtend_FAIL1)) {
1121 Standard_ConstructionError::Raise("Wire construction failed: several loops detected");
1123 else if (aFW->StatusReorder(ShapeExtend_FAIL)) {
1124 Standard_ConstructionError::Raise("Wire construction failed");
1129 // IMP 0019766: Building a Wire from unconnected edges by introducing a tolerance
1130 aFW->ClosedWireMode() = Standard_False;
1131 aFW->FixConnected(theTolerance);
1132 if (aFW->StatusConnected(ShapeExtend_FAIL)) {
1133 Standard_ConstructionError::Raise("Wire construction failed: cannot build connected wire");
1136 if (aFW->StatusConnected(ShapeExtend_DONE3)) {
1137 // Confused with <prec> but not Analyzer.Precision(), set the same
1138 aFW->FixGapsByRangesMode() = Standard_True;
1139 if (aFW->FixGaps3d()) {
1140 Handle(ShapeExtend_WireData) sbwd = aFW->WireData();
1141 Handle(ShapeFix_Edge) aFe = new ShapeFix_Edge;
1142 for (Standard_Integer iedge = 1; iedge <= sbwd->NbEdges(); iedge++) {
1143 TopoDS_Edge aEdge = TopoDS::Edge(sbwd->Edge(iedge));
1144 aFe->FixVertexTolerance(aEdge);
1145 aFe->FixSameParameter(aEdge);
1148 else if (aFW->StatusGaps3d(ShapeExtend_FAIL)) {
1149 Standard_ConstructionError::Raise("Wire construction failed: cannot fix 3d gaps");
1152 aWire = aFW->WireAPIMake();
1157 TopoDS_Edge GEOMImpl_ShapeDriver::MakeEdgeFromWire(const TopoDS_Shape& aWire,
1158 const Standard_Real LinTol,
1159 const Standard_Real AngTol)
1161 TopoDS_Edge ResEdge;
1163 BRepLib::BuildCurves3d(aWire);
1164 Handle(ShapeFix_Shape) Fixer = new ShapeFix_Shape(aWire);
1165 Fixer->SetPrecision(LinTol);
1166 Fixer->SetMaxTolerance(LinTol);
1168 TopoDS_Wire theWire = TopoDS::Wire(Fixer->Shape());
1170 TColGeom_SequenceOfCurve CurveSeq;
1171 TopTools_SequenceOfShape LocSeq;
1172 TColStd_SequenceOfReal FparSeq;
1173 TColStd_SequenceOfReal LparSeq;
1174 TColStd_SequenceOfReal TolSeq;
1175 GeomAbs_CurveType CurType;
1176 TopoDS_Vertex FirstVertex, LastVertex;
1177 Standard_Real aPntShiftDist = 0.;
1179 BRepTools_WireExplorer wexp(theWire) ;
1180 for (; wexp.More(); wexp.Next())
1182 TopoDS_Edge anEdge = wexp.Current();
1183 Standard_Real fpar, lpar;
1184 TopLoc_Location aLoc;
1185 Handle(Geom_Curve) aCurve = BRep_Tool::Curve(anEdge, aLoc, fpar, lpar);
1186 if (aCurve.IsNull())
1189 BRepAdaptor_Curve BAcurve(anEdge);
1190 GeomAbs_CurveType aType = BAcurve.GetType();
1192 Handle(Geom_Curve) aBasisCurve = BAcurve.Curve().Curve();
1194 if (aBasisCurve->IsPeriodic())
1195 ElCLib::AdjustPeriodic(aBasisCurve->FirstParameter(), aBasisCurve->LastParameter(),
1196 Precision::PConfusion(), fpar, lpar);
1198 if (CurveSeq.IsEmpty())
1200 CurveSeq.Append(aCurve);
1201 TopoDS_Shape aLocShape;
1202 aLocShape.Location(aLoc);
1203 aLocShape.Orientation(wexp.Orientation());
1204 LocSeq.Append(aLocShape);
1205 FparSeq.Append(fpar);
1206 LparSeq.Append(lpar);
1208 FirstVertex = wexp.CurrentVertex();
1212 Standard_Boolean Done = Standard_False;
1213 Standard_Real NewFpar, NewLpar;
1214 Handle(Geom_Geometry) aTrsfGeom = CurveSeq.Last()->Transformed
1215 (LocSeq.Last().Location().Transformation());
1216 GeomAdaptor_Curve GAprevcurve(Handle(Geom_Curve)::DownCast(aTrsfGeom));
1217 TopoDS_Vertex CurVertex = wexp.CurrentVertex();
1218 TopoDS_Vertex CurFirstVer = TopExp::FirstVertex(anEdge);
1219 TopAbs_Orientation ConnectByOrigin = (CurVertex.IsSame(CurFirstVer))? TopAbs_FORWARD : TopAbs_REVERSED;
1220 if (aCurve == CurveSeq.Last() && aLoc.IsEqual(LocSeq.Last().Location()))
1224 if (aBasisCurve->IsPeriodic())
1226 if (NewLpar < NewFpar)
1227 NewLpar += aBasisCurve->Period();
1228 if (ConnectByOrigin == TopAbs_FORWARD)
1229 ElCLib::AdjustPeriodic(FparSeq.Last(),
1230 FparSeq.Last() + aBasisCurve->Period(),
1231 Precision::PConfusion(), NewFpar, NewLpar);
1233 ElCLib::AdjustPeriodic(FparSeq.Last() - aBasisCurve->Period(),
1235 Precision::PConfusion(), NewFpar, NewLpar);
1237 Done = Standard_True;
1239 else if (aType == CurType &&
1240 aType != GeomAbs_BezierCurve &&
1241 aType != GeomAbs_BSplineCurve &&
1242 aType != GeomAbs_OtherCurve)
1248 gp_Lin aLine = BAcurve.Line();
1249 gp_Lin PrevLine = GAprevcurve.Line();
1250 if (aLine.Contains(PrevLine.Location(), LinTol) &&
1251 aLine.Direction().IsParallel(PrevLine.Direction(), AngTol))
1253 gp_Pnt P1 = ElCLib::Value(fpar, aLine);
1254 gp_Pnt P2 = ElCLib::Value(lpar, aLine);
1255 NewFpar = ElCLib::Parameter(PrevLine, P1);
1256 NewLpar = ElCLib::Parameter(PrevLine, P2);
1259 if (ConnectByOrigin == TopAbs_FORWARD) {
1260 gp_Pnt aNewP2 = ElCLib::Value(NewLpar, PrevLine);
1262 aPntShiftDist += P2.Distance(aNewP2);
1264 gp_Pnt aNewP1 = ElCLib::Value(NewFpar, PrevLine);
1266 aPntShiftDist += P1.Distance(aNewP1);
1269 if (NewLpar < NewFpar)
1271 Standard_Real MemNewFpar = NewFpar;
1273 NewLpar = MemNewFpar;
1274 ConnectByOrigin = TopAbs::Reverse(ConnectByOrigin);
1276 Done = Standard_True;
1280 case GeomAbs_Circle:
1282 gp_Circ aCircle = BAcurve.Circle();
1283 gp_Circ PrevCircle = GAprevcurve.Circle();
1284 if (aCircle.Location().Distance(PrevCircle.Location()) <= LinTol &&
1285 Abs(aCircle.Radius() - PrevCircle.Radius()) <= LinTol &&
1286 aCircle.Axis().IsParallel(PrevCircle.Axis(), AngTol))
1288 const Standard_Boolean isFwd = ConnectByOrigin == TopAbs_FORWARD;
1290 if (aCircle.Axis().Direction() * PrevCircle.Axis().Direction() < 0.)
1292 Standard_Real memfpar = fpar;
1295 ConnectByOrigin = TopAbs::Reverse(ConnectByOrigin);
1297 gp_Pnt P1 = ElCLib::Value(fpar, aCircle);
1298 gp_Pnt P2 = ElCLib::Value(lpar, aCircle);
1299 NewFpar = ElCLib::Parameter(PrevCircle, P1);
1300 NewLpar = ElCLib::Parameter(PrevCircle, P2);
1304 gp_Pnt aNewP2 = ElCLib::Value(NewLpar, PrevCircle);
1306 aPntShiftDist += P2.Distance(aNewP2);
1308 gp_Pnt aNewP1 = ElCLib::Value(NewFpar, PrevCircle);
1310 aPntShiftDist += P1.Distance(aNewP1);
1313 if (NewLpar < NewFpar)
1315 //Standard_Real MemNewFpar = NewFpar, MemNewLpar = NewLpar;
1316 if (ConnectByOrigin == TopAbs_FORWARD)
1317 ElCLib::AdjustPeriodic(FparSeq.Last(),
1318 FparSeq.Last() + 2.*M_PI,
1319 Precision::PConfusion(), NewFpar, NewLpar);
1321 ElCLib::AdjustPeriodic(FparSeq.Last() - 2.*M_PI,
1323 Precision::PConfusion(), NewFpar, NewLpar);
1324 Done = Standard_True;
1328 case GeomAbs_Ellipse:
1330 gp_Elips anEllipse = BAcurve.Ellipse();
1331 gp_Elips PrevEllipse = GAprevcurve.Ellipse();
1332 if (anEllipse.Focus1().Distance(PrevEllipse.Focus1()) <= LinTol &&
1333 anEllipse.Focus2().Distance(PrevEllipse.Focus2()) <= LinTol &&
1334 Abs(anEllipse.MajorRadius() - PrevEllipse.MajorRadius()) <= LinTol &&
1335 Abs(anEllipse.MinorRadius() - PrevEllipse.MinorRadius()) <= LinTol &&
1336 anEllipse.Axis().IsParallel(PrevEllipse.Axis(), AngTol))
1338 const Standard_Boolean isFwd = ConnectByOrigin == TopAbs_FORWARD;
1340 if (anEllipse.Axis().Direction() * PrevEllipse.Axis().Direction() < 0.)
1342 Standard_Real memfpar = fpar;
1345 ConnectByOrigin = TopAbs::Reverse(ConnectByOrigin);
1347 gp_Pnt P1 = ElCLib::Value(fpar, anEllipse);
1348 gp_Pnt P2 = ElCLib::Value(lpar, anEllipse);
1349 NewFpar = ElCLib::Parameter(PrevEllipse, P1);
1350 NewLpar = ElCLib::Parameter(PrevEllipse, P2);
1354 gp_Pnt aNewP2 = ElCLib::Value(NewLpar, PrevEllipse);
1356 aPntShiftDist += P2.Distance(aNewP2);
1358 gp_Pnt aNewP1 = ElCLib::Value(NewFpar, PrevEllipse);
1360 aPntShiftDist += P1.Distance(aNewP1);
1363 if (NewLpar < NewFpar)
1365 if (ConnectByOrigin == TopAbs_FORWARD)
1366 ElCLib::AdjustPeriodic(FparSeq.Last(),
1367 FparSeq.Last() + 2.*M_PI,
1368 Precision::PConfusion(), NewFpar, NewLpar);
1370 ElCLib::AdjustPeriodic(FparSeq.Last() - 2.*M_PI,
1372 Precision::PConfusion(), NewFpar, NewLpar);
1373 Done = Standard_True;
1377 case GeomAbs_Hyperbola:
1379 gp_Hypr aHypr = BAcurve.Hyperbola();
1380 gp_Hypr PrevHypr = GAprevcurve.Hyperbola();
1381 if (aHypr.Focus1().Distance(PrevHypr.Focus1()) <= LinTol &&
1382 aHypr.Focus2().Distance(PrevHypr.Focus2()) <= LinTol &&
1383 Abs(aHypr.MajorRadius() - PrevHypr.MajorRadius()) <= LinTol &&
1384 Abs(aHypr.MinorRadius() - PrevHypr.MinorRadius()) <= LinTol &&
1385 aHypr.Axis().IsParallel(PrevHypr.Axis(), AngTol))
1387 gp_Pnt P1 = ElCLib::Value(fpar, aHypr);
1388 gp_Pnt P2 = ElCLib::Value(lpar, aHypr);
1389 NewFpar = ElCLib::Parameter(PrevHypr, P1);
1390 NewLpar = ElCLib::Parameter(PrevHypr, P2);
1393 if (ConnectByOrigin == TopAbs_FORWARD) {
1394 gp_Pnt aNewP2 = ElCLib::Value(NewLpar, PrevHypr);
1396 aPntShiftDist += P2.Distance(aNewP2);
1398 gp_Pnt aNewP1 = ElCLib::Value(NewFpar, PrevHypr);
1400 aPntShiftDist += P1.Distance(aNewP1);
1403 if (NewLpar < NewFpar)
1405 Standard_Real MemNewFpar = NewFpar;
1407 NewLpar = MemNewFpar;
1408 ConnectByOrigin = TopAbs::Reverse(ConnectByOrigin);
1410 Done = Standard_True;
1414 case GeomAbs_Parabola:
1416 gp_Parab aParab = BAcurve.Parabola();
1417 gp_Parab PrevParab = GAprevcurve.Parabola();
1418 if (aParab.Location().Distance(PrevParab.Location()) <= LinTol &&
1419 aParab.Focus().Distance(PrevParab.Focus()) <= LinTol &&
1420 Abs(aParab.Focal() - PrevParab.Focal()) <= LinTol &&
1421 aParab.Axis().IsParallel(PrevParab.Axis(), AngTol))
1423 gp_Pnt P1 = ElCLib::Value(fpar, aParab);
1424 gp_Pnt P2 = ElCLib::Value(lpar, aParab);
1425 NewFpar = ElCLib::Parameter(PrevParab, P1);
1426 NewLpar = ElCLib::Parameter(PrevParab, P2);
1429 if (ConnectByOrigin == TopAbs_FORWARD) {
1430 gp_Pnt aNewP2 = ElCLib::Value(NewLpar, PrevParab);
1432 aPntShiftDist += P2.Distance(aNewP2);
1434 gp_Pnt aNewP1 = ElCLib::Value(NewFpar, PrevParab);
1436 aPntShiftDist += P1.Distance(aNewP1);
1439 if (NewLpar < NewFpar)
1441 Standard_Real MemNewFpar = NewFpar;
1443 NewLpar = MemNewFpar;
1444 ConnectByOrigin = TopAbs::Reverse(ConnectByOrigin);
1446 Done = Standard_True;
1450 } //end of switch (aType)
1451 } // end of else if (aType == CurType && ...
1454 if (NewFpar < FparSeq.Last())
1455 FparSeq(FparSeq.Length()) = NewFpar;
1457 LparSeq(LparSeq.Length()) = NewLpar;
1461 CurveSeq.Append(aCurve);
1462 TopoDS_Shape aLocShape;
1463 aLocShape.Location(aLoc);
1464 aLocShape.Orientation(wexp.Orientation());
1465 LocSeq.Append(aLocShape);
1466 FparSeq.Append(fpar);
1467 LparSeq.Append(lpar);
1468 TolSeq.Append(aPntShiftDist + BRep_Tool::Tolerance(CurVertex));
1472 } // end of else (CurveSeq.IsEmpty()) -> not first time
1473 } // end for (; wexp.More(); wexp.Next())
1475 LastVertex = wexp.CurrentVertex();
1476 TolSeq.Append(aPntShiftDist + BRep_Tool::Tolerance(LastVertex));
1478 FirstVertex.Orientation(TopAbs_FORWARD);
1479 LastVertex.Orientation(TopAbs_REVERSED);
1481 if (!CurveSeq.IsEmpty())
1483 Standard_Integer nb_curve = CurveSeq.Length(); //number of curves
1484 TColGeom_Array1OfBSplineCurve tab(0,nb_curve-1); //array of the curves
1485 TColStd_Array1OfReal tabtolvertex(0,nb_curve-1); //(0,nb_curve-2); //array of the tolerances
1491 for (i = 1; i <= nb_curve; i++)
1493 if (CurveSeq(i)->IsInstance(STANDARD_TYPE(Geom_TrimmedCurve)))
1494 CurveSeq(i) = (*((Handle(Geom_TrimmedCurve)*)&(CurveSeq(i))))->BasisCurve();
1496 Handle(Geom_TrimmedCurve) aTrCurve = new Geom_TrimmedCurve(CurveSeq(i), FparSeq(i), LparSeq(i));
1497 tab(i-1) = GeomConvert::CurveToBSplineCurve(aTrCurve);
1498 tab(i-1)->Transform(LocSeq(i).Location().Transformation());
1499 GeomConvert::C0BSplineToC1BSplineCurve(tab(i-1), Precision::Confusion());
1500 if (LocSeq(i).Orientation() == TopAbs_REVERSED)
1501 tab(i-1)->Reverse();
1504 //char* name = new char[100];
1505 //sprintf(name, "c%d", i);
1506 //DrawTrSurf::Set(name, tab(i-1));
1509 tabtolvertex(i-2) = TolSeq(i-1);
1510 } // end for (i = 1; i <= nb_curve; i++)
1511 tabtolvertex(nb_curve-1) = TolSeq(TolSeq.Length());
1513 Standard_Boolean closed_flag = Standard_False;
1514 Standard_Real closed_tolerance = 0.;
1515 if (FirstVertex.IsSame(LastVertex) &&
1516 GeomLProp::Continuity(tab(0), tab(nb_curve-1),
1517 tab(0)->FirstParameter(),
1518 tab(nb_curve-1)->LastParameter(),
1519 Standard_False, Standard_False, LinTol, AngTol) >= GeomAbs_G1)
1521 closed_flag = Standard_True ;
1522 closed_tolerance = BRep_Tool::Tolerance(FirstVertex);
1525 Handle(TColGeom_HArray1OfBSplineCurve) concatcurve; //array of the concatenated curves
1526 Handle(TColStd_HArray1OfInteger) ArrayOfIndices; //array of the remining Vertex
1527 GeomConvert::ConcatC1(tab,
1532 closed_tolerance); //C1 concatenation
1534 if (concatcurve->Length() > 1)
1536 GeomConvert_CompCurveToBSplineCurve Concat(concatcurve->Value(concatcurve->Lower()));
1538 for (i = concatcurve->Lower()+1; i <= concatcurve->Upper(); i++)
1539 Concat.Add( concatcurve->Value(i), LinTol, Standard_True );
1541 concatcurve->SetValue(concatcurve->Lower(), Concat.BSplineCurve());
1543 // rnc : prevents the driver from building an edge without C1 continuity
1544 if (concatcurve->Value(concatcurve->Lower())->Continuity()==GeomAbs_C0){
1545 Standard_ConstructionError::Raise("Construction aborted : The given Wire has sharp bends between some Edges, no valid Edge can be built");
1548 Standard_Boolean isValidEndVtx = Standard_True;
1551 // Check if closed curve is reordered.
1552 Handle(Geom_BSplineCurve) aCurve = concatcurve->Value(concatcurve->Lower());
1553 Standard_Real aFPar = aCurve->FirstParameter();
1555 gp_Pnt aPntVtx = BRep_Tool::Pnt(FirstVertex);
1556 Standard_Real aTolVtx = BRep_Tool::Tolerance(FirstVertex);
1558 aCurve->D0(aFPar, aPFirst);
1560 if (!aPFirst.IsEqual(aPntVtx, aTolVtx)) {
1561 // The curve is reordered. Find the new first and last vertices.
1562 TopTools_IndexedMapOfShape aMapVtx;
1563 TopExp::MapShapes(theWire, TopAbs_VERTEX, aMapVtx);
1565 const Standard_Integer aNbVtx = aMapVtx.Extent();
1566 Standard_Integer iVtx;
1568 for (iVtx = 1; iVtx <= aNbVtx; iVtx++) {
1569 const TopoDS_Vertex aVtx = TopoDS::Vertex(aMapVtx.FindKey(iVtx));
1570 const gp_Pnt aPnt = BRep_Tool::Pnt(aVtx);
1571 const Standard_Real aTol = BRep_Tool::Tolerance(aVtx);
1573 if (aPFirst.IsEqual(aPnt, aTol)) {
1574 // The coinsident vertex is found.
1577 FirstVertex.Orientation(TopAbs_FORWARD);
1578 LastVertex.Orientation(TopAbs_REVERSED);
1583 if (iVtx > aNbVtx) {
1584 // It is necessary to create new vertices.
1585 isValidEndVtx = Standard_False;
1590 if (isValidEndVtx) {
1591 ResEdge = BRepLib_MakeEdge(concatcurve->Value(concatcurve->Lower()),
1592 FirstVertex, LastVertex,
1593 concatcurve->Value(concatcurve->Lower())->FirstParameter(),
1594 concatcurve->Value(concatcurve->Lower())->LastParameter());
1596 ResEdge = BRepLib_MakeEdge(concatcurve->Value(concatcurve->Lower()),
1597 concatcurve->Value(concatcurve->Lower())->FirstParameter(),
1598 concatcurve->Value(concatcurve->Lower())->LastParameter());
1603 if (CurveSeq(1)->IsInstance(STANDARD_TYPE(Geom_TrimmedCurve)))
1604 CurveSeq(1) = (*((Handle(Geom_TrimmedCurve)*)&(CurveSeq(1))))->BasisCurve();
1606 Handle(Geom_Curve) aNewCurve =
1607 Handle(Geom_Curve)::DownCast(CurveSeq(1)->Copy());
1609 aNewCurve->Transform(LocSeq(1).Location().Transformation());
1611 if (LocSeq(1).Orientation() == TopAbs_REVERSED) {
1612 const TopoDS_Vertex aVtxTmp = FirstVertex;
1614 FirstVertex = LastVertex;
1615 LastVertex = aVtxTmp;
1616 FirstVertex.Orientation(TopAbs_FORWARD);
1617 LastVertex.Orientation(TopAbs_REVERSED);
1620 ResEdge = BRepLib_MakeEdge(aNewCurve,
1621 FirstVertex, LastVertex,
1622 FparSeq(1), LparSeq(1));
1624 if (LocSeq(1).Orientation() == TopAbs_REVERSED) {
1633 //=============================================================================
1635 * \brief Returns an isoline for a face.
1637 //=============================================================================
1639 TopoDS_Shape GEOMImpl_ShapeDriver::MakeIsoline
1640 (const TopoDS_Face &theFace,
1642 const double theParameter) const
1644 TopoDS_Shape aResult;
1645 GEOMUtils::Hatcher aHatcher(theFace);
1646 const GeomAbs_IsoType aType = (IsUIso ? GeomAbs_IsoU : GeomAbs_IsoV);
1648 aHatcher.Init(aType, theParameter);
1651 if (!aHatcher.IsDone()) {
1652 Standard_ConstructionError::Raise("MakeIsoline : Hatcher failure");
1655 const Handle(TColStd_HArray1OfInteger) &anIndices =
1656 (IsUIso ? aHatcher.GetUIndices() : aHatcher.GetVIndices());
1658 if (anIndices.IsNull()) {
1659 Standard_ConstructionError::Raise("MakeIsoline : Null hatching indices");
1662 const Standard_Integer anIsoInd = anIndices->Lower();
1663 const Standard_Integer aHatchingIndex = anIndices->Value(anIsoInd);
1665 if (aHatchingIndex == 0) {
1666 Standard_ConstructionError::Raise("MakeIsoline : Invalid hatching index");
1669 const Standard_Integer aNbDomains =
1670 aHatcher.GetNbDomains(aHatchingIndex);
1672 if (aNbDomains < 0) {
1673 Standard_ConstructionError::Raise("MakeIsoline : Invalid number of domains");
1676 // The hatching is performed successfully. Create the 3d Curve.
1677 Handle(Geom_Surface) aSurface = BRep_Tool::Surface(theFace);
1678 Handle(Geom_Curve) anIsoCurve = (IsUIso ?
1679 aSurface->UIso(theParameter) : aSurface->VIso(theParameter));
1680 Handle(Geom2d_Curve) aPIsoCurve =
1681 aHatcher.GetHatching(aHatchingIndex);
1682 const Standard_Real aTol = Precision::Confusion();
1683 Standard_Integer anIDom = 1;
1686 BRep_Builder aBuilder;
1687 Standard_Integer aNbEdges = 0;
1689 for (; anIDom <= aNbDomains; anIDom++) {
1690 if (aHatcher.GetDomain(aHatchingIndex, anIDom, aV1, aV2)) {
1691 // Check first and last parameters.
1692 if (!aHatcher.IsDomainInfinite(aHatchingIndex, anIDom)) {
1694 TopoDS_Edge anEdge = BRepBuilderAPI_MakeEdge(anIsoCurve, aV1, aV2);
1696 // Update it with a parametric curve on face.
1697 aBuilder.UpdateEdge(anEdge, aPIsoCurve, theFace, aTol);
1701 // Result is a compond.
1702 if (aNbEdges == 2) {
1703 // Create a new compound.
1704 TopoDS_Compound aCompound;
1706 aBuilder.MakeCompound(aCompound);
1707 aBuilder.Add(aCompound, aResult);
1708 aResult = aCompound;
1711 // Add an edge to the compound.
1712 aBuilder.Add(aResult, anEdge);
1714 // Result is the edge.
1721 if (aNbEdges == 0) {
1722 Standard_ConstructionError::Raise("MakeIsoline : Empty result");
1728 //=============================================================================
1730 * \brief Returns an extended edge.
1732 //=============================================================================
1734 TopoDS_Shape GEOMImpl_ShapeDriver::ExtendEdge
1735 (const TopoDS_Edge &theEdge,
1736 const Standard_Real theMin,
1737 const Standard_Real theMax) const
1739 TopoDS_Shape aResult;
1742 Handle(Geom_Curve) aCurve = BRep_Tool::Curve(theEdge, aF, aL);
1743 const Standard_Real aTol = BRep_Tool::Tolerance(theEdge);
1744 Standard_Real aRange2d = aL - aF;
1746 if (aCurve.IsNull() == Standard_False && aRange2d > aTol) {
1747 Standard_Real aMin = aF + aRange2d*theMin;
1748 Standard_Real aMax = aF + aRange2d*theMax;
1750 Handle(Standard_Type) aType = aCurve->DynamicType();
1752 // Get the curve of original type
1753 while (aType == STANDARD_TYPE(Geom_TrimmedCurve)) {
1754 Handle(Geom_TrimmedCurve) aTrCurve =
1755 Handle(Geom_TrimmedCurve)::DownCast(aCurve);
1757 aCurve = aTrCurve->BasisCurve();
1758 aType = aCurve->DynamicType();
1761 if (aCurve->IsPeriodic()) {
1762 // The curve is periodic. Check if a new range is less then a period.
1763 if (aMax - aMin > aCurve->Period()) {
1764 aMax = aMin + aCurve->Period();
1767 // The curve is not periodic. Check if aMin and aMax within bounds.
1768 aMin = Max(aMin, aCurve->FirstParameter());
1769 aMax = Min(aMax, aCurve->LastParameter());
1772 if (aMax - aMin > aTol) {
1773 // Create a new edge.
1774 BRepBuilderAPI_MakeEdge aME (aCurve, aMin, aMax);
1777 aResult = aME.Shape();
1785 //=============================================================================
1787 * \brief Returns an extended face.
1789 //=============================================================================
1791 TopoDS_Shape GEOMImpl_ShapeDriver::ExtendFace
1792 (const TopoDS_Face &theFace,
1793 const Standard_Real theUMin,
1794 const Standard_Real theUMax,
1795 const Standard_Real theVMin,
1796 const Standard_Real theVMax) const
1798 TopoDS_Shape aResult;
1799 Handle(Geom_Surface) aSurface = BRep_Tool::Surface(theFace);
1800 const Standard_Real aTol = BRep_Tool::Tolerance(theFace);
1806 // Get U, V bounds of the face.
1807 ShapeAnalysis::GetFaceUVBounds(theFace, aU1, aU2, aV1, aV2);
1809 const Standard_Real aURange = aU2 - aU1;
1810 const Standard_Real aVRange = aV2 - aV1;
1812 if (aSurface.IsNull() == Standard_False &&
1813 aURange > aTol && aURange > aTol) {
1814 Handle(Standard_Type) aType = aSurface->DynamicType();
1816 // Get the surface of original type
1817 while (aType == STANDARD_TYPE(Geom_RectangularTrimmedSurface)) {
1818 Handle(Geom_RectangularTrimmedSurface) aTrSurface =
1819 Handle(Geom_RectangularTrimmedSurface)::DownCast(aSurface);
1821 aSurface = aTrSurface->BasisSurface();
1822 aType = aSurface->DynamicType();
1825 Standard_Real aUMin = aU1 + aURange*theUMin;
1826 Standard_Real aUMax = aU1 + aURange*theUMax;
1827 Standard_Real aVMin = aV1 + aVRange*theVMin;
1828 Standard_Real aVMax = aV1 + aVRange*theVMax;
1830 aSurface->Bounds(aU1, aU2, aV1, aV2);
1832 if (aSurface->IsUPeriodic()) {
1833 // The surface is U-periodic. Check if a new U range is less
1835 if (aUMax - aUMin > aSurface->UPeriod()) {
1836 aUMax = aUMin + aSurface->UPeriod();
1839 // The surface is not V-periodic. Check if aUMin and aUMax
1841 aUMin = Max(aUMin, aU1);
1842 aUMax = Min(aUMax, aU2);
1845 if (aSurface->IsVPeriodic()) {
1846 // The surface is V-periodic. Check if a new V range is less
1848 if (aVMax - aVMin > aSurface->VPeriod()) {
1849 aVMax = aVMin + aSurface->VPeriod();
1852 // The surface is not V-periodic. Check if aVMin and aVMax
1854 aVMin = Max(aVMin, aV1);
1855 aVMax = Min(aVMax, aV2);
1858 if (aUMax - aUMin > aTol && aVMax - aVMin > aTol) {
1859 // Create a new edge.
1860 BRepBuilderAPI_MakeFace aMF
1861 (aSurface, aUMin, aUMax, aVMin, aVMax, aTol);
1864 aResult = aMF.Shape();
1872 //================================================================================
1874 * \brief Returns a name of creation operation and names and values of creation parameters
1876 //================================================================================
1878 bool GEOMImpl_ShapeDriver::
1879 GetCreationInformation(std::string& theOperationName,
1880 std::vector<GEOM_Param>& theParams)
1882 if (Label().IsNull()) return 0;
1883 Handle(GEOM_Function) function = GEOM_Function::GetFunction(Label());
1885 GEOMImpl_IShapes aCI( function );
1886 Standard_Integer aType = function->GetType();
1890 theOperationName = "WIRE";
1891 AddParam( theParams, "Wires/edges", aCI.GetShapes() );
1892 AddParam( theParams, "Tolerance", aCI.GetTolerance() );
1895 theOperationName = "FACE";
1896 AddParam( theParams, "Wire/edge", aCI.GetBase() );
1897 AddParam( theParams, "Is planar wanted", aCI.GetIsPlanar() );
1900 theOperationName = "FACE";
1901 AddParam( theParams, "Wires/edges", aCI.GetShapes() );
1902 AddParam( theParams, "Is planar wanted", aCI.GetIsPlanar() );
1904 case FACE_FROM_SURFACE:
1906 theOperationName = "FACE";
1908 Handle(TColStd_HSequenceOfTransient) shapes = aCI.GetShapes();
1910 if (shapes.IsNull() == Standard_False) {
1911 Standard_Integer aNbShapes = shapes->Length();
1913 if (aNbShapes > 0) {
1914 AddParam(theParams, "Face", shapes->Value(1));
1916 if (aNbShapes > 1) {
1917 AddParam(theParams, "Wire", shapes->Value(2));
1924 theOperationName = "SHELL";
1925 AddParam( theParams, "Objects", aCI.GetShapes() );
1928 theOperationName = "SOLID";
1929 AddParam( theParams, "Objects", aCI.GetShapes() );
1932 theOperationName = "SOLID_FROM_FACES";
1933 AddParam( theParams, "Objects", aCI.GetShapes() );
1934 AddParam( theParams, "Is intersect", aCI.GetIsIntersect() );
1936 case COMPOUND_SHAPES:
1937 theOperationName = "COMPOUND";
1938 AddParam( theParams, "Objects", aCI.GetShapes() );
1941 theOperationName = "EDGE";
1942 AddParam( theParams, "Wire", aCI.GetBase() );
1943 AddParam( theParams, "Linear Tolerance", aCI.GetTolerance() );
1944 AddParam( theParams, "Angular Tolerance", aCI.GetAngularTolerance() );
1946 case EDGE_CURVE_LENGTH:
1947 theOperationName = "EDGE";
1949 GEOMImpl_IVector aCI( function );
1950 AddParam( theParams, "Edge", aCI.GetPoint1() );
1951 AddParam( theParams, "Start point", aCI.GetPoint2() );
1952 AddParam( theParams, "Length", aCI.GetParameter() );
1955 case SHAPES_ON_SHAPE:
1957 theOperationName = "GetShapesOnShapeAsCompound";
1958 Handle(TColStd_HSequenceOfTransient) shapes = aCI.GetShapes();
1959 if ( !shapes.IsNull() && shapes->Length() > 0 )
1960 AddParam( theParams, "Check shape", shapes->Value(1) );
1961 if ( !shapes.IsNull() && shapes->Length() > 1 )
1962 AddParam( theParams, "Shape", shapes->Value(2) );
1963 AddParam( theParams, "Shape type", TopAbs_ShapeEnum( aCI.GetSubShapeType() ));
1964 AddParam( theParams, "State" );
1965 GEOMAlgo_State st = GEOMAlgo_State( (int) ( aCI.GetTolerance()+0.1 ) );
1966 const char* stName[] = { "UNKNOWN","IN","OUT","ON","ONIN","ONOUT","INOUT" };
1967 if ( 0 <= st && st <= GEOMAlgo_ST_INOUT )
1968 theParams.back() << stName[ st ];
1970 theParams.back() << (int) st;
1975 GEOMImpl_IIsoline aII (function);
1977 theOperationName = "ISOLINE";
1978 AddParam(theParams, "Face", aII.GetFace());
1979 AddParam(theParams, "Isoline type", (aII.GetIsUIso() ? "U" : "V"));
1980 AddParam(theParams, "Parameter", aII.GetParameter());
1985 GEOMImpl_IShapeExtend aSE (function);
1987 theOperationName = "EDGE_EXTEND";
1988 AddParam(theParams, "Edge", aSE.GetShape());
1989 AddParam(theParams, "Min", aSE.GetUMin());
1990 AddParam(theParams, "Max", aSE.GetUMax());
1995 GEOMImpl_IShapeExtend aSE (function);
1997 theOperationName = "FACE_EXTEND";
1998 AddParam(theParams, "Face", aSE.GetShape());
1999 AddParam(theParams, "UMin", aSE.GetUMin());
2000 AddParam(theParams, "UMax", aSE.GetUMax());
2001 AddParam(theParams, "VMin", aSE.GetVMin());
2002 AddParam(theParams, "VMax", aSE.GetVMax());
2005 case SURFACE_FROM_FACE:
2007 GEOMImpl_IShapeExtend aSE (function);
2009 theOperationName = "SURFACE_FROM_FACE";
2010 AddParam(theParams, "Face", aSE.GetShape());
2015 GEOMImpl_IExtract aCI (function);
2017 theOperationName = "EXTRACTION";
2018 AddParam(theParams, "Main Shape", aCI.GetShape());
2019 AddParam(theParams, "Sub-shape IDs", aCI.GetSubShapeIDs());
2029 IMPLEMENT_STANDARD_RTTIEXT (GEOMImpl_ShapeDriver,GEOM_BaseDriver);
2031 //modified by NIZNHY-PKV Wed Dec 28 13:48:31 2011f
2032 #include <TopoDS_Iterator.hxx>
2033 #include <TopTools_HSequenceOfShape.hxx>
2034 #include <ShapeAnalysis_FreeBounds.hxx>
2035 #include <TopTools_MapOfShape.hxx>
2036 #include <TopTools_MapOfOrientedShape.hxx>
2037 #include <BRep_Builder.hxx>
2038 #include <TopoDS_Wire.hxx>
2040 //=======================================================================
2041 //function : KeepEdgesOrder
2043 //=======================================================================
2045 void KeepEdgesOrder(const Handle(TopTools_HSequenceOfShape)& aEdges,
2046 const Handle(TopTools_HSequenceOfShape)& aWires)
2048 Standard_Integer aNbWires, aNbEdges;
2050 if (aEdges.IsNull()) {
2054 if (aWires.IsNull()) {
2058 aNbEdges=aEdges->Length();
2059 aNbWires=aWires->Length();
2060 if (!aNbEdges || !aNbWires) {
2064 Standard_Boolean bClosed;
2065 Standard_Integer i, j;
2067 TopoDS_Iterator aIt;
2069 TopTools_MapOfOrientedShape aMEx;
2071 for (i=1; i<=aNbWires; ++i) {
2072 const TopoDS_Shape& aWx=aWires->Value(i);
2075 aIt.Initialize (aWx);
2076 for (; aIt.More(); aIt.Next()) {
2077 const TopoDS_Shape& aEx=aIt.Value();
2082 for (j=1; j<=aNbEdges; ++j) {
2083 const TopoDS_Shape& aE=aEdges->Value(j);
2084 if (aMEx.Contains(aE)) {
2089 bClosed=aWx.Closed();
2090 aWy.Closed(bClosed);
2092 aWires->Append(aWy);
2093 }// for (i=1; i<=aNbWires; ++i) {
2095 aWires->Remove(1, aNbWires);
2098 //modified by NIZNHY-PKV Wed Dec 28 13:48:34 2011t