src/GEOMImpl/GEOMImpl_PrismDriver.cxx

   1 // Copyright (C) 2007-2011  CEA/DEN, EDF R&D, OPEN CASCADE
   2 //
   3 // Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
   4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   5 //
   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.
  10 //
  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.
  15 //
  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
  19 //
  20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  21 //
  22
  23 #include <GEOMImpl_PrismDriver.hxx>
  24
  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>
  32
  33 #include <BRepPrimAPI_MakePrism.hxx>
  34 #include <BRepFeat_MakeDPrism.hxx>
  35
  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>
  47
  48 #include <TopAbs.hxx>
  49 #include <TopExp.hxx>
  50 #include <TopExp_Explorer.hxx>
  51 #include <TopoDS.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>
  60
  61 #include <Precision.hxx>
  62 #include <gp_Ax3.hxx>
  63 #include <gp_Pnt.hxx>
  64 #include <gp_Vec.hxx>
  65 #include <gp_Trsf.hxx>
  66
  67 #include <Standard_Stream.hxx>
  68
  69 #include <Standard_ConstructionError.hxx>
  70
  71 #include "utilities.h"
  72
  73 //=======================================================================
  74 //function : GetID
  75 //purpose  :
  76 //=======================================================================
  77 const Standard_GUID& GEOMImpl_PrismDriver::GetID()
  78 {
  79   static Standard_GUID aPrismDriver("FF1BBB17-5D14-4df2-980B-3A668264EA16");
  80   return aPrismDriver;
  81 }
  82
  83
  84 //=======================================================================
  85 //function : GEOMImpl_PrismDriver
  86 //purpose  :
  87 //=======================================================================
  88 GEOMImpl_PrismDriver::GEOMImpl_PrismDriver()
  89 {
  90 }
  91
  92 //=======================================================================
  93 //function : Execute
  94 //purpose  :
  95 //=======================================================================
  96 Standard_Integer GEOMImpl_PrismDriver::Execute(TFunction_Logbook& log) const
  97 {
  98   if (Label().IsNull()) return 0;
  99   Handle(GEOM_Function) aFunction = GEOM_Function::GetFunction(Label());
 100
 101   GEOMImpl_IPrism aCI (aFunction);
 102   Standard_Integer aType = aFunction->GetType();
 103
 104   TopoDS_Shape aShape;
 105
 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");
 119         }
 120         if (aV.Magnitude() > Precision::Confusion()) {
 121           aV.Normalize();
 122           if (aType != PRISM_BASE_DXDYDZ_2WAYS && aCI.GetScale() > Precision::Confusion()) {
 123             aShape = MakeScaledPrism(aShapeBase, aV * aCI.GetH(), aCI.GetScale());
 124           }
 125           else {
 126             if (aType == PRISM_BASE_VEC_H_2WAYS) {
 127               gp_Trsf aTrsf;
 128               aTrsf.SetTranslation((-aV) * aCI.GetH());
 129               BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
 130               aShapeBase = aTransformation.Shape();
 131               aCI.SetH(aCI.GetH()*2);
 132             }
 133             aShape = BRepPrimAPI_MakePrism(aShapeBase, aV * aCI.GetH(), Standard_False).Shape();
 134           }
 135         }
 136       }
 137     }
 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());
 154           }
 155           else {
 156             if (aType == PRISM_BASE_TWO_PNT_2WAYS) {
 157               gp_Trsf aTrsf;
 158               aTrsf.SetTranslation(-aV);
 159               BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
 160               aShapeBase = aTransformation.Shape();
 161               aV = aV * 2;
 162             }
 163             aShape = BRepPrimAPI_MakePrism(aShapeBase, aV, Standard_False).Shape();
 164           }
 165         }
 166       }
 167     }
 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());
 175       }
 176       else {
 177         if (aType == PRISM_BASE_DXDYDZ_2WAYS) {
 178           gp_Trsf aTrsf;
 179           aTrsf.SetTranslation(-aV);
 180           BRepBuilderAPI_Transform aTransformation(aShapeBase, aTrsf, Standard_False);
 181           aShapeBase = aTransformation.Shape();
 182           aV = aV * 2;
 183         }
 184         aShape = BRepPrimAPI_MakePrism(aShapeBase, aV, Standard_False).Shape();
 185       }
 186     }
 187   }
 188
 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)
 198
 199     if (anInitShape.ShapeType() == TopAbs_COMPOUND)
 200     {
 201       TopExp_Explorer anExp(anInitShape, TopAbs_SOLID);
 202       int solidCount = 0;
 203       for(;anExp.More();anExp.Next())
 204       {
 205         solidCount++;
 206         if (solidCount > 1)
 207           Standard_ConstructionError::Raise("The input shape is a compound with more than one solid");
 208       }
 209       if (solidCount == 0)
 210         Standard_ConstructionError::Raise("The input shape is a compound without any solid");
 211     }
 212
 213 //     if (aSketch.ShapeType() == TopAbs_FACE)
 214 //     {
 215 //       aFaceBase = TopoDS::Face(aSketch);
 216 //     }
 217 //     else
 218 //     {
 219     TopoDS_Wire aWire = TopoDS_Wire();
 220
 221     if (aSketch.ShapeType() == TopAbs_EDGE)
 222     {
 223       aWire = BRepBuilderAPI_MakeWire(TopoDS::Edge(aSketch));
 224     }
 225     else if (aSketch.ShapeType() == TopAbs_WIRE)
 226     {
 227       aWire = TopoDS::Wire(aSketch);
 228     }
 229     else
 230     {
 231       Standard_ConstructionError::Raise("The input profile is neither a wire, nor edge");
 232     }
 233
 234     TopoDS_Vertex aV1, aV2;
 235     TopExp::Vertices(aWire, aV1, aV2);
 236     if ( !aV1.IsNull() && !aV2.IsNull() && aV1.IsSame(aV2) )
 237       aWire.Closed( true );
 238
 239     if (!aWire.Closed())
 240       Standard_ConstructionError::Raise("The input profile is not closed");
 241
 242     // history of the Base wire (RefBase)
 243     Handle(GEOM_Object) aSuppObj;
 244     TDF_LabelSequence aLabelSeq;
 245     aRefBase->GetDependency(aLabelSeq);
 246
 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)
 251     {
 252       TDF_Label anArgumentRefLabel = aLabelSeq.Value(1);
 253       aSuppObj = GEOM_Object::GetReferencedObject(anArgumentRefLabel);
 254     }
 255
 256     // Construction of the face if the wire hasn't any support face
 257     TopoDS_Face aFaceBase = BRepBuilderAPI_MakeFace(aWire);
 258
 259     if(!aSuppObj.IsNull())      // If the wire has a support
 260     {
 261       TopoDS_Shape aSupport = aSuppObj->GetValue();
 262       if (aSupport.ShapeType() == TopAbs_FACE)
 263       {
 264         Handle(Geom_Surface) aSurf = BRep_Tool::Surface(TopoDS::Face(aSupport));
 265         TopoDS_Face aTempFace = BRepBuilderAPI_MakeFace(aSurf, aWire);
 266
 267         if(aTempFace.Orientation() != TopoDS::Face(aSupport).Orientation())
 268         {
 269           aFaceBase=TopoDS::Face(aTempFace.Reversed());
 270         }
 271         else
 272           aFaceBase=aTempFace;
 273       }
 274     }
 275 //     }
 276
 277     // Invert height and angle if the operation is an extruded cut
 278     bool invert = !isProtrusion;
 279
 280     // If the face has a reversed orientation invert for extruded boss operations
 281     if(aFaceBase.Orientation() == TopAbs_REVERSED)
 282       invert = isProtrusion;
 283
 284     if(invert)
 285     {
 286       anAngle = -anAngle;  // Invert angle and height
 287       aHeight = -aHeight;
 288     }
 289
 290     BRepFeat_MakeDPrism thePrism(anInitShape, aFaceBase, TopoDS_Face(),
 291                                  anAngle*PI180, isProtrusion, Standard_True);
 292
 293     thePrism.Perform(aHeight);
 294
 295     aShape = thePrism.Shape();
 296   }
 297
 298   if (aShape.IsNull()) return 0;
 299
 300
 301   if (aType == DRAFT_PRISM_FEATURE)
 302   {
 303     TopoDS_Shape aRes = aShape;
 304
 305     // If the result is a compound with only one solid,
 306     // return the solid
 307     if (aShape.ShapeType() == TopAbs_COMPOUND)
 308     {
 309       TopExp_Explorer anExp(aShape, TopAbs_SOLID);
 310
 311       int solidNb = 0;
 312       TopoDS_Solid aSolid;
 313
 314       for(;anExp.More();anExp.Next())
 315       {
 316         aSolid = TopoDS::Solid(anExp.Current());
 317         solidNb++;
 318       }
 319       if (solidNb == 1)
 320       {
 321         aRes = aSolid;
 322       }
 323     }
 324
 325     aFunction->SetValue(aRes);
 326   }
 327   else
 328   {
 329     TopoDS_Shape aRes = GEOMImpl_IShapesOperations::CompsolidToCompound(aShape);
 330     aFunction->SetValue(aRes);
 331   }
 332
 333
 334   log.SetTouched(Label());
 335
 336   return 1;
 337 }
 338
 339 //=======================================================================
 340 //function : MakeScaledPrism
 341 //purpose  :
 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,
 347                                                     bool                isCDG)
 348 {
 349   TopoDS_Shape aShape;
 350   BRep_Builder B;
 351
 352   // 1. aCDG = geompy.MakeCDG(theBase)
 353   gp_Pnt aCDG = theCDG;
 354   if (!isCDG) {
 355     gp_Ax3 aPos = GEOMImpl_IMeasureOperations::GetPosition(theShapeBase);
 356     aCDG = aPos.Location();
 357   }
 358   TopoDS_Shape aShapeCDG_1 = BRepBuilderAPI_MakeVertex(aCDG).Shape();
 359
 360   // Process case of several given shapes
 361   if (theShapeBase.ShapeType() == TopAbs_COMPOUND ||
 362       theShapeBase.ShapeType() == TopAbs_SHELL) {
 363     int nbSub = 0;
 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()) {
 369       nbSub++;
 370       aShapeI = MakeScaledPrism(It.Value(), theVector, theScaleFactor, aCDG, true);
 371       B.Add(aCompound, aShapeI);
 372     }
 373     if (nbSub == 1)
 374       aShape = aShapeI;
 375     else if (nbSub > 1)
 376       aShape = GEOMImpl_GlueDriver::GlueFaces(aCompound, Precision::Confusion(), Standard_True);
 377     return aShape;
 378   }
 379
 380   // 2. Scale = geompy.MakeScaleTransform(theBase, aCDG, theScaleFactor)
 381
 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");
 393     }
 394   }
 395
 396   // Perform Scaling
 397   gp_Trsf aTrsf;
 398   aTrsf.SetScale(aCDG, theScaleFactor);
 399   BRepBuilderAPI_Transform aBRepTrsf (theShapeBase, aTrsf, Standard_False);
 400   TopoDS_Shape aScale = aBRepTrsf.Shape();
 401
 402   // 3. aBase2 = geompy.MakeTranslationVectorDistance(Scale, theVec, theH)
 403   gp_Trsf aTrsf3;
 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);
 409
 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();
 413
 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);
 418
 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);
 423
 424   Handle(TopTools_HSequenceOfShape) aLocs = new TopTools_HSequenceOfShape;
 425   aLocs->Append(aShapeCDG_1);
 426   aLocs->Append(aShapeCDG_2);
 427
 428   aShape = GEOMImpl_PipeDriver::CreatePipeWithDifferentSections(aWirePath, aBases, aLocs, false, false);
 429
 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());
 437       ifa++;
 438     }
 439     if (ifa > 0) {
 440       aSewing.Perform();
 441       TopoDS_Shape aShell;
 442
 443       TopoDS_Shape sh = aSewing.SewedShape();
 444       if (sh.ShapeType() == TopAbs_FACE && ifa == 1) {
 445         // case for creation of shell from one face
 446         TopoDS_Shell ss;
 447         B.MakeShell(ss);
 448         B.Add(ss,sh);
 449         aShell = ss;
 450       }
 451       else {
 452         TopExp_Explorer exp (sh, TopAbs_SHELL);
 453         Standard_Integer ish = 0;
 454         for (; exp.More(); exp.Next()) {
 455           aShell = exp.Current();
 456           ish++;
 457         }
 458         if (ish != 1)
 459           aShell = sh;
 460       }
 461       BRepCheck_Shell chkShell (TopoDS::Shell(aShell));
 462       if (chkShell.Closed() == BRepCheck_NoError) {
 463         TopoDS_Solid Sol;
 464         B.MakeSolid(Sol);
 465         B.Add(Sol, aShell);
 466         BRepClass3d_SolidClassifier SC (Sol);
 467         SC.PerformInfinitePoint(Precision::Confusion());
 468         if (SC.State() == TopAbs_IN) {
 469           B.MakeSolid(Sol);
 470           B.Add(Sol, aShell.Reversed());
 471         }
 472         aShape = Sol;
 473       }
 474     }
 475   }
 476
 477   return aShape;
 478 }
 479
 480 //=======================================================================
 481 //function : GEOMImpl_PrismDriver_Type_
 482 //purpose  :
 483 //=======================================================================
 484 Standard_EXPORT Handle_Standard_Type& GEOMImpl_PrismDriver_Type_()
 485 {
 486
 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);
 493
 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),
 497                                                          1,
 498                                                          (Standard_Address)_Ancestors,
 499                                                          (Standard_Address)NULL);
 500
 501   return _aType;
 502 }
 503
 504 //=======================================================================
 505 //function : DownCast
 506 //purpose  :
 507 //=======================================================================
 508 const Handle(GEOMImpl_PrismDriver) Handle(GEOMImpl_PrismDriver)::DownCast(const Handle(Standard_Transient)& AnObject)
 509 {
 510   Handle(GEOMImpl_PrismDriver) _anOtherObject;
 511
 512   if (!AnObject.IsNull()) {
 513      if (AnObject->IsKind(STANDARD_TYPE(GEOMImpl_PrismDriver))) {
 514        _anOtherObject = Handle(GEOMImpl_PrismDriver)((Handle(GEOMImpl_PrismDriver)&)AnObject);
 515      }
 516   }
 517
 518   return _anOtherObject;
 519 }