src/BOPAlgo/BOPAlgo_Builder_4.cxx

   1 // Created by: Peter KURNEV
   2 // Copyright (c) 2010-2014 OPEN CASCADE SAS
   3 // Copyright (c) 2007-2010 CEA/DEN, EDF R&D, OPEN CASCADE
   4 // Copyright (c) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN, CEDRAT,
   5 //                         EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   6 //
   7 // This file is part of Open CASCADE Technology software library.
   8 //
   9 // This library is free software; you can redistribute it and/or modify it under
  10 // the terms of the GNU Lesser General Public License version 2.1 as published
  11 // by the Free Software Foundation, with special exception defined in the file
  12 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
  13 // distribution for complete text of the license and disclaimer of any warranty.
  14 //
  15 // Alternatively, this file may be used under the terms of Open CASCADE
  16 // commercial license or contractual agreement.
  17
  18
  19 #include <BOPAlgo_Builder.hxx>
  20 #include <BOPDS_DS.hxx>
  21 #include <BOPTools_AlgoTools.hxx>
  22 #include <TopExp.hxx>
  23 #include <TopoDS_Shape.hxx>
  24 #include <TopTools_ListOfShape.hxx>
  25 #include <TopTools_MapOfShape.hxx>
  26
  27 //=======================================================================
  28 //function : LocGenerated
  29 //purpose  :
  30 //=======================================================================
  31 const TopTools_ListOfShape& BOPAlgo_Builder::LocGenerated
  32   (const TopoDS_Shape& theS)
  33 {
  34   // The rules for Generated shapes are these:
  35   // 1. The EDGE may be generated from the FACES as an intersection edge;
  36   // 2. The VERTEX may be generated from the EDGES and FACES as an intersection vertex.
  37   //
  38   // The list of generated elements will contain only those which are contained
  39   // in the result of the operation.
  40
  41   myHistShapes.Clear();
  42
  43   if (theS.IsNull())
  44     return myHistShapes;
  45
  46   // Only EDGES and FACES should be considered
  47   TopAbs_ShapeEnum aType = theS.ShapeType();
  48   if (aType != TopAbs_EDGE && aType != TopAbs_FACE)
  49     // Wrong type
  50     return myHistShapes;
  51
  52   // Check that DS contains the shape, i.e. it is from the arguments of the operation
  53   Standard_Integer nS = myDS->Index(theS);
  54   if (nS < 0)
  55     // Unknown shape
  56     return myHistShapes;
  57
  58   // Check that the shape has participated in any intersections
  59   const BOPDS_ShapeInfo& aSI = myDS->ShapeInfo(nS);
  60   if (!aSI.HasReference())
  61     // Untouched shape
  62     return myHistShapes;
  63
  64   // Analyze all types of Interferences which can produce
  65   // new vertices - Edge/Edge and Edge/Face
  66   BOPDS_VectorOfInterfEE& aEEs = myDS->InterfEE();
  67   BOPDS_VectorOfInterfEF& aEFs = myDS->InterfEF();
  68
  69   // Fence map to avoid duplicates in the list of Generated;
  70   TColStd_MapOfInteger aMFence;
  71
  72   // Analyze each interference and find those in which the given shape has participated
  73
  74   // No need to analyze Edge/Edge interferences for the shapes of type FACE
  75   Standard_Boolean isFace = (aType == TopAbs_FACE);
  76
  77   for (Standard_Integer k = (isFace ? 1 : 0); k < 2; ++k)
  78   {
  79     Standard_Integer aNbLines = !k ? aEEs.Length() : aEFs.Length();
  80     for (Standard_Integer i = 0; i < aNbLines; ++i)
  81     {
  82       BOPDS_Interf *aInt = !k ? (BOPDS_Interf*)(&aEEs(i)) : (BOPDS_Interf*)(&aEFs(i));
  83       if (!aInt->HasIndexNew())
  84         // No new vertices created
  85         continue;
  86
  87       if (!aInt->Contains(nS))
  88         continue;
  89
  90       Standard_Integer nVNew = aInt->IndexNew();
  91       myDS->HasShapeSD(nVNew, nVNew);
  92       if (!aMFence.Add(nVNew))
  93         continue;
  94
  95       // Get the new vertex
  96       const TopoDS_Shape& aVNew = myDS->Shape(nVNew);
  97
  98       // Check that the result shape contains vertex
  99       if (myMapShape.Contains(aVNew))
 100         // Save the vertex as generated
 101         myHistShapes.Append(aVNew);
 102     }
 103   }
 104
 105   if (!isFace)
 106     return myHistShapes;
 107
 108   // For the FACE it is also necessary to collect all
 109   // section elements created in FACE/FACE interferences.
 110   // This information is available in the FaceInfo structure.
 111   const BOPDS_FaceInfo& aFI = myDS->FaceInfo(nS);
 112
 113   // Section edges of the face
 114   const BOPDS_IndexedMapOfPaveBlock& aMPBSc = aFI.PaveBlocksSc();
 115   // Save section edges contained in the result shape
 116   Standard_Integer aNb = aMPBSc.Extent();
 117   for (Standard_Integer i = 1; i <= aNb; ++i)
 118   {
 119     const TopoDS_Shape& aENew = myDS->Shape(aMPBSc(i)->Edge());
 120     if (myMapShape.Contains(aENew))
 121       myHistShapes.Append(aENew);
 122   }
 123
 124   // Section vertices of the face
 125   const TColStd_MapOfInteger& aMVSc = aFI.VerticesSc();
 126   // Save section vertices contained in the result shape
 127   TColStd_MapOfInteger::Iterator aItM(aMVSc);
 128   for (; aItM.More(); aItM.Next())
 129   {
 130     const TopoDS_Shape& aVNew = myDS->Shape(aItM.Value());
 131     if (myMapShape.Contains(aVNew))
 132       myHistShapes.Append(aVNew);
 133   }
 134
 135   return myHistShapes;
 136 }
 137 //=======================================================================
 138 //function : LocModified
 139 //purpose  :
 140 //=======================================================================
 141 const TopTools_ListOfShape* BOPAlgo_Builder::LocModified(const TopoDS_Shape& theS)
 142 {
 143   return myImages.Seek(theS);
 144 }
 145 //=======================================================================
 146 //function : PrepareHistory
 147 //purpose  :
 148 //=======================================================================
 149 void BOPAlgo_Builder::PrepareHistory()
 150 {
 151   if (!HasHistory())
 152     return;
 153
 154   // Initializing history tool
 155   myHistory = new BRepTools_History;
 156
 157   // Map the result shape
 158   myMapShape.Clear();
 159   TopExp::MapShapes(myShape, myMapShape);
 160
 161   // Among all input shapes find:
 162   // - Shapes that have been modified (split). Add the splits kept in the result
 163   //   shape as Modified from the shape;
 164   // - Shapes that have created new geometries (i.e. generated new shapes). Add
 165   //   the generated elements kept in the result shape as Generated from the shape;
 166   // - Shapes that have no trace in the result shape. Add them as Deleted
 167   //   during the operation.
 168   Standard_Integer aNbS = myDS->NbSourceShapes();
 169   for (Standard_Integer i = 0; i < aNbS; ++i)
 170   {
 171     const TopoDS_Shape& aS = myDS->Shape(i);
 172
 173     // Check if History information is available for this kind of shape.
 174     if (!BRepTools_History::IsSupportedType(aS))
 175       continue;
 176
 177     Standard_Boolean isModified = Standard_False;
 178
 179     // Check if the shape has any splits
 180     const TopTools_ListOfShape* pLSp = LocModified(aS);
 181     if (pLSp)
 182     {
 183       // Find all splits of the shape which are kept in the result
 184       TopTools_ListIteratorOfListOfShape aIt(*pLSp);
 185       for (; aIt.More(); aIt.Next())
 186       {
 187         TopoDS_Shape aSp = aIt.Value();
 188         // Check if the result shape contains the split
 189         if (myMapShape.Contains(aSp))
 190         {
 191           // Add modified shape with proper orientation
 192           TopAbs_ShapeEnum aType = aSp.ShapeType();
 193           if (aType == TopAbs_VERTEX || aType == TopAbs_SOLID)
 194             aSp.Orientation(aS.Orientation());
 195           else if (BOPTools_AlgoTools::IsSplitToReverse(aSp, aS, myContext))
 196             aSp.Reverse();
 197
 198           myHistory->AddModified(aS, aSp);
 199           isModified = Standard_True;
 200         }
 201       }
 202     }
 203
 204     // Check if the shape has Generated elements
 205     const TopTools_ListOfShape& aGenShapes = LocGenerated(aS);
 206     TopTools_ListIteratorOfListOfShape aIt(aGenShapes);
 207     for (; aIt.More(); aIt.Next())
 208     {
 209       const TopoDS_Shape& aG = aIt.Value();
 210       if (myMapShape.Contains(aG))
 211         myHistory->AddGenerated(aS, aG);
 212     }
 213
 214     // Check if the shape has been deleted, i.e. it is not contained in the result
 215     // and has no Modified shapes.
 216     if (!isModified && !myMapShape.Contains(aS))
 217       myHistory->Remove(aS);
 218   }
 219 }