1 // Copyright (C) 2007-2011 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
23 #include <GEOMImpl_PrismDriver.hxx>
25 #include <GEOMImpl_IPrism.hxx>
26 #include <GEOMImpl_IShapesOperations.hxx>
27 #include <GEOMImpl_IMeasureOperations.hxx>
28 #include <GEOMImpl_GlueDriver.hxx>
29 #include <GEOMImpl_PipeDriver.hxx>
30 #include <GEOMImpl_Types.hxx>
31 #include <GEOM_Function.hxx>
33 #include <BRepPrimAPI_MakePrism.hxx>
34 #include <BRepFeat_MakeDPrism.hxx>
36 #include <BRep_Builder.hxx>
37 #include <BRepBuilderAPI_MakeEdge.hxx>
38 #include <BRepBuilderAPI_MakeWire.hxx>
39 #include <BRepBuilderAPI_MakeFace.hxx>
40 #include <BRepBuilderAPI_MakeVertex.hxx>
41 #include <BRepBuilderAPI_Sewing.hxx>
42 #include <BRepBuilderAPI_Transform.hxx>
43 #include <BRepCheck_Shell.hxx>
44 #include <BRepClass3d_SolidClassifier.hxx>
45 #include <BRep_Tool.hxx>
46 #include <BRepTools.hxx>
50 #include <TopExp_Explorer.hxx>
52 #include <TopoDS_Compound.hxx>
53 #include <TopoDS_Edge.hxx>
54 #include <TopoDS_Shape.hxx>
55 #include <TopoDS_Shell.hxx>
56 #include <TopoDS_Solid.hxx>
57 #include <TopoDS_Vertex.hxx>
58 #include <TopTools_HSequenceOfShape.hxx>
59 #include <TopTools_IndexedDataMapOfShapeListOfShape.hxx>
61 #include <Precision.hxx>
65 #include <gp_Trsf.hxx>
67 #include <Standard_Stream.hxx>
69 #include <Standard_ConstructionError.hxx>
71 #include "utilities.h"
73 //=======================================================================
76 //=======================================================================
77 const Standard_GUID& GEOMImpl_PrismDriver::GetID()
79 static Standard_GUID aPrismDriver("FF1BBB17-5D14-4df2-980B-3A668264EA16");
84 //=======================================================================
85 //function : GEOMImpl_PrismDriver
87 //=======================================================================
88 GEOMImpl_PrismDriver::GEOMImpl_PrismDriver()
92 //=======================================================================
95 //=======================================================================
96 Standard_Integer GEOMImpl_PrismDriver::Execute(TFunction_Logbook& log) const
98 if (Label().IsNull()) return 0;
99 Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
101 GEOMImpl_IPrism aCI (aFunction);
102 Standard_Integer aType = aFunction->GetType();
106 if (aType == PRISM_BASE_VEC_H || aType == PRISM_BASE_VEC_H_2WAYS) {
107 Handle(GEOM_Function) aRefBase = aCI.GetBase();
108 Handle(GEOM_Function) aRefVector = aCI.GetVector();
109 TopoDS_Shape aShapeBase = aRefBase->GetValue();
110 TopoDS_Shape aShapeVec = aRefVector->GetValue();
111 if (aShapeVec.ShapeType() == TopAbs_EDGE) {
112 TopoDS_Edge anE = TopoDS::Edge(aShapeVec);
113 TopoDS_Vertex V1, V2;
114 TopExp::Vertices(anE, V1, V2, Standard_True);
115 if (!V1.IsNull() && !V2.IsNull()) {
116 gp_Vec aV (BRep_Tool::Pnt(V1), BRep_Tool::Pnt(V2));
117 if (Abs(aCI.GetH()) < Precision::Confusion()) {
118 Standard_ConstructionError::Raise("Absolute value of prism height is too small");
120 if (aV.Magnitude() > Precision::Confusion()) {
122 if (aType != PRISM_BASE_DXDYDZ_2WAYS && aCI.GetScale() > Precision::Confusion()) {
123 aShape = MakeScaledPrism(aShapeBase, aV * aCI.GetH(), aCI.GetScale());
126 if (aType == PRISM_BASE_VEC_H_2WAYS) {
128 aTrsf.SetTranslation((-aV) * aCI.GetH());
129 BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
130 aShapeBase = aTransformation.Shape();
131 aCI.SetH(aCI.GetH()*2);
133 aShape = BRepPrimAPI_MakePrism(aShapeBase, aV * aCI.GetH(), Standard_False).Shape();
138 } else if (aType == PRISM_BASE_TWO_PNT || aType == PRISM_BASE_TWO_PNT_2WAYS) {
139 Handle(GEOM_Function) aRefBase = aCI.GetBase();
140 Handle(GEOM_Function) aRefPnt1 = aCI.GetFirstPoint();
141 Handle(GEOM_Function) aRefPnt2 = aCI.GetLastPoint();
142 TopoDS_Shape aShapeBase = aRefBase->GetValue();
143 TopoDS_Shape aShapePnt1 = aRefPnt1->GetValue();
144 TopoDS_Shape aShapePnt2 = aRefPnt2->GetValue();
145 if (aShapePnt1.ShapeType() == TopAbs_VERTEX &&
146 aShapePnt2.ShapeType() == TopAbs_VERTEX) {
147 TopoDS_Vertex V1 = TopoDS::Vertex(aShapePnt1);
148 TopoDS_Vertex V2 = TopoDS::Vertex(aShapePnt2);
149 if (!V1.IsNull() && !V2.IsNull()) {
150 gp_Vec aV (BRep_Tool::Pnt(V1), BRep_Tool::Pnt(V2));
151 if (aV.Magnitude() > gp::Resolution()) {
152 if (aType != PRISM_BASE_DXDYDZ_2WAYS && aCI.GetScale() > Precision::Confusion()) {
153 aShape = MakeScaledPrism(aShapeBase, aV, aCI.GetScale());
156 if (aType == PRISM_BASE_TWO_PNT_2WAYS) {
158 aTrsf.SetTranslation(-aV);
159 BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
160 aShapeBase = aTransformation.Shape();
163 aShape = BRepPrimAPI_MakePrism(aShapeBase, aV, Standard_False).Shape();
168 } else if (aType == PRISM_BASE_DXDYDZ || aType == PRISM_BASE_DXDYDZ_2WAYS) {
169 Handle(GEOM_Function) aRefBase = aCI.GetBase();
170 TopoDS_Shape aShapeBase = aRefBase->GetValue();
171 gp_Vec aV (aCI.GetDX(), aCI.GetDY(), aCI.GetDZ());
172 if (aV.Magnitude() > gp::Resolution()) {
173 if (aType != PRISM_BASE_DXDYDZ_2WAYS && aCI.GetScale() > Precision::Confusion()) {
174 aShape = MakeScaledPrism(aShapeBase, aV, aCI.GetScale());
177 if (aType == PRISM_BASE_DXDYDZ_2WAYS) {
179 aTrsf.SetTranslation(-aV);
180 BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
181 aShapeBase = aTransformation.Shape();
184 aShape = BRepPrimAPI_MakePrism(aShapeBase, aV, Standard_False).Shape();
189 else if (aType == DRAFT_PRISM_FEATURE) {
190 Handle(GEOM_Function) aRefInit = aCI.GetInitShape();
191 Handle(GEOM_Function) aRefBase = aCI.GetBase();
192 TopoDS_Shape anInitShape = aRefInit->GetValue(); // Initial shape
193 TopoDS_Shape aSketch = aRefBase->GetValue();
194 Standard_Real aHeight = aCI.GetH(); // Height of the extrusion
195 Standard_Real anAngle = aCI.GetDraftAngle(); // Draft angle
196 Standard_Boolean isProtrusion = (aCI.GetFuseFlag()==1);
197 // Flag to know wether the feature is a protrusion (fuse) or a depression (cut)
199 if (anInitShape.ShapeType() == TopAbs_COMPOUND)
201 TopExp_Explorer anExp(anInitShape, TopAbs_SOLID);
203 for(;anExp.More();anExp.Next())
207 Standard_ConstructionError::Raise("The input shape is a compound with more than one solid");
210 Standard_ConstructionError::Raise("The input shape is a compound without any solid");
213 // if (aSketch.ShapeType() == TopAbs_FACE)
215 // aFaceBase = TopoDS::Face(aSketch);
219 TopoDS_Wire aWire = TopoDS_Wire();
221 if (aSketch.ShapeType() == TopAbs_EDGE)
223 aWire = BRepBuilderAPI_MakeWire(TopoDS::Edge(aSketch));
225 else if (aSketch.ShapeType() == TopAbs_WIRE)
227 aWire = TopoDS::Wire(aSketch);
231 Standard_ConstructionError::Raise("The input profile is neither a wire, nor edge");
234 TopoDS_Vertex aV1, aV2;
235 TopExp::Vertices(aWire, aV1, aV2);
236 if ( !aV1.IsNull() && !aV2.IsNull() && aV1.IsSame(aV2) )
237 aWire.Closed( true );
240 Standard_ConstructionError::Raise("The input profile is not closed");
242 // history of the Base wire (RefBase)
243 Handle(GEOM_Object) aSuppObj;
244 TDF_LabelSequence aLabelSeq;
245 aRefBase->GetDependency(aLabelSeq);
247 // If the base wire has only one dependency we use it
248 // to determine the right normal of the face which
249 // must be oriented towards outside of the solid (like the support face)
250 if (aLabelSeq.Length()==1)
252 TDF_Label anArgumentRefLabel = aLabelSeq.Value(1);
253 aSuppObj = GEOM_Object::GetReferencedObject(anArgumentRefLabel);
256 // Construction of the face if the wire hasn't any support face
257 TopoDS_Face aFaceBase = BRepBuilderAPI_MakeFace(aWire);
259 if(!aSuppObj.IsNull()) // If the wire has a support
261 TopoDS_Shape aSupport = aSuppObj->GetValue();
262 if (aSupport.ShapeType() == TopAbs_FACE)
264 Handle(Geom_Surface) aSurf = BRep_Tool::Surface(TopoDS::Face(aSupport));
265 TopoDS_Face aTempFace = BRepBuilderAPI_MakeFace(aSurf, aWire);
267 if(aTempFace.Orientation() != TopoDS::Face(aSupport).Orientation())
269 aFaceBase=TopoDS::Face(aTempFace.Reversed());
277 // Invert height and angle if the operation is an extruded cut
278 bool invert = !isProtrusion;
280 // If the face has a reversed orientation invert for extruded boss operations
281 if(aFaceBase.Orientation() == TopAbs_REVERSED)
282 invert = isProtrusion;
286 anAngle = -anAngle; // Invert angle and height
290 BRepFeat_MakeDPrism thePrism(anInitShape, aFaceBase, TopoDS_Face(),
291 anAngle*PI180, isProtrusion, Standard_True);
293 thePrism.Perform(aHeight);
295 aShape = thePrism.Shape();
298 if (aShape.IsNull()) return 0;
301 if (aType == DRAFT_PRISM_FEATURE)
303 TopoDS_Shape aRes = aShape;
305 // If the result is a compound with only one solid,
307 if (aShape.ShapeType() == TopAbs_COMPOUND)
309 TopExp_Explorer anExp(aShape, TopAbs_SOLID);
314 for(;anExp.More();anExp.Next())
316 aSolid = TopoDS::Solid(anExp.Current());
325 aFunction->SetValue(aRes);
329 TopoDS_Shape aRes = GEOMImpl_IShapesOperations::CompsolidToCompound(aShape);
330 aFunction->SetValue(aRes);
334 log.SetTouched(Label());
339 //=======================================================================
340 //function : MakeScaledPrism
342 //=======================================================================
343 TopoDS_Shape GEOMImpl_PrismDriver::MakeScaledPrism (const TopoDS_Shape& theShapeBase,
344 const gp_Vec& theVector,
345 const Standard_Real theScaleFactor,
346 const gp_Pnt& theCDG,
352 // 1. aCDG = geompy.MakeCDG(theBase)
353 gp_Pnt aCDG = theCDG;
355 gp_Ax3 aPos = GEOMImpl_IMeasureOperations::GetPosition(theShapeBase);
356 aCDG = aPos.Location();
358 TopoDS_Shape aShapeCDG_1 = BRepBuilderAPI_MakeVertex(aCDG).Shape();
360 // Process case of several given shapes
361 if (theShapeBase.ShapeType() == TopAbs_COMPOUND ||
362 theShapeBase.ShapeType() == TopAbs_SHELL) {
364 TopoDS_Shape aShapeI;
365 TopoDS_Compound aCompound;
366 B.MakeCompound(aCompound);
367 TopoDS_Iterator It (theShapeBase, Standard_True, Standard_True);
368 for (; It.More(); It.Next()) {
370 aShapeI = MakeScaledPrism(It.Value(), theVector, theScaleFactor, aCDG, true);
371 B.Add(aCompound, aShapeI);
376 aShape = GEOMImpl_GlueDriver::GlueFaces(aCompound, Precision::Confusion(), Standard_True);
380 // 2. Scale = geompy.MakeScaleTransform(theBase, aCDG, theScaleFactor)
382 // Bug 6839: Check for standalone (not included in faces) degenerated edges
383 TopTools_IndexedDataMapOfShapeListOfShape aEFMap;
384 TopExp::MapShapesAndAncestors(theShapeBase, TopAbs_EDGE, TopAbs_FACE, aEFMap);
385 Standard_Integer i, nbE = aEFMap.Extent();
386 for (i = 1; i <= nbE; i++) {
387 TopoDS_Shape anEdgeSh = aEFMap.FindKey(i);
388 if (BRep_Tool::Degenerated(TopoDS::Edge(anEdgeSh))) {
389 const TopTools_ListOfShape& aFaces = aEFMap.FindFromIndex(i);
390 if (aFaces.IsEmpty())
391 Standard_ConstructionError::Raise
392 ("Scaling aborted : cannot scale standalone degenerated edge");
398 aTrsf.SetScale(aCDG, theScaleFactor);
399 BRepBuilderAPI_Transform aBRepTrsf (theShapeBase, aTrsf, Standard_False);
400 TopoDS_Shape aScale = aBRepTrsf.Shape();
402 // 3. aBase2 = geompy.MakeTranslationVectorDistance(Scale, theVec, theH)
404 aTrsf3.SetTranslation(theVector);
405 TopLoc_Location aLocOrig = aScale.Location();
406 gp_Trsf aTrsfOrig = aLocOrig.Transformation();
407 TopLoc_Location aLocRes (aTrsf3 * aTrsfOrig);
408 TopoDS_Shape aBase2 = aScale.Located(aLocRes);
410 // 4. aCDG_2 = geompy.MakeTranslationVectorDistance(aCDG, theVec, theH)
411 gp_Pnt aCDG_2 = aCDG.Translated(theVector);
412 TopoDS_Shape aShapeCDG_2 = BRepBuilderAPI_MakeVertex(aCDG_2).Shape();
414 // 5. Vector = geompy.MakeVector(aCDG, aCDG_2)
415 TopoDS_Shape aShapeVec = BRepBuilderAPI_MakeEdge(aCDG, aCDG_2).Shape();
416 TopoDS_Edge anEdge = TopoDS::Edge(aShapeVec);
417 TopoDS_Wire aWirePath = BRepBuilderAPI_MakeWire(anEdge);
419 // 6. aPrism = geompy.MakePipeWithDifferentSections([theBase, aBase2], [aCDG, aCDG_2], Vector, False, False)
420 Handle(TopTools_HSequenceOfShape) aBases = new TopTools_HSequenceOfShape;
421 aBases->Append(theShapeBase);
422 aBases->Append(aBase2);
424 Handle(TopTools_HSequenceOfShape) aLocs = new TopTools_HSequenceOfShape;
425 aLocs->Append(aShapeCDG_1);
426 aLocs->Append(aShapeCDG_2);
428 aShape = GEOMImpl_PipeDriver::CreatePipeWithDifferentSections(aWirePath, aBases, aLocs, false, false);
430 // 7. Make a solid, if possible
431 if (theShapeBase.ShapeType() == TopAbs_FACE) {
432 BRepBuilderAPI_Sewing aSewing (Precision::Confusion()*10.0);
433 TopExp_Explorer expF (aShape, TopAbs_FACE);
434 Standard_Integer ifa = 0;
435 for (; expF.More(); expF.Next()) {
436 aSewing.Add(expF.Current());
443 TopoDS_Shape sh = aSewing.SewedShape();
444 if (sh.ShapeType() == TopAbs_FACE && ifa == 1) {
445 // case for creation of shell from one face
452 TopExp_Explorer exp (sh, TopAbs_SHELL);
453 Standard_Integer ish = 0;
454 for (; exp.More(); exp.Next()) {
455 aShell = exp.Current();
461 BRepCheck_Shell chkShell (TopoDS::Shell(aShell));
462 if (chkShell.Closed() == BRepCheck_NoError) {
466 BRepClass3d_SolidClassifier SC (Sol);
467 SC.PerformInfinitePoint(Precision::Confusion());
468 if (SC.State() == TopAbs_IN) {
470 B.Add(Sol, aShell.Reversed());
480 //=======================================================================
481 //function : GEOMImpl_PrismDriver_Type_
483 //=======================================================================
484 Standard_EXPORT Handle_Standard_Type& GEOMImpl_PrismDriver_Type_()
487 static Handle_Standard_Type aType1 = STANDARD_TYPE(TFunction_Driver);
488 if (aType1.IsNull()) aType1 = STANDARD_TYPE(TFunction_Driver);
489 static Handle_Standard_Type aType2 = STANDARD_TYPE(MMgt_TShared);
490 if (aType2.IsNull()) aType2 = STANDARD_TYPE(MMgt_TShared);
491 static Handle_Standard_Type aType3 = STANDARD_TYPE(Standard_Transient);
492 if (aType3.IsNull()) aType3 = STANDARD_TYPE(Standard_Transient);
494 static Handle_Standard_Transient _Ancestors[]= {aType1,aType2,aType3,NULL};
495 static Handle_Standard_Type _aType = new Standard_Type("GEOMImpl_PrismDriver",
496 sizeof(GEOMImpl_PrismDriver),
498 (Standard_Address)_Ancestors,
499 (Standard_Address)NULL);
504 //=======================================================================
505 //function : DownCast
507 //=======================================================================
508 const Handle(GEOMImpl_PrismDriver) Handle(GEOMImpl_PrismDriver)::DownCast(const Handle(Standard_Transient)& AnObject)
510 Handle(GEOMImpl_PrismDriver) _anOtherObject;
512 if (!AnObject.IsNull()) {
513 if (AnObject->IsKind(STANDARD_TYPE(GEOMImpl_PrismDriver))) {
514 _anOtherObject = Handle(GEOMImpl_PrismDriver)((Handle(GEOMImpl_PrismDriver)&)AnObject);
518 return _anOtherObject;