1 // Copyright (C) 2007-2008 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.
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
22 #include <GEOMImpl_ShapeDriver.hxx>
24 #include <GEOMImpl_IShapes.hxx>
25 #include <GEOMImpl_Types.hxx>
26 #include <GEOMImpl_Block6Explorer.hxx>
28 #include <GEOM_Function.hxx>
31 #include <ShapeFix_Wire.hxx>
32 #include <ShapeFix_Edge.hxx>
34 #include <BRep_Tool.hxx>
35 #include <BRep_Builder.hxx>
36 #include <BRepAlgo_FaceRestrictor.hxx>
37 #include <BRepBuilderAPI_Sewing.hxx>
38 #include <BRepBuilderAPI_Copy.hxx>
39 #include <BRepCheck.hxx>
40 #include <BRepCheck_Analyzer.hxx>
41 #include <BRepCheck_Shell.hxx>
42 #include <BRepClass3d_SolidClassifier.hxx>
43 #include <BRepBuilderAPI_MakeWire.hxx>
44 #include <BRepBuilderAPI_Sewing.hxx>
46 #include <ShapeAnalysis_FreeBounds.hxx>
50 #include <TopoDS_Shape.hxx>
51 #include <TopoDS_Edge.hxx>
52 #include <TopoDS_Wire.hxx>
53 #include <TopoDS_Shell.hxx>
54 #include <TopoDS_Solid.hxx>
55 #include <TopoDS_Compound.hxx>
56 #include <TopoDS_Iterator.hxx>
58 #include <TopExp_Explorer.hxx>
60 #include <TopTools_MapOfShape.hxx>
61 #include <TopTools_HSequenceOfShape.hxx>
63 #include <TColStd_HSequenceOfTransient.hxx>
65 #include <Precision.hxx>
66 #include <Standard_NullObject.hxx>
67 #include <Standard_TypeMismatch.hxx>
68 #include <Standard_ConstructionError.hxx>
70 //=======================================================================
73 //=======================================================================
74 const Standard_GUID& GEOMImpl_ShapeDriver::GetID()
76 static Standard_GUID aShapeDriver("FF1BBB54-5D14-4df2-980B-3A668264EA16");
81 //=======================================================================
82 //function : GEOMImpl_ShapeDriver
84 //=======================================================================
85 GEOMImpl_ShapeDriver::GEOMImpl_ShapeDriver()
89 //=======================================================================
92 //=======================================================================
93 Standard_Integer GEOMImpl_ShapeDriver::Execute(TFunction_Logbook& log) const
95 if (Label().IsNull()) return 0;
96 Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
98 GEOMImpl_IShapes aCI (aFunction);
99 Standard_Integer aType = aFunction->GetType();
104 if (aType == WIRE_EDGES) {
105 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
106 unsigned int ind, nbshapes = aShapes->Length();
110 BRepBuilderAPI_MakeWire MW;
111 bool isMWDone = true;
114 for (ind = 1; ind <= nbshapes; ind++) {
115 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
116 TopoDS_Shape aShape_i = aRefShape->GetValue();
117 if (aShape_i.IsNull()) {
118 Standard_NullObject::Raise("Shape for wire construction is null");
120 if (aShape_i.ShapeType() == TopAbs_EDGE) {
121 B.Add(aWire, TopoDS::Edge(aShape_i));
122 MW.Add(TopoDS::Edge(aShape_i));
124 // check status after each edge/wire addition, because the final status
125 // can be OK even in case, when some edges/wires was not accepted.
128 } else if (aShape_i.ShapeType() == TopAbs_WIRE) {
129 TopExp_Explorer exp (aShape_i, TopAbs_EDGE);
130 for (; exp.More(); exp.Next()) {
131 B.Add(aWire, TopoDS::Edge(exp.Current()));
132 MW.Add(TopoDS::Edge(exp.Current()));
134 // check status after each edge/wire addition, because the final status
135 // can be OK even in case, when some edges/wires was not accepted.
140 Standard_TypeMismatch::Raise
141 ("Shape for wire construction is neither an edge nor a wire");
149 Handle(ShapeFix_Wire) aFW = new ShapeFix_Wire;
153 if (aFW->StatusReorder(ShapeExtend_FAIL1)) {
154 Standard_ConstructionError::Raise("Wire construction failed: several loops detected");
155 } else if (aFW->StatusReorder(ShapeExtend_FAIL)) {
156 Standard_ConstructionError::Raise("Wire construction failed");
157 //} else if (aFW->StatusReorder(ShapeExtend_DONE2)) {
158 // Standard_ConstructionError::Raise("Wire construction failed: some gaps detected");
162 // IMP 0019766: Building a Wire from unconnected edges by introducing a tolerance
163 Standard_Real aTolerance = aCI.GetTolerance();
164 if (aTolerance < Precision::Confusion())
165 aTolerance = Precision::Confusion();
167 aFW->ClosedWireMode() = Standard_False;
168 aFW->FixConnected(aTolerance);
169 if (aFW->StatusConnected(ShapeExtend_FAIL)) {
170 Standard_ConstructionError::Raise("Wire construction failed: cannot build connected wire");
173 if (aFW->StatusConnected(ShapeExtend_DONE3)) {
174 // Confused with <prec> but not Analyzer.Precision(), set the same
175 aFW->FixGapsByRangesMode() = Standard_True;
176 if (aFW->FixGaps3d()) {
177 Handle(ShapeExtend_WireData) sbwd = aFW->WireData();
178 Handle(ShapeFix_Edge) aFe = new ShapeFix_Edge;
179 for (Standard_Integer iedge = 1; iedge <= sbwd->NbEdges(); iedge++) {
180 TopoDS_Edge aEdge = TopoDS::Edge(sbwd->Edge(iedge));
181 aFe->FixVertexTolerance(aEdge);
182 aFe->FixSameParameter(aEdge);
185 else if (aFW->StatusGaps3d(ShapeExtend_FAIL)) {
186 Standard_ConstructionError::Raise("Wire construction failed: cannot fix 3d gaps");
190 aShape = aFW->WireAPIMake();
193 else if (aType == FACE_WIRE) {
194 Handle(GEOM_Function) aRefBase = aCI.GetBase();
195 TopoDS_Shape aShapeBase = aRefBase->GetValue();
196 if (aShapeBase.IsNull()) Standard_NullObject::Raise("Argument Shape is null");
198 if (aShapeBase.ShapeType() == TopAbs_WIRE) {
199 W = TopoDS::Wire(aShapeBase);
200 // check the wire is closed
201 TopoDS_Vertex aV1, aV2;
202 TopExp::Vertices(W, aV1, aV2);
203 if ( !aV1.IsNull() && !aV2.IsNull() && aV1.IsSame(aV2) )
204 aShapeBase.Closed(true);
206 Standard_NullObject::Raise
207 ("Shape for face construction is not closed");
209 else if (aShapeBase.ShapeType() == TopAbs_EDGE && aShapeBase.Closed()) {
210 BRepBuilderAPI_MakeWire MW;
211 MW.Add(TopoDS::Edge(aShapeBase));
213 Standard_ConstructionError::Raise("Wire construction failed");
218 Standard_NullObject::Raise
219 ("Shape for face construction is neither a wire nor a closed edge");
221 GEOMImpl_Block6Explorer::MakeFace(W, aCI.GetIsPlanar(), aShape);
222 if (aShape.IsNull()) {
223 Standard_ConstructionError::Raise("Face construction failed");
226 else if (aType == FACE_WIRES) {
227 // Try to build a face from a set of wires and edges
230 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
231 int nbshapes = aShapes->Length();
233 Standard_ConstructionError::Raise("No wires or edges given");
236 // 1. Extract all edges from the given arguments
237 TopTools_MapOfShape aMapEdges;
238 Handle(TopTools_HSequenceOfShape) aSeqEdgesIn = new TopTools_HSequenceOfShape;
240 for (ind = 1; ind <= nbshapes; ind++) {
241 Handle(GEOM_Function) aRefSh_i = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
242 TopoDS_Shape aSh_i = aRefSh_i->GetValue();
244 TopExp_Explorer anExpE_i (aSh_i, TopAbs_EDGE);
245 for (; anExpE_i.More(); anExpE_i.Next()) {
246 if (aMapEdges.Add(anExpE_i.Current())) {
247 aSeqEdgesIn->Append(anExpE_i.Current());
252 // 2. Connect edges to wires of maximum length
253 Handle(TopTools_HSequenceOfShape) aSeqWiresOut;
254 ShapeAnalysis_FreeBounds::ConnectEdgesToWires(aSeqEdgesIn, Precision::Confusion(),
255 /*shared*/Standard_False, aSeqWiresOut);
257 // 3. Separate closed wires
258 Handle(TopTools_HSequenceOfShape) aSeqClosedWires = new TopTools_HSequenceOfShape;
259 Handle(TopTools_HSequenceOfShape) aSeqOpenWires = new TopTools_HSequenceOfShape;
260 for (ind = 1; ind <= aSeqWiresOut->Length(); ind++) {
261 if (aSeqWiresOut->Value(ind).Closed())
262 aSeqClosedWires->Append(aSeqWiresOut->Value(ind));
264 aSeqOpenWires->Append(aSeqWiresOut->Value(ind));
267 if (aSeqClosedWires->Length() < 1) {
268 Standard_ConstructionError::Raise
269 ("There is no closed contour can be built from the given arguments");
272 // 4. Build a face / list of faces from all the obtained closed wires
276 TopoDS_Wire aW1 = TopoDS::Wire(aSeqClosedWires->Value(1));
277 GEOMImpl_Block6Explorer::MakeFace(aW1, aCI.GetIsPlanar(), aFFace);
278 if (aFFace.IsNull()) {
279 Standard_ConstructionError::Raise("Face construction failed");
282 // 4.b. Add other wires
283 if (aSeqClosedWires->Length() == 1) {
288 BRep_Builder aBuilder;
289 aBuilder.MakeCompound(C);
290 BRepAlgo_FaceRestrictor FR;
292 TopAbs_Orientation OriF = aFFace.Orientation();
293 TopoDS_Shape aLocalS = aFFace.Oriented(TopAbs_FORWARD);
294 FR.Init(TopoDS::Face(aLocalS), Standard_False, Standard_True);
296 for (ind = 1; ind <= aSeqClosedWires->Length(); ind++) {
297 TopoDS_Wire aW = TopoDS::Wire(aSeqClosedWires->Value(ind));
306 for (; FR.More(); FR.Next()) {
307 aFace = FR.Current().Oriented(OriF);
308 aBuilder.Add(C, aFace);
319 // 5. Add all open wires to the result
320 if (aSeqOpenWires->Length() > 0) {
321 //Standard_ConstructionError::Raise("There are some open wires");
323 BRep_Builder aBuilder;
324 if (aSeqClosedWires->Length() == 1) {
325 aBuilder.MakeCompound(C);
326 aBuilder.Add(C, aShape);
329 C = TopoDS::Compound(aShape);
332 for (ind = 1; ind <= aSeqOpenWires->Length(); ind++) {
333 aBuilder.Add(C, aSeqOpenWires->Value(ind));
339 else if (aType == SHELL_FACES) {
340 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
341 unsigned int ind, nbshapes = aShapes->Length();
344 BRepBuilderAPI_Sewing aSewing(Precision::Confusion()*10.0);
345 for (ind = 1; ind <= nbshapes; ind++) {
346 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
347 TopoDS_Shape aShape_i = aRefShape->GetValue();
348 if (aShape_i.IsNull()) {
349 Standard_NullObject::Raise("Face for shell construction is null");
351 aSewing.Add(aShape_i);
356 TopoDS_Shape sh = aSewing.SewedShape();
357 if( sh.ShapeType()==TopAbs_FACE && nbshapes==1 ) {
358 // case for creation of shell from one face - PAL12722 (skl 26.06.2006)
365 //TopExp_Explorer exp (aSewing.SewedShape(), TopAbs_SHELL);
366 TopExp_Explorer exp (sh, TopAbs_SHELL);
367 Standard_Integer ish = 0;
368 for (; exp.More(); exp.Next()) {
369 aShape = exp.Current();
374 aShape = aSewing.SewedShape();
378 else if (aType == SOLID_SHELL) {
379 Handle(GEOM_Function) aRefShell = aCI.GetBase();
380 TopoDS_Shape aShapeShell = aRefShell->GetValue();
381 if (aShapeShell.IsNull() || aShapeShell.ShapeType() != TopAbs_SHELL) {
382 Standard_NullObject::Raise("Shape for solid construction is null or not a shell");
385 BRepCheck_Shell chkShell(TopoDS::Shell(aShapeShell));
386 if(chkShell.Closed() == BRepCheck_NotClosed) return 0;
390 B.Add(Sol, aShapeShell);
391 BRepClass3d_SolidClassifier SC (Sol);
392 SC.PerformInfinitePoint(Precision::Confusion());
393 if (SC.State() == TopAbs_IN) {
395 B.Add(Sol, aShapeShell.Reversed());
401 else if (aType == SOLID_SHELLS) {
402 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
403 unsigned int ind, nbshapes = aShapes->Length();
404 Standard_Integer ish = 0;
409 for (ind = 1; ind <= nbshapes; ind++) {
410 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
411 TopoDS_Shape aShapeShell = aRefShape->GetValue();
412 if (aShapeShell.IsNull()) {
413 Standard_NullObject::Raise("Shell for solid construction is null");
415 if (aShapeShell.ShapeType() == TopAbs_SHELL) {
416 B.Add(Sol, aShapeShell);
420 if ( ish == 0 ) return 0;
421 BRepClass3d_SolidClassifier SC (Sol);
422 SC.PerformInfinitePoint(Precision::Confusion());
423 if (SC.State() == TopAbs_IN)
424 aShape = Sol.Reversed();
428 else if (aType == COMPOUND_SHAPES) {
429 Handle(TColStd_HSequenceOfTransient) aShapes = aCI.GetShapes();
430 unsigned int ind, nbshapes = aShapes->Length();
435 for (ind = 1; ind <= nbshapes; ind++) {
436 Handle(GEOM_Function) aRefShape = Handle(GEOM_Function)::DownCast(aShapes->Value(ind));
437 TopoDS_Shape aShape_i = aRefShape->GetValue();
438 if (aShape_i.IsNull()) {
439 Standard_NullObject::Raise("Shape for compound construction is null");
447 else if (aType == REVERSE_ORIENTATION) {
448 Handle(GEOM_Function) aRefShape = aCI.GetBase();
449 TopoDS_Shape aShape_i = aRefShape->GetValue();
450 if (aShape_i.IsNull()) {
451 Standard_NullObject::Raise("Shape for reverse is null");
454 BRepBuilderAPI_Copy Copy(aShape_i);
455 if( Copy.IsDone() ) {
456 TopoDS_Shape tds = Copy.Shape();
458 Standard_ConstructionError::Raise("Orientation aborted : Can not reverse the shape");
461 if( tds.Orientation() == TopAbs_FORWARD)
462 tds.Orientation(TopAbs_REVERSED);
464 tds.Orientation(TopAbs_FORWARD);
470 if (aShape.IsNull()) return 0;
472 // Check shape validity
473 BRepCheck_Analyzer ana (aShape, false);
474 if (!ana.IsValid()) {
475 //Standard_ConstructionError::Raise("Algorithm have produced an invalid shape result");
478 aFunction->SetValue(aShape);
480 log.SetTouched(Label());
486 //=======================================================================
487 //function : GEOMImpl_ShapeDriver_Type_
489 //=======================================================================
490 Standard_EXPORT Handle_Standard_Type& GEOMImpl_ShapeDriver_Type_()
493 static Handle_Standard_Type aType1 = STANDARD_TYPE(TFunction_Driver);
494 if ( aType1.IsNull()) aType1 = STANDARD_TYPE(TFunction_Driver);
495 static Handle_Standard_Type aType2 = STANDARD_TYPE(MMgt_TShared);
496 if ( aType2.IsNull()) aType2 = STANDARD_TYPE(MMgt_TShared);
497 static Handle_Standard_Type aType3 = STANDARD_TYPE(Standard_Transient);
498 if ( aType3.IsNull()) aType3 = STANDARD_TYPE(Standard_Transient);
501 static Handle_Standard_Transient _Ancestors[]= {aType1,aType2,aType3,NULL};
502 static Handle_Standard_Type _aType = new Standard_Type("GEOMImpl_ShapeDriver",
503 sizeof(GEOMImpl_ShapeDriver),
505 (Standard_Address)_Ancestors,
506 (Standard_Address)NULL);
511 //=======================================================================
512 //function : DownCast
514 //=======================================================================
515 const Handle(GEOMImpl_ShapeDriver) Handle(GEOMImpl_ShapeDriver)::DownCast(const Handle(Standard_Transient)& AnObject)
517 Handle(GEOMImpl_ShapeDriver) _anOtherObject;
519 if (!AnObject.IsNull()) {
520 if (AnObject->IsKind(STANDARD_TYPE(GEOMImpl_ShapeDriver))) {
521 _anOtherObject = Handle(GEOMImpl_ShapeDriver)((Handle(GEOMImpl_ShapeDriver)&)AnObject);
525 return _anOtherObject;