1 // Copyright (C) 2014-2017 CEA/DEN, EDF R&D
3 // This library is free software; you can redistribute it and/or
4 // modify it under the terms of the GNU Lesser General Public
5 // License as published by the Free Software Foundation; either
6 // version 2.1 of the License, or (at your option) any later version.
8 // This library is distributed in the hope that it will be useful,
9 // but WITHOUT ANY WARRANTY; without even the implied warranty of
10 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 // Lesser General Public License for more details.
13 // You should have received a copy of the GNU Lesser General Public
14 // License along with this library; if not, write to the Free Software
15 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17 // See http://www.salome-platform.org/ or
18 // email : webmaster.salome@opencascade.com<mailto:webmaster.salome@opencascade.com>
21 #include "GeomAPI_Shape.h"
23 #include <BRep_Tool.hxx>
24 #include <BRepAlgoAPI_Section.hxx>
25 #include <BRepBndLib.hxx>
26 #include <BRepBuilderAPI_FindPlane.hxx>
27 #include <BRepExtrema_DistShapeShape.hxx>
28 #include <BRepTools.hxx>
29 #include <Bnd_Box.hxx>
30 #include <Geom_Circle.hxx>
31 #include <Geom_Conic.hxx>
32 #include <Geom_Curve.hxx>
33 #include <Geom_Ellipse.hxx>
34 #include <Geom_Hyperbola.hxx>
35 #include <Geom_Line.hxx>
36 #include <Geom_Parabola.hxx>
37 #include <Geom_Plane.hxx>
38 #include <Geom_RectangularTrimmedSurface.hxx>
39 #include <Geom_TrimmedCurve.hxx>
40 #include <TopExp_Explorer.hxx>
42 #include <TopoDS_Iterator.hxx>
43 #include <TopoDS_Shape.hxx>
44 #include <NCollection_List.hxx>
47 #include <algorithm> // for std::transform
49 #include <BRepTools.hxx>
51 #define MY_SHAPE implPtr<TopoDS_Shape>()
53 GeomAPI_Shape::GeomAPI_Shape()
54 : GeomAPI_Interface(new TopoDS_Shape())
58 std::shared_ptr<GeomAPI_Shape> GeomAPI_Shape::emptyCopied() const
60 GeomShapePtr aShape(new GeomAPI_Shape());
61 aShape->setImpl(new TopoDS_Shape(MY_SHAPE->EmptyCopied()));
65 bool GeomAPI_Shape::isNull() const
67 return MY_SHAPE->IsNull() == Standard_True;
70 bool GeomAPI_Shape::isEqual(const std::shared_ptr<GeomAPI_Shape> theShape) const
75 return theShape->isNull();
76 if (theShape->isNull())
79 return MY_SHAPE->IsEqual(theShape->impl<TopoDS_Shape>()) == Standard_True;
82 bool GeomAPI_Shape::isSame(const std::shared_ptr<GeomAPI_Shape> theShape) const
87 return theShape->isNull();
88 if (theShape->isNull())
91 return MY_SHAPE->IsSame(theShape->impl<TopoDS_Shape>()) == Standard_True;
94 bool GeomAPI_Shape::isVertex() const
96 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
97 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_VERTEX;
100 bool GeomAPI_Shape::isEdge() const
102 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
103 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_EDGE;
106 bool GeomAPI_Shape::isFace() const
108 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
109 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_FACE;
112 bool GeomAPI_Shape::isCompound() const
114 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
115 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_COMPOUND;
118 bool GeomAPI_Shape::isCompoundOfSolids() const
120 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
121 if (aShape.IsNull() || aShape.ShapeType() != TopAbs_COMPOUND)
123 bool isAtLeastOne = false;
124 for(TopoDS_Iterator aSubs(aShape); aSubs.More(); aSubs.Next()) {
125 if (aSubs.Value().IsNull() || aSubs.Value().ShapeType() != TopAbs_SOLID)
132 // adds the nopt-compound elements recursively to the list
133 static void addSimpleToList(const TopoDS_Shape& theShape, NCollection_List<TopoDS_Shape>& theList)
135 if (!theShape.IsNull()) {
136 if (theShape.ShapeType() == TopAbs_COMPOUND) {
137 for(TopoDS_Iterator aSubs(theShape); aSubs.More(); aSubs.Next()) {
138 addSimpleToList(aSubs.Value(), theList);
141 theList.Append(theShape);
146 bool GeomAPI_Shape::isConnectedTopology() const
148 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
149 if (aShape.IsNull() || aShape.ShapeType() != TopAbs_COMPOUND)
151 // list of simple elements that are not detected in connection to others
152 NCollection_List<TopoDS_Shape> aNotConnected;
153 addSimpleToList(aShape, aNotConnected);
154 if (aNotConnected.IsEmpty()) // an empty compound
157 // collect here the group of connected subs, starting with one first element
158 NCollection_List<TopoDS_Shape> aNewConnected;
159 aNewConnected.Append(aNotConnected.First());
160 aNotConnected.RemoveFirst();
161 // iterate until some new element become connected
162 while(!aNewConnected.IsEmpty() && !aNotConnected.IsEmpty()) {
163 NCollection_List<TopoDS_Shape> aNew; // very new connected to new connected
164 NCollection_List<TopoDS_Shape>::Iterator aNotIter(aNotConnected);
165 while(aNotIter.More()) {
166 // optimization to avoid TopExp_Explorer double-cycle, collect all vertices in the list first
167 NCollection_List<TopoDS_Shape> aNotVertices;
168 for(TopExp_Explorer anExp1(aNotIter.Value(), TopAbs_VERTEX); anExp1.More(); anExp1.Next()) {
169 aNotVertices.Append(anExp1.Current());
172 bool aConnected = false;
173 NCollection_List<TopoDS_Shape>::Iterator aNewIter(aNewConnected);
174 for(; !aConnected && aNewIter.More(); aNewIter.Next()) {
175 // checking topological connecion of aNotIter and aNewIter
176 // (if shapes are connected, vertices are connected for sure)
177 TopExp_Explorer anExp2(aNewIter.Value(), TopAbs_VERTEX);
178 for(; !aConnected && anExp2.More(); anExp2.Next()) {
179 NCollection_List<TopoDS_Shape>::Iterator aNotIter(aNotVertices);
180 for(; aNotIter.More(); aNotIter.Next()) {
181 if (aNotIter.Value().IsSame(anExp2.Current())) {
189 aNew.Append(aNotIter.Value());
190 aNotConnected.Remove(aNotIter);
195 // remove all new connected and put to this list very new connected
196 aNewConnected.Clear();
197 aNewConnected.Append(aNew);
199 return aNotConnected.IsEmpty() == Standard_True;
202 bool GeomAPI_Shape::isSolid() const
204 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
205 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_SOLID;
208 bool GeomAPI_Shape::isCompSolid() const
210 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
211 return !aShape.IsNull() && aShape.ShapeType() == TopAbs_COMPSOLID;
214 bool GeomAPI_Shape::isPlanar() const
216 TopoDS_Shape aShape = impl<TopoDS_Shape>();
218 if(aShape.IsNull()) {
222 TopAbs_ShapeEnum aShapeType = aShape.ShapeType();
223 if(aShapeType == TopAbs_COMPOUND) {
224 TopoDS_Iterator anIt(aShape);
226 for(; anIt.More(); anIt.Next()) {
230 anIt.Initialize(aShape);
231 aShape = anIt.Value();
235 aShapeType = aShape.ShapeType();
236 if(aShapeType == TopAbs_VERTEX) {
238 } else if(aShapeType == TopAbs_FACE) {
239 const Handle(Geom_Surface)& aSurface = BRep_Tool::Surface(TopoDS::Face(aShape));
240 Handle(Standard_Type) aType = aSurface->DynamicType();
242 if(aType == STANDARD_TYPE(Geom_RectangularTrimmedSurface)) {
243 Handle(Geom_RectangularTrimmedSurface) aTrimSurface =
244 Handle(Geom_RectangularTrimmedSurface)::DownCast(aSurface);
245 aType = aTrimSurface->BasisSurface()->DynamicType();
247 return (aType == STANDARD_TYPE(Geom_Plane)) == Standard_True;
249 BRepBuilderAPI_FindPlane aFindPlane(aShape);
250 bool isFound = aFindPlane.Found() == Standard_True;
252 if(!isFound && aShapeType == TopAbs_EDGE) {
253 Standard_Real aFirst, aLast;
254 Handle(Geom_Curve) aCurve = BRep_Tool::Curve(TopoDS::Edge(aShape), aFirst, aLast);
255 Handle(Standard_Type) aType = aCurve->DynamicType();
257 if(aType == STANDARD_TYPE(Geom_TrimmedCurve)) {
258 Handle(Geom_TrimmedCurve) aTrimCurve = Handle(Geom_TrimmedCurve)::DownCast(aCurve);
259 aType = aTrimCurve->BasisCurve()->DynamicType();
262 if(aType == STANDARD_TYPE(Geom_Line)
263 || aType == STANDARD_TYPE(Geom_Conic)
264 || aType == STANDARD_TYPE(Geom_Circle)
265 || aType == STANDARD_TYPE(Geom_Ellipse)
266 || aType == STANDARD_TYPE(Geom_Hyperbola)
267 || aType == STANDARD_TYPE(Geom_Parabola)) {
278 GeomAPI_Shape::ShapeType GeomAPI_Shape::shapeType() const
280 const TopoDS_Shape& aShape = impl<TopoDS_Shape>();
282 ShapeType aST = GeomAPI_Shape::SHAPE;
284 switch(aShape.ShapeType()) {
285 case TopAbs_COMPOUND:
286 aST = GeomAPI_Shape::COMPOUND;
288 case TopAbs_COMPSOLID:
289 aST = GeomAPI_Shape::COMPSOLID;
292 aST = GeomAPI_Shape::SOLID;
295 aST = GeomAPI_Shape::SHELL;
298 aST = GeomAPI_Shape::FACE;
301 aST = GeomAPI_Shape::WIRE;
304 aST = GeomAPI_Shape::EDGE;
307 aST = GeomAPI_Shape::VERTEX;
310 aST = GeomAPI_Shape::SHAPE;
317 GeomAPI_Shape::ShapeType GeomAPI_Shape::shapeTypeByStr(std::string theType)
319 std::transform(theType.begin(), theType.end(), theType.begin(), ::toupper);
320 if (theType == "COMPOUND")
322 if (theType == "COMPSOLID")
324 if (theType == "SOLID")
326 if (theType == "SHELL")
328 if (theType == "FACE")
330 if (theType == "WIRE")
332 if (theType == "EDGE")
334 if (theType == "VERTEX")
336 return SHAPE; // default
339 std::string GeomAPI_Shape::shapeTypeStr() const
341 ShapeType aShapeType = shapeType();
342 std::string aShapeTypeStr;
346 aShapeTypeStr = "COMPOUND";
350 aShapeTypeStr = "COMPSOLID";
354 aShapeTypeStr = "SOLID";
358 aShapeTypeStr = "SHELL";
362 aShapeTypeStr = "FACE";
366 aShapeTypeStr = "WIRE";
370 aShapeTypeStr = "EDGE";
374 aShapeTypeStr = "VERTEX";
378 aShapeTypeStr = "SHAPE";
383 return aShapeTypeStr;
386 GeomAPI_Shape::Orientation GeomAPI_Shape::orientation() const
388 TopAbs_Orientation anOrientation = MY_SHAPE->Orientation();
390 switch(anOrientation) {
391 case TopAbs_FORWARD: return FORWARD;
392 case TopAbs_REVERSED: return REVERSED;
393 case TopAbs_INTERNAL: return INTERNAL;
394 case TopAbs_EXTERNAL: return EXTERNAL;
395 default: return FORWARD;
399 void GeomAPI_Shape::setOrientation(const GeomAPI_Shape::Orientation theOrientation)
401 TopAbs_Orientation anOrientation = MY_SHAPE->Orientation();
403 switch(theOrientation) {
404 case FORWARD: MY_SHAPE->Orientation(TopAbs_FORWARD); break;
405 case REVERSED: MY_SHAPE->Orientation(TopAbs_REVERSED); break;
406 case INTERNAL: MY_SHAPE->Orientation(TopAbs_INTERNAL); break;
407 case EXTERNAL: MY_SHAPE->Orientation(TopAbs_EXTERNAL); break;
411 bool GeomAPI_Shape::isSubShape(const std::shared_ptr<GeomAPI_Shape> theShape) const
413 if(!theShape.get()) {
417 const TopoDS_Shape& aShapeToSearch = theShape->impl<TopoDS_Shape>();
418 if(aShapeToSearch.IsNull()) {
422 for(TopExp_Explorer anExp(*MY_SHAPE, aShapeToSearch.ShapeType()); anExp.More(); anExp.Next()) {
423 if(aShapeToSearch.IsEqual(anExp.Current())) {
431 bool GeomAPI_Shape::computeSize(double& theXmin, double& theYmin, double& theZmin,
432 double& theXmax, double& theYmax, double& theZmax) const
434 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
438 BRepBndLib::Add(aShape, aBndBox);
439 aBndBox.Get(theXmin, theYmin, theZmin, theXmax, theYmax, theZmax);
443 std::string GeomAPI_Shape::getShapeStream() const
445 std::ostringstream aStream;
446 const TopoDS_Shape& aShape = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
447 BRepTools::Write(aShape, aStream);
448 return aStream.str();
451 GeomShapePtr GeomAPI_Shape::intersect(const GeomShapePtr theShape) const
453 const TopoDS_Shape& aShape1 = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
454 const TopoDS_Shape& aShape2 = theShape->impl<TopoDS_Shape>();
456 BRepAlgoAPI_Section aCommon(aShape1, aShape2);
457 if (!aCommon.IsDone())
458 return GeomShapePtr();
460 TopoDS_Shape aResult = aCommon.Shape();
461 if (aResult.ShapeType() == TopAbs_COMPOUND) {
462 NCollection_List<TopoDS_Shape> aSubs;
463 addSimpleToList(aResult, aSubs);
464 if(aSubs.Size() == 1) {
465 aResult = aSubs.First();
466 } else if(aSubs.Size() == 0) {
467 return GeomShapePtr();
471 GeomShapePtr aResShape(new GeomAPI_Shape);
472 aResShape->setImpl(new TopoDS_Shape(aResult));
476 bool GeomAPI_Shape::isIntersect(const GeomShapePtr theShape) const
478 if(!theShape.get()) {
482 const TopoDS_Shape& aShape1 = const_cast<GeomAPI_Shape*>(this)->impl<TopoDS_Shape>();
483 const TopoDS_Shape& aShape2 = theShape->impl<TopoDS_Shape>();
485 BRepExtrema_DistShapeShape aDist(aShape1, aShape2);
487 if(aDist.IsDone() && aDist.Value() < Precision::Confusion()) {
494 void GeomAPI_Shape::translate(const std::shared_ptr<GeomAPI_Dir> theDir, const double theOffset)
496 gp_Dir aDir = theDir->impl<gp_Dir>();
497 gp_Vec aTrsfVec(aDir.XYZ() * theOffset);
498 gp_Trsf aTranslation;
499 aTranslation.SetTranslation(aTrsfVec);
500 TopoDS_Shape aResult = MY_SHAPE->Moved(aTranslation);
501 setImpl(new TopoDS_Shape(aResult));