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 <TopoDS_Shape.hxx>
34 #include <TopoDS_Compound.hxx>
35 #include <TopoDS_Iterator.hxx>
36 #include <TopTools_MapOfShape.hxx>
37 #include <TopTools_ListOfShape.hxx>
38 #include <TopTools_ListIteratorOfListOfShape.hxx>
39 #include <Precision.hxx>
41 #include <Standard_ConstructionError.hxx>
42 #include <StdFail_NotDone.hxx>
44 //=======================================================================
47 //=======================================================================
48 const Standard_GUID& GEOMImpl_BooleanDriver::GetID()
50 static Standard_GUID aBooleanDriver("FF1BBB21-5D14-4df2-980B-3A668264EA16");
51 return aBooleanDriver;
55 //=======================================================================
56 //function : GEOMImpl_BooleanDriver
58 //=======================================================================
59 GEOMImpl_BooleanDriver::GEOMImpl_BooleanDriver()
63 void AddSimpleShapes(TopoDS_Shape theShape, TopTools_ListOfShape& theList)
65 if (theShape.ShapeType() != TopAbs_COMPOUND &&
66 theShape.ShapeType() != TopAbs_COMPSOLID) {
67 theList.Append(theShape);
71 TopTools_MapOfShape mapShape;
72 TopoDS_Iterator It (theShape, Standard_True, Standard_True);
74 for (; It.More(); It.Next()) {
75 TopoDS_Shape aShape_i = It.Value();
76 if (mapShape.Add(aShape_i)) {
77 if (aShape_i.ShapeType() == TopAbs_COMPOUND ||
78 aShape_i.ShapeType() == TopAbs_COMPSOLID) {
79 AddSimpleShapes(aShape_i, theList);
81 theList.Append(aShape_i);
87 //=======================================================================
90 //=======================================================================
91 Standard_Integer GEOMImpl_BooleanDriver::Execute(TFunction_Logbook& log) const
93 if (Label().IsNull()) return 0;
94 Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
96 GEOMImpl_IBoolean aCI (aFunction);
97 Standard_Integer aType = aFunction->GetType();
101 Handle(GEOM_Function) aRefShape1 = aCI.GetShape1();
102 Handle(GEOM_Function) aRefShape2 = aCI.GetShape2();
103 TopoDS_Shape aShape1 = aRefShape1->GetValue();
104 TopoDS_Shape aShape2 = aRefShape2->GetValue();
105 if (!aShape1.IsNull() && !aShape2.IsNull()) {
107 // perform COMMON operation
108 if (aType == BOOLEAN_COMMON) {
113 TopTools_ListOfShape listShape1, listShape2;
114 AddSimpleShapes(aShape1, listShape1);
115 AddSimpleShapes(aShape2, listShape2);
117 Standard_Boolean isCompound =
118 (listShape1.Extent() > 1 || listShape2.Extent() > 1);
120 TopTools_ListIteratorOfListOfShape itSub1 (listShape1);
121 for (; itSub1.More(); itSub1.Next()) {
122 TopoDS_Shape aValue1 = itSub1.Value();
123 TopTools_ListIteratorOfListOfShape itSub2 (listShape2);
124 for (; itSub2.More(); itSub2.Next()) {
125 TopoDS_Shape aValue2 = itSub2.Value();
126 BRepAlgoAPI_Common BO (aValue1, aValue2);
128 StdFail_NotDone::Raise("Common operation can not be performed on the given shapes");
131 B.Add(C, BO.Shape());
138 TopTools_ListOfShape listShapeC;
139 AddSimpleShapes(C, listShapeC);
140 TopTools_ListIteratorOfListOfShape itSubC (listShapeC);
141 bool isOnlySolids = true;
142 for (; itSubC.More(); itSubC.Next()) {
143 TopoDS_Shape aValueC = itSubC.Value();
144 if (aValueC.ShapeType() != TopAbs_SOLID) isOnlySolids = false;
147 aShape = GEOMImpl_GlueDriver::GlueFaces(C, Precision::Confusion());
153 // perform CUT operation
154 else if (aType == BOOLEAN_CUT) {
159 TopTools_ListOfShape listShapes, listTools;
160 AddSimpleShapes(aShape1, listShapes);
161 AddSimpleShapes(aShape2, listTools);
163 Standard_Boolean isCompound = (listShapes.Extent() > 1);
165 TopTools_ListIteratorOfListOfShape itSub1 (listShapes);
166 for (; itSub1.More(); itSub1.Next()) {
167 TopoDS_Shape aCut = itSub1.Value();
169 TopTools_ListIteratorOfListOfShape itSub2 (listTools);
170 for (; itSub2.More(); itSub2.Next()) {
171 TopoDS_Shape aTool = itSub2.Value();
172 BRepAlgoAPI_Cut BO (aCut, aTool);
174 StdFail_NotDone::Raise("Cut operation can not be performed on the given shapes");
185 TopTools_ListOfShape listShapeC;
186 AddSimpleShapes(C, listShapeC);
187 TopTools_ListIteratorOfListOfShape itSubC (listShapeC);
188 bool isOnlySolids = true;
189 for (; itSubC.More(); itSubC.Next()) {
190 TopoDS_Shape aValueC = itSubC.Value();
191 if (aValueC.ShapeType() != TopAbs_SOLID) isOnlySolids = false;
194 aShape = GEOMImpl_GlueDriver::GlueFaces(C, Precision::Confusion());
200 // perform FUSE operation
201 else if (aType == BOOLEAN_FUSE) {
202 BRepAlgoAPI_Fuse BO (aShape1, aShape2);
204 StdFail_NotDone::Raise("Fuse operation can not be performed on the given shapes");
209 // perform SECTION operation
210 else if (aType == BOOLEAN_SECTION) {
215 TopTools_ListOfShape listShape1, listShape2;
216 AddSimpleShapes(aShape1, listShape1);
217 AddSimpleShapes(aShape2, listShape2);
219 Standard_Boolean isCompound =
220 (listShape1.Extent() > 1 || listShape2.Extent() > 1);
222 TopTools_ListIteratorOfListOfShape itSub1 (listShape1);
223 for (; itSub1.More(); itSub1.Next()) {
224 TopoDS_Shape aValue1 = itSub1.Value();
225 TopTools_ListIteratorOfListOfShape itSub2 (listShape2);
226 for (; itSub2.More(); itSub2.Next()) {
227 TopoDS_Shape aValue2 = itSub2.Value();
228 BRepAlgoAPI_Section BO (aValue1, aValue2);
230 StdFail_NotDone::Raise("Section operation can not be performed on the given shapes");
233 B.Add(C, BO.Shape());
248 if (aShape.IsNull()) return 0;
249 if (!BRepAlgo::IsValid(aShape)) {
250 Standard_ConstructionError::Raise("Boolean operation aborted : non valid shape result");
253 aFunction->SetValue(aShape);
255 log.SetTouched(Label());
261 //=======================================================================
262 //function : GEOMImpl_BooleanDriver_Type_
264 //=======================================================================
265 Standard_EXPORT Handle_Standard_Type& GEOMImpl_BooleanDriver_Type_()
268 static Handle_Standard_Type aType1 = STANDARD_TYPE(TFunction_Driver);
269 if ( aType1.IsNull()) aType1 = STANDARD_TYPE(TFunction_Driver);
270 static Handle_Standard_Type aType2 = STANDARD_TYPE(MMgt_TShared);
271 if ( aType2.IsNull()) aType2 = STANDARD_TYPE(MMgt_TShared);
272 static Handle_Standard_Type aType3 = STANDARD_TYPE(Standard_Transient);
273 if ( aType3.IsNull()) aType3 = STANDARD_TYPE(Standard_Transient);
276 static Handle_Standard_Transient _Ancestors[]= {aType1,aType2,aType3,NULL};
277 static Handle_Standard_Type _aType = new Standard_Type("GEOMImpl_BooleanDriver",
278 sizeof(GEOMImpl_BooleanDriver),
280 (Standard_Address)_Ancestors,
281 (Standard_Address)NULL);
286 //=======================================================================
287 //function : DownCast
289 //=======================================================================
290 const Handle(GEOMImpl_BooleanDriver) Handle(GEOMImpl_BooleanDriver)::DownCast(const Handle(Standard_Transient)& AnObject)
292 Handle(GEOMImpl_BooleanDriver) _anOtherObject;
294 if (!AnObject.IsNull()) {
295 if (AnObject->IsKind(STANDARD_TYPE(GEOMImpl_BooleanDriver))) {
296 _anOtherObject = Handle(GEOMImpl_BooleanDriver)((Handle(GEOMImpl_BooleanDriver)&)AnObject);
300 return _anOtherObject ;