0024002: Overall code and build procedure refactoring -- automatic
[occt.git] / src / BRepCheck / BRepCheck_Shell.cxx
old mode 100755 (executable)
new mode 100644 (file)
index e607a13..f0d9bbd
@@ -1,50 +1,96 @@
 // Created on: 1995-12-12
 // Created by: Jacques GOUSSARD
 // Copyright (c) 1995-1999 Matra Datavision
-// Copyright (c) 1999-2012 OPEN CASCADE SAS
+// Copyright (c) 1999-2014 OPEN CASCADE SAS
 //
-// The content of this file is subject to the Open CASCADE Technology Public
-// License Version 6.5 (the "License"). You may not use the content of this file
-// except in compliance with the License. Please obtain a copy of the License
-// at http://www.opencascade.org and read it completely before using this file.
+// This file is part of Open CASCADE Technology software library.
 //
-// The Initial Developer of the Original Code is Open CASCADE S.A.S., having its
-// main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France.
+// This library is free software; you can redistribute it and/or modify it under
+// the terms of the GNU Lesser General Public License version 2.1 as published
+// by the Free Software Foundation, with special exception defined in the file
+// OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
+// distribution for complete text of the license and disclaimer of any warranty.
 //
-// The Original Code and all software distributed under the License is
-// distributed on an "AS IS" basis, without warranty of any kind, and the
-// Initial Developer hereby disclaims all such warranties, including without
-// limitation, any warranties of merchantability, fitness for a particular
-// purpose or non-infringement. Please see the License for the specific terms
-// and conditions governing the rights and limitations under the License.
+// Alternatively, this file may be used under the terms of Open CASCADE
+// commercial license or contractual agreement.
 
 
-
-#include <BRepCheck_Shell.ixx>
-
-#include <BRepCheck_ListOfStatus.hxx>
-#include <BRepCheck_ListIteratorOfListOfStatus.hxx>
-
-#include <TopTools_MapOfShape.hxx>
-#include <TopTools_MapIteratorOfMapOfShape.hxx>
-#include <TopTools_ListOfShape.hxx>
-#include <TopTools_ListIteratorOfListOfShape.hxx>
-#include <TopTools_IndexedDataMapOfShapeListOfShape.hxx>
-#include <BRep_Tool.hxx>
 #include <BRep_Builder.hxx>
-
-#include <TopExp_Explorer.hxx>
-
+#include <BRep_Tool.hxx>
 #include <BRepCheck.hxx>
+#include <BRepCheck_ListIteratorOfListOfStatus.hxx>
+#include <BRepCheck_ListOfStatus.hxx>
+#include <BRepCheck_Shell.hxx>
+#include <Standard_Type.hxx>
+#include <TopExp.hxx>
+#include <TopExp_Explorer.hxx>
 #include <TopoDS.hxx>
 #include <TopoDS_Edge.hxx>
 #include <TopoDS_Face.hxx>
-#include <TopExp.hxx>
-
+#include <TopoDS_Shape.hxx>
+#include <TopoDS_Shell.hxx>
 #include <TopTools_DataMapIteratorOfDataMapOfShapeInteger.hxx>
 #include <TopTools_DataMapOfShapeInteger.hxx>
+#include <TopTools_IndexedDataMapOfShapeListOfShape.hxx>
+#include <TopTools_ListIteratorOfListOfShape.hxx>
+#include <TopTools_ListOfShape.hxx>
+#include <TopTools_MapIteratorOfMapOfShape.hxx>
+#include <TopTools_MapOfShape.hxx>
 
+//=======================================================================
+//function : Propagate
+//purpose  : 
+//=======================================================================
+static void Propagate(const TopTools_IndexedDataMapOfShapeListOfShape& mapEF,
+                     const TopoDS_Shape& fac,
+                     TopTools_MapOfShape& mapF)
+{
+  if (mapF.Contains(fac))
+  {
+    return;
+  }
+  mapF.Add(fac);  // attention, if oriented == Standard_True, fac should
+                  // be FORWARD or REVERSED. It is not checked.
 
+  TopTools_MapIteratorOfMapOfShape itf(mapF);
+  while(itf.More())
+  {
+    Standard_Boolean hasBeenAdded = Standard_False;
+    const TopoDS_Shape& fac = itf.Key();
+    TopExp_Explorer ex;
+    for (ex.Init(fac,TopAbs_EDGE); ex.More(); ex.Next())
+    {
+      const TopoDS_Edge& edg = TopoDS::Edge(ex.Current());
+      // test if the edge is in the map (only orienteed edges are present)
+      if (mapEF.Contains(edg))
+      {
+        for (TopTools_ListIteratorOfListOfShape itl(mapEF.FindFromKey(edg)); itl.More(); itl.Next())
+        {
+          if (!itl.Value().IsSame(fac) && !mapF.Contains(itl.Value()))
+          {
+            mapF.Add(itl.Value());
+            hasBeenAdded = Standard_True;
+          }
+        }
+      }
+    }//for (ex.Init(fac,TopAbs_EDGE); ex.More();)
+
+    if(hasBeenAdded)
+    {
+      itf.Initialize(mapF);
+    }
+    else
+    {
+      itf.Next();
+    }
+  }
+}
+
+
+//=======================================================================
+//function : BRepCheck_Trace
+//purpose  : 
+//=======================================================================
 Standard_EXPORT Standard_Integer BRepCheck_Trace(const Standard_Integer phase) {
   static int BRC_Trace = 0;
   if (phase < 0) BRC_Trace =0;
@@ -104,17 +150,10 @@ void PrintShape(const TopoDS_Shape& theShape, const Standard_Integer upper) {
   }
 }
     
-static void Propagate(const TopTools_IndexedDataMapOfShapeListOfShape&,
-                     const TopoDS_Shape&,   // Face
-                     TopTools_MapOfShape&);  // mapofface
-
-
-#ifdef DEB
-static TopAbs_Orientation GetOrientation(const TopoDS_Face&,
-                                        const TopoDS_Shape&);
-#endif
-
-
+//=======================================================================
+//function : IsOriented
+//purpose  : 
+//=======================================================================
 inline Standard_Boolean IsOriented(const TopoDS_Shape& S)
 {
   return (S.Orientation() == TopAbs_FORWARD ||
@@ -137,13 +176,13 @@ BRepCheck_Shell::BRepCheck_Shell(const TopoDS_Shell& S)
 //function : Minimum
 //purpose  : 
 //=======================================================================
-
 void BRepCheck_Shell::Minimum()
 {
   myCdone = Standard_False;
   myOdone = Standard_False;
 
-  if (!myMin) {
+  if (!myMin)
+  {
     BRepCheck_ListOfStatus thelist;
     myMap.Bind(myShape, thelist);
     BRepCheck_ListOfStatus& lst = myMap(myShape);
@@ -152,42 +191,52 @@ void BRepCheck_Shell::Minimum()
     TopExp_Explorer exp(myShape,TopAbs_FACE);
     Standard_Integer nbface = 0;
     myMapEF.Clear();
-    for (; exp.More(); exp.Next()) {
+    for (; exp.More(); exp.Next())
+    {
       nbface++;
       TopExp_Explorer expe;
-      for (expe.Init(exp.Current(),TopAbs_EDGE); 
-          expe.More(); expe.Next()) {
-       const TopoDS_Shape& edg = expe.Current();
-       Standard_Integer index = myMapEF.FindIndex(edg);
-       if (index == 0) {
-         TopTools_ListOfShape thelist1;
-         index = myMapEF.Add(edg, thelist1);
-       }
-       myMapEF(index).Append(exp.Current());
+      for (expe.Init(exp.Current(),TopAbs_EDGE);
+                        expe.More(); expe.Next())
+      {
+        const TopoDS_Shape& edg = expe.Current();
+        Standard_Integer index = myMapEF.FindIndex(edg);
+        if (index == 0)
+        {
+          TopTools_ListOfShape thelist1;
+          index = myMapEF.Add(edg, thelist1);
+        }
+
+        myMapEF(index).Append(exp.Current());
       }
-    }
+    }//for (; exp.More(); exp.Next())
 
-    if (nbface == 0) {
+    if (nbface == 0)
+    {
       BRepCheck::Add(lst,BRepCheck_EmptyShell);
     }
-    else if (nbface >= 2) {
+    else if (nbface >= 2)
+    {
       TopTools_MapOfShape mapF;
       exp.ReInit();
+
       Propagate(myMapEF,exp.Current(),mapF);
-      if (mapF.Extent() != nbface)  {
-       BRepCheck::Add(lst,BRepCheck_NotConnected);
+
+      if (mapF.Extent() != nbface)
+      {
+        BRepCheck::Add(lst,BRepCheck_NotConnected);
       }
-    }
-    if (lst.IsEmpty()) {
+    }//else if (nbface >= 2)
+
+    if (lst.IsEmpty())
+    {
       lst.Append(BRepCheck_NoError);
     }
+    
     myMapEF.Clear();
     myMin = Standard_True;
   }
 }
 
-
-
 //=======================================================================
 //function : InContext
 //purpose  : 
@@ -262,21 +311,23 @@ void BRepCheck_Shell::Blind()
 //function : Closed
 //purpose  : 
 //=======================================================================
-
 BRepCheck_Status BRepCheck_Shell::Closed(const Standard_Boolean Update)
 {
-
-  if (myCdone) {
-    if (Update) {
+  if (myCdone)
+  {
+    if (Update)
+    {
       BRepCheck::Add(myMap(myShape), myCstat);
     }
+
     return myCstat;
   }
 
   myCdone = Standard_True; // it will be done...
 
   BRepCheck_ListIteratorOfListOfStatus itl(myMap(myShape));
-  if (itl.Value() != BRepCheck_NoError) {
+  if (itl.Value() != BRepCheck_NoError)
+  {
     myCstat = itl.Value();
     return myCstat; // already saved
   }
@@ -294,71 +345,94 @@ BRepCheck_Status BRepCheck_Shell::Closed(const Standard_Boolean Update)
   //
   //modified by NIZNHY-PKV Mon Jun  4 13:59:21 2007f
   exp.Init(myShape,TopAbs_FACE);
-  for (; exp.More(); exp.Next()) {
+  for (; exp.More(); exp.Next())
+  {
     const TopoDS_Shape& aF=exp.Current();
-    if (IsOriented(aF)) {
+    if (IsOriented(aF))
+    {
       ede.Init(exp.Current(),TopAbs_EDGE);
-      for (; ede.More(); ede.Next()) {
-       const TopoDS_Shape& aE=ede.Current();
-       if (!IsOriented(aE)) {
-         aMEToAvoid.Add(aE);
-       }
+      for (; ede.More(); ede.Next())
+      {
+        const TopoDS_Shape& aE=ede.Current();
+        if (!IsOriented(aE))
+        {
+          aMEToAvoid.Add(aE);
+        }
       }
     }
   }
   //modified by NIZNHY-PKV Mon Jun  4 13:59:23 2007t
   //
   exp.Init(myShape,TopAbs_FACE);
-  for (; exp.More(); exp.Next()) {
+  for (; exp.More(); exp.Next())
+  {
     const TopoDS_Shape& aF=exp.Current();
-    if (IsOriented(aF)) {
-      if (!mapS.Add(aF)) {
-       myCstat = BRepCheck_RedundantFace;
-       if (Update) {
-         BRepCheck::Add(myMap(myShape),myCstat);
-       }
-       return myCstat;
+    if (IsOriented(aF))
+    {
+      if (!mapS.Add(aF))
+      {
+        myCstat = BRepCheck_RedundantFace;
+        
+        if (Update)
+        {
+          BRepCheck::Add(myMap(myShape),myCstat);
+        }
+
+        return myCstat;
       }
+
       //
       ede.Init(exp.Current(),TopAbs_EDGE);
-      for (; ede.More(); ede.Next()) {
-       const TopoDS_Shape& aE=ede.Current();
-       //modified by NIZNHY-PKV Mon Jun  4 14:07:57 2007f
-       //if (IsOriented(aE)) {
-       if (!aMEToAvoid.Contains(aE)) {
-         //modified by NIZNHY-PKV Mon Jun  4 14:08:01 2007
-         index = myMapEF.FindIndex(aE);
-         if (!index) {
-           TopTools_ListOfShape thelist;
-           index = myMapEF.Add(aE, thelist);
-         }
-         myMapEF(index).Append(aF);
-       }
+      for (; ede.More(); ede.Next())
+      {
+        const TopoDS_Shape& aE=ede.Current();
+        //modified by NIZNHY-PKV Mon Jun  4 14:07:57 2007f
+        //if (IsOriented(aE)) {
+        if (!aMEToAvoid.Contains(aE))
+        {
+          //modified by NIZNHY-PKV Mon Jun  4 14:08:01 2007
+          index = myMapEF.FindIndex(aE);
+          
+          if (!index)
+          {
+            TopTools_ListOfShape thelist;
+            index = myMapEF.Add(aE, thelist);
+          }
+
+          myMapEF(index).Append(aF);
+        }
       }
     }
   }
+
   //
   myNbori = mapS.Extent();
-  if (myNbori >= 2) {
+  if (myNbori >= 2)
+  {
     mapS.Clear();
     // Search for the first oriented face
     TopoDS_Shape aF;
     exp.Init(myShape, TopAbs_FACE);
-    for (;exp.More(); exp.Next()) {
+    for (;exp.More(); exp.Next())
+    {
       aF=exp.Current();
-      if (IsOriented(aF)) {
-       break;
+      if (IsOriented(aF))
+      {
+        break;
       }
     }
-    //
+
     Propagate(myMapEF, aF, mapS);
   }
   //
+
   //
   aNbF=mapS.Extent();
-  if (myNbori != aNbF) {
+  if (myNbori != aNbF)
+  {
     myCstat = BRepCheck_NotConnected;
-    if (Update) {
+    if (Update)
+    {
       BRepCheck::Add(myMap(myShape),myCstat);
     }
     return myCstat;
@@ -368,28 +442,37 @@ BRepCheck_Status BRepCheck_Shell::Closed(const Standard_Boolean Update)
   Standard_Integer i, Nbedges, nboc, nbSet;
   //
   Nbedges = myMapEF.Extent();
-  for (i = 1; i<=Nbedges; ++i) {
+  for (i = 1; i<=Nbedges; ++i)
+  {
     nboc = myMapEF(i).Extent();
-    if (nboc == 0 || nboc >= 3) {
+    if (nboc == 0 || nboc >= 3)
+    {
       TopTools_ListOfShape theSet;
       nbSet=NbConnectedSet(theSet);
       // If there is more than one closed cavity the shell is considered invalid
       // this corresponds to the criteria of a solid (not those of a shell)
-      if (nbSet>1) {
-       myCstat = BRepCheck_InvalidMultiConnexity;
-       if (Update) {
-         BRepCheck::Add(myMap(myShape),myCstat);
-       }
-       return myCstat;
+      if (nbSet>1)
+      {
+        myCstat = BRepCheck_InvalidMultiConnexity;
+        if (Update)
+        {
+          BRepCheck::Add(myMap(myShape),myCstat);
+        }
+
+        return myCstat;
       }
     }
-    else if (nboc == 1) {
-      if (!BRep_Tool::Degenerated(TopoDS::Edge(myMapEF.FindKey(i)))) {
-       myCstat=BRepCheck_NotClosed;
-       if (Update) {
-         BRepCheck::Add(myMap(myShape),myCstat);
-       }
-       return myCstat;
+    else if (nboc == 1)
+    {
+      if (!BRep_Tool::Degenerated(TopoDS::Edge(myMapEF.FindKey(i))))
+      {
+        myCstat=BRepCheck_NotClosed;
+        if (Update)
+        {
+          BRepCheck::Add(myMap(myShape),myCstat);
+        }
+
+        return myCstat;
       }
     }
   }
@@ -445,7 +528,7 @@ BRepCheck_Status BRepCheck_Shell::Orientation(const Standard_Boolean Update)
     }
   }
 
-#ifdef DEB
+#ifdef OCCT_DEBUG
   if (BRepCheck_Trace(0) > 1) {
     TopTools_DataMapIteratorOfDataMapOfShapeInteger itt(MapOfShapeOrientation);
     Standard_Integer upper = MapOfShapeOrientation.NbBuckets();
@@ -636,7 +719,7 @@ BRepCheck_Status BRepCheck_Shell::Orientation(const Standard_Boolean Update)
 //       orf = (TopAbs_Orientation)MapOfShapeOrientation.Find(Fref);
          Fref.Orientation(orf);
 
-#ifdef DEB
+#ifdef OCCT_DEBUG
   if (BRepCheck_Trace(0) > 3) {
     cout << "Fref : " ;
     PrintShape(Fref, MapOfShapeOrientation.NbBuckets());
@@ -679,7 +762,7 @@ BRepCheck_Status BRepCheck_Shell::Orientation(const Standard_Boolean Update)
 //         orf = (TopAbs_Orientation)MapOfShapeOrientation.Find(Fcur);
            Fcur.Orientation(orf);
 
-#ifdef DEB
+#ifdef OCCT_DEBUG
   if (BRepCheck_Trace(0) > 3) {
     cout << "    Fcur : " ;
     PrintShape(Fcur, MapOfShapeOrientation.NbBuckets());
@@ -699,7 +782,7 @@ BRepCheck_Status BRepCheck_Shell::Orientation(const Standard_Boolean Update)
                  BRepCheck::Add(myMap(myShape), myOstat);
                }
                // quit, otherwise there is a risk of taking too much time.
-#ifdef DEB
+#ifdef OCCT_DEBUG
   if (BRepCheck_Trace(0) > 3) {
     orf = (TopAbs_Orientation)MapOfShapeOrientation.Find(Fcur);
     Fcur.Orientation(orf);
@@ -714,7 +797,7 @@ BRepCheck_Status BRepCheck_Shell::Orientation(const Standard_Boolean Update)
              MapOfShapeOrientation(Fcur)=orf;
 
 
-#ifdef DEB
+#ifdef OCCT_DEBUG
   if (BRepCheck_Trace(0) > 3) {
     orf = (TopAbs_Orientation)MapOfShapeOrientation.Find(Fcur);
     Fcur.Orientation(orf);
@@ -835,10 +918,11 @@ Standard_Integer BRepCheck_Shell::NbConnectedSet(TopTools_ListOfShape& theSets)
            }
          }
          if (!newCur) {
-          theSets.Append(CurShell);
-          CurShell.Nullify();
-          newCur=Standard_True;
-          BRB.MakeShell(CurShell);
+            CurShell.Closed (BRep_Tool::IsClosed (CurShell));
+            theSets.Append(CurShell);
+            CurShell.Nullify();
+            newCur=Standard_True;
+            BRB.MakeShell(CurShell);
          }
        }
        if (theFaces.IsEmpty()) break;
@@ -848,55 +932,3 @@ Standard_Integer BRepCheck_Shell::NbConnectedSet(TopTools_ListOfShape& theSets)
   }
   return theSets.Extent();
 }
-
-//=======================================================================
-//function : GetOrientation
-//purpose  : 
-//=======================================================================
-
-#ifdef DEB
-static TopAbs_Orientation GetOrientation(const TopoDS_Face& F,
-                                        const TopoDS_Shape& S)
-
-{
-  TopExp_Explorer exp;
-  for (exp.Init(S,TopAbs_FACE); exp.More(); exp.Next()) {
-    if (exp.Current().IsSame(F)) {
-      return exp.Current().Orientation();
-    }
-  }
-  return TopAbs_FORWARD; // for compilation
-}
-#endif
-
-
-//=======================================================================
-//function : Propagate
-//purpose  : 
-//=======================================================================
-
-static void Propagate(const TopTools_IndexedDataMapOfShapeListOfShape& mapEF,
-                     const TopoDS_Shape& fac,
-                     TopTools_MapOfShape& mapF)
-{
-  if (mapF.Contains(fac)) {
-    return;
-  }
-  mapF.Add(fac); // attention, if oriented == Standard_True, fac should
-                 // be FORWARD or REVERSED. It is not checked.
-
-  TopExp_Explorer ex;
-  for (ex.Init(fac,TopAbs_EDGE); ex.More(); ex.Next()) {
-    const TopoDS_Edge& edg = TopoDS::Edge(ex.Current());
-// test if the edge is in the map (only orienteed edges are present)
-    if (mapEF.Contains(edg)) {
-      for (TopTools_ListIteratorOfListOfShape itl(mapEF.FindFromKey(edg));
-          itl.More(); itl.Next()) {
-       if (!itl.Value().IsSame(fac) &&
-           !mapF.Contains(itl.Value())) {
-         Propagate(mapEF,itl.Value(),mapF);
-       }
-      }
-    }
-  }
-}