1 // Copyright (C) 2005 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
2 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
4 // This library is free software; you can redistribute it and/or
5 // modify it under the terms of the GNU Lesser General Public
6 // License as published by the Free Software Foundation; either
7 // version 2.1 of the License.
9 // This library is distributed in the hope that it will be useful
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 // Lesser General Public License for more details.
14 // You should have received a copy of the GNU Lesser General Public
15 // License along with this library; if not, write to the Free Software
16 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
21 #include <GEOMImpl_BooleanDriver.hxx>
22 #include <GEOMImpl_IBoolean.hxx>
23 #include <GEOMImpl_Types.hxx>
24 #include <GEOMImpl_GlueDriver.hxx>
25 #include <GEOM_Function.hxx>
27 #include <BRep_Builder.hxx>
28 #include <BRepAlgo.hxx>
29 #include <BRepAlgoAPI_Common.hxx>
30 #include <BRepAlgoAPI_Cut.hxx>
31 #include <BRepAlgoAPI_Fuse.hxx>
32 #include <BRepAlgoAPI_Section.hxx>
33 #include <TopExp_Explorer.hxx>
34 #include <TopoDS_Shape.hxx>
35 #include <TopoDS_Compound.hxx>
36 #include <TopoDS_Iterator.hxx>
37 #include <TopTools_MapOfShape.hxx>
38 #include <TopTools_ListOfShape.hxx>
39 #include <TopTools_ListIteratorOfListOfShape.hxx>
40 #include <Precision.hxx>
42 #include <Standard_ConstructionError.hxx>
43 #include <StdFail_NotDone.hxx>
45 //=======================================================================
48 //=======================================================================
49 const Standard_GUID& GEOMImpl_BooleanDriver::GetID()
51 static Standard_GUID aBooleanDriver("FF1BBB21-5D14-4df2-980B-3A668264EA16");
52 return aBooleanDriver;
56 //=======================================================================
57 //function : GEOMImpl_BooleanDriver
59 //=======================================================================
60 GEOMImpl_BooleanDriver::GEOMImpl_BooleanDriver()
64 void AddSimpleShapes(TopoDS_Shape theShape, TopTools_ListOfShape& theList)
66 if (theShape.ShapeType() != TopAbs_COMPOUND &&
67 theShape.ShapeType() != TopAbs_COMPSOLID) {
68 theList.Append(theShape);
72 TopTools_MapOfShape mapShape;
73 TopoDS_Iterator It (theShape, Standard_True, Standard_True);
75 for (; It.More(); It.Next()) {
76 TopoDS_Shape aShape_i = It.Value();
77 if (mapShape.Add(aShape_i)) {
78 if (aShape_i.ShapeType() == TopAbs_COMPOUND ||
79 aShape_i.ShapeType() == TopAbs_COMPSOLID) {
80 AddSimpleShapes(aShape_i, theList);
82 theList.Append(aShape_i);
88 //=======================================================================
91 //=======================================================================
92 Standard_Integer GEOMImpl_BooleanDriver::Execute(TFunction_Logbook& log) const
94 if (Label().IsNull()) return 0;
95 Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
97 GEOMImpl_IBoolean aCI (aFunction);
98 Standard_Integer aType = aFunction->GetType();
102 Handle(GEOM_Function) aRefShape1 = aCI.GetShape1();
103 Handle(GEOM_Function) aRefShape2 = aCI.GetShape2();
104 TopoDS_Shape aShape1 = aRefShape1->GetValue();
105 TopoDS_Shape aShape2 = aRefShape2->GetValue();
106 if (!aShape1.IsNull() && !aShape2.IsNull()) {
108 // perform COMMON operation
109 if (aType == BOOLEAN_COMMON) {
114 TopTools_ListOfShape listShape1, listShape2;
115 AddSimpleShapes(aShape1, listShape1);
116 AddSimpleShapes(aShape2, listShape2);
118 Standard_Boolean isCompound =
119 (listShape1.Extent() > 1 || listShape2.Extent() > 1);
121 TopTools_ListIteratorOfListOfShape itSub1 (listShape1);
122 for (; itSub1.More(); itSub1.Next()) {
123 TopoDS_Shape aValue1 = itSub1.Value();
124 TopTools_ListIteratorOfListOfShape itSub2 (listShape2);
125 for (; itSub2.More(); itSub2.Next()) {
126 TopoDS_Shape aValue2 = itSub2.Value();
127 BRepAlgoAPI_Common BO (aValue1, aValue2);
129 StdFail_NotDone::Raise("Common operation can not be performed on the given shapes");
132 TopoDS_Shape aStepResult = BO.Shape();
134 // check result of this step: if it is a compound (boolean operations
135 // allways return a compound), we add all sub-shapes of it.
136 // This allows to avoid adding empty compounds,
137 // resulting from COMMON on two non-intersecting shapes.
138 if (aStepResult.ShapeType() == TopAbs_COMPOUND) {
139 TopoDS_Iterator aCompIter (aStepResult);
140 for (; aCompIter.More(); aCompIter.Next()) {
141 // add shape in a result
142 B.Add(C, aCompIter.Value());
146 // add shape in a result
147 B.Add(C, aStepResult);
156 TopTools_ListOfShape listShapeC;
157 AddSimpleShapes(C, listShapeC);
158 TopTools_ListIteratorOfListOfShape itSubC (listShapeC);
159 bool isOnlySolids = true;
160 for (; itSubC.More(); itSubC.Next()) {
161 TopoDS_Shape aValueC = itSubC.Value();
162 if (aValueC.ShapeType() != TopAbs_SOLID) isOnlySolids = false;
165 aShape = GEOMImpl_GlueDriver::GlueFaces(C, Precision::Confusion());
171 // perform CUT operation
172 else if (aType == BOOLEAN_CUT) {
177 TopTools_ListOfShape listShapes, listTools;
178 AddSimpleShapes(aShape1, listShapes);
179 AddSimpleShapes(aShape2, listTools);
181 Standard_Boolean isCompound = (listShapes.Extent() > 1);
183 TopTools_ListIteratorOfListOfShape itSub1 (listShapes);
184 for (; itSub1.More(); itSub1.Next()) {
185 TopoDS_Shape aCut = itSub1.Value();
187 TopTools_ListIteratorOfListOfShape itSub2 (listTools);
188 for (; itSub2.More(); itSub2.Next()) {
189 TopoDS_Shape aTool = itSub2.Value();
190 BRepAlgoAPI_Cut BO (aCut, aTool);
192 StdFail_NotDone::Raise("Cut operation can not be performed on the given shapes");
197 // check result of this step: if it is a compound (boolean operations
198 // allways return a compound), we add all sub-shapes of it.
199 // This allows to avoid adding empty compounds,
200 // resulting from CUT of parts
201 if (aCut.ShapeType() == TopAbs_COMPOUND) {
202 TopoDS_Iterator aCompIter (aCut);
203 for (; aCompIter.More(); aCompIter.Next()) {
204 // add shape in a result
205 B.Add(C, aCompIter.Value());
209 // add shape in a result
218 TopTools_ListOfShape listShapeC;
219 AddSimpleShapes(C, listShapeC);
220 TopTools_ListIteratorOfListOfShape itSubC (listShapeC);
221 bool isOnlySolids = true;
222 for (; itSubC.More(); itSubC.Next()) {
223 TopoDS_Shape aValueC = itSubC.Value();
224 if (aValueC.ShapeType() != TopAbs_SOLID) isOnlySolids = false;
227 aShape = GEOMImpl_GlueDriver::GlueFaces(C, Precision::Confusion());
233 // perform FUSE operation
234 else if (aType == BOOLEAN_FUSE) {
236 TopTools_ListOfShape listShape1, listShape2;
237 AddSimpleShapes(aShape1, listShape1);
238 AddSimpleShapes(aShape2, listShape2);
240 if (listShape1.Extent() > 1) {
241 TopTools_ListIteratorOfListOfShape it1 (listShape1);
242 for (; it1.More(); it1.Next()) {
243 TopoDS_Shape aValue1 = it1.Value();
244 TopTools_ListIteratorOfListOfShape it2 (listShape1);
245 for (; it2.More(); it2.Next()) {
246 TopoDS_Shape aValue2 = it2.Value();
247 if (aValue2 != aValue1) {
248 BRepAlgoAPI_Section BO (aValue1, aValue2);
250 TopoDS_Shape aSect = BO.Shape();
251 TopExp_Explorer anExp (aSect, TopAbs_VERTEX);
253 StdFail_NotDone::Raise("Bad first shape for Fuse: compound with intersecting sub-shapes");
261 if (listShape2.Extent() > 1) {
262 TopTools_ListIteratorOfListOfShape it1 (listShape2);
263 for (; it1.More(); it1.Next()) {
264 TopoDS_Shape aValue1 = it1.Value();
265 TopTools_ListIteratorOfListOfShape it2 (listShape2);
266 for (; it2.More(); it2.Next()) {
267 TopoDS_Shape aValue2 = it2.Value();
268 if (aValue2 != aValue1) {
269 BRepAlgoAPI_Section BO (aValue1, aValue2);
271 TopoDS_Shape aSect = BO.Shape();
272 TopExp_Explorer anExp (aSect, TopAbs_VERTEX);
274 StdFail_NotDone::Raise("Bad second shape for Fuse: compound with intersecting sub-shapes");
283 BRepAlgoAPI_Fuse BO (aShape1, aShape2);
285 StdFail_NotDone::Raise("Fuse operation can not be performed on the given shapes");
290 // perform SECTION operation
291 else if (aType == BOOLEAN_SECTION) {
296 TopTools_ListOfShape listShape1, listShape2;
297 AddSimpleShapes(aShape1, listShape1);
298 AddSimpleShapes(aShape2, listShape2);
300 Standard_Boolean isCompound =
301 (listShape1.Extent() > 1 || listShape2.Extent() > 1);
303 TopTools_ListIteratorOfListOfShape itSub1 (listShape1);
304 for (; itSub1.More(); itSub1.Next()) {
305 TopoDS_Shape aValue1 = itSub1.Value();
306 TopTools_ListIteratorOfListOfShape itSub2 (listShape2);
307 for (; itSub2.More(); itSub2.Next()) {
308 TopoDS_Shape aValue2 = itSub2.Value();
309 BRepAlgoAPI_Section BO (aValue1, aValue2, Standard_False);
310 // Set approximation to have an attached 3D BSpline geometry to each edge,
311 // where analytic curve is not possible. Without this flag in some cases
312 // we obtain BSpline curve of degree 1 (C0), which is slowly
313 // processed by some algorithms (Partition for example).
314 BO.Approximation(Standard_True);
317 StdFail_NotDone::Raise("Section operation can not be performed on the given shapes");
320 TopoDS_Shape aStepResult = BO.Shape();
322 // check result of this step: if it is a compound (boolean operations
323 // allways return a compound), we add all sub-shapes of it.
324 // This allows to avoid adding empty compounds,
325 // resulting from SECTION on two non-intersecting shapes.
326 if (aStepResult.ShapeType() == TopAbs_COMPOUND) {
327 TopoDS_Iterator aCompIter (aStepResult);
328 for (; aCompIter.More(); aCompIter.Next()) {
329 // add shape in a result
330 B.Add(C, aCompIter.Value());
334 // add shape in a result
335 B.Add(C, aStepResult);
352 if (aShape.IsNull()) return 0;
353 if (!BRepAlgo::IsValid(aShape)) {
354 Standard_ConstructionError::Raise("Boolean operation aborted : non valid shape result");
357 aFunction->SetValue(aShape);
359 log.SetTouched(Label());
365 //=======================================================================
366 //function : GEOMImpl_BooleanDriver_Type_
368 //=======================================================================
369 Standard_EXPORT Handle_Standard_Type& GEOMImpl_BooleanDriver_Type_()
372 static Handle_Standard_Type aType1 = STANDARD_TYPE(TFunction_Driver);
373 if ( aType1.IsNull()) aType1 = STANDARD_TYPE(TFunction_Driver);
374 static Handle_Standard_Type aType2 = STANDARD_TYPE(MMgt_TShared);
375 if ( aType2.IsNull()) aType2 = STANDARD_TYPE(MMgt_TShared);
376 static Handle_Standard_Type aType3 = STANDARD_TYPE(Standard_Transient);
377 if ( aType3.IsNull()) aType3 = STANDARD_TYPE(Standard_Transient);
380 static Handle_Standard_Transient _Ancestors[]= {aType1,aType2,aType3,NULL};
381 static Handle_Standard_Type _aType = new Standard_Type("GEOMImpl_BooleanDriver",
382 sizeof(GEOMImpl_BooleanDriver),
384 (Standard_Address)_Ancestors,
385 (Standard_Address)NULL);
390 //=======================================================================
391 //function : DownCast
393 //=======================================================================
394 const Handle(GEOMImpl_BooleanDriver) Handle(GEOMImpl_BooleanDriver)::DownCast(const Handle(Standard_Transient)& AnObject)
396 Handle(GEOMImpl_BooleanDriver) _anOtherObject;
398 if (!AnObject.IsNull()) {
399 if (AnObject->IsKind(STANDARD_TYPE(GEOMImpl_BooleanDriver))) {
400 _anOtherObject = Handle(GEOMImpl_BooleanDriver)((Handle(GEOMImpl_BooleanDriver)&)AnObject);
404 return _anOtherObject ;