src/TopOpeBRepBuild/TopOpeBRepBuild_BuilderON2d.cxx

   1 // Created on: 1998-05-07
   2 // Created by: Xuan PHAM PHU
   3 // Copyright (c) 1998-1999 Matra Datavision
   4 // Copyright (c) 1999-2014 OPEN CASCADE SAS
   5 //
   6 // This file is part of Open CASCADE Technology software library.
   7 //
   8 // This library is free software; you can redistribute it and/or modify it under
   9 // the terms of the GNU Lesser General Public License version 2.1 as published
  10 // by the Free Software Foundation, with special exception defined in the file
  11 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
  12 // distribution for complete text of the license and disclaimer of any warranty.
  13 //
  14 // Alternatively, this file may be used under the terms of Open CASCADE
  15 // commercial license or contractual agreement.
  16
  17 #include <TopOpeBRepBuild_BuilderON.jxx>
  18
  19 #include <TopOpeBRepTool_EXPORT.hxx>
  20 #include <TopOpeBRepTool_SC.hxx>
  21 #include <TopOpeBRepDS_InterferenceTool.hxx>
  22 #include <TopOpeBRepDS_EXPORT.hxx>
  23 #include <TopOpeBRepDS_connex.hxx>
  24 #include <TopOpeBRepDS.hxx>
  25 #include <TopOpeBRepBuild_define.hxx>
  26 #include <BRep_Tool.hxx>
  27 #include <TopoDS.hxx>
  28 #include <TopExp.hxx>
  29 #include <Precision.hxx>
  30
  31
  32 #define M_OUT(st) (st == TopAbs_OUT)
  33 #define M_IN( st) (st == TopAbs_IN)
  34 #define M_FORWARD(st) (st == TopAbs_FORWARD)
  35 #define M_REVERSED(st) (st == TopAbs_REVERSED)
  36
  37 #ifdef OCCT_DEBUG
  38 Standard_EXPORT Standard_Boolean TopOpeBRepBuild_GetcontextEINTERNAL();
  39 Standard_EXPORT Standard_Boolean TopOpeBRepBuild_GetcontextEEXTERNAL();
  40 Standard_EXPORT void debfillonf(const Standard_Integer iF);
  41 Standard_EXPORT void debON2d(const Standard_Integer iF)
  42 {cout<<"++ debON2d "<<iF<<" "<<endl;}
  43 #endif
  44
  45 Standard_EXPORT TopAbs_State FUN_build_TB(const TopOpeBRepBuild_PBuilder& PB,const Standard_Integer rank); // xpu290698
  46 Standard_EXPORT Standard_Boolean FUN_keepEON(const TopOpeBRepBuild_Builder& B,
  47                                 const TopoDS_Shape& sEG,const TopoDS_Shape& sFOR,const TopoDS_Shape& sFS,
  48                                 const Standard_Boolean EGBoundFOR,
  49                                 const TopOpeBRepDS_Transition& TFE,const TopAbs_State TB1,const TopAbs_State TB2);
  50 Standard_EXPORT void FUN_coutmess(const TCollection_AsciiString& m);
  51
  52 Standard_EXPORTEXTERN  TopOpeBRepDS_PDataStructure GLOBAL_DS2d;
  53
  54 //=======================================================================
  55 //function : Perform2d
  56 //purpose  :
  57 //=======================================================================
  58 void TopOpeBRepBuild_BuilderON::Perform2d
  59 (const TopOpeBRepBuild_PBuilder& PB,
  60  const TopoDS_Shape& FOR,const TopOpeBRepBuild_PGTopo& PG,
  61  const TopOpeBRepTool_Plos& PLSclass, const TopOpeBRepBuild_PWireEdgeSet& PWES)
  62 {
  63   myPB = PB;
  64   myFace = FOR;
  65   myPG = PG;
  66   myPLSclass = PLSclass;
  67   myPWES = PWES;
  68
  69   const TopOpeBRepDS_DataStructure& BDS=myPB->DataStructure()->DS();
  70   if (GLOBAL_DS2d == NULL) GLOBAL_DS2d = (TopOpeBRepDS_PDataStructure)new TopOpeBRepDS_DataStructure();
  71   const TopOpeBRepDS_ListOfInterference& lFEI = GLOBAL_DS2d->ShapeInterferences(FOR);
  72
  73 #ifdef OCCT_DEBUG
  74   Standard_Integer iFOR;Standard_Boolean tFOR=myPB->GtraceSPS(FOR,iFOR);
  75   if (tFOR) debfillonf(iFOR);
  76   if (tFOR) {cout<<endl<<"LI on F"<<iFOR<<":"<<endl;
  77              for (TopOpeBRepDS_ListIteratorOfListOfInterference iit(lFEI); iit.More(); iit.Next())
  78                {iit.Value()->Dump(cout);cout<<endl;}}
  79 #endif
  80
  81   for (TopOpeBRepDS_ListIteratorOfListOfInterference itI(lFEI); itI.More(); itI.Next()){
  82     const Handle(TopOpeBRepDS_Interference)& I = itI.Value();
  83     TopOpeBRepDS_Kind GT,ST;Standard_Integer GI,SI;FDS_data(I,GT,GI,ST,SI);
  84
  85     const TopoDS_Edge& EG=TopoDS::Edge(BDS.Shape(GI));
  86 #ifdef OCCT_DEBUG
  87 //    Standard_Integer iEG=BDS.Shape(EG);
  88 #endif
  89     const TopTools_ListOfShape& lEspON=myPB->Splits(EG,TopAbs_ON);
  90 #ifdef OCCT_DEBUG
  91 //    Standard_Integer nEspON=lEspON.Extent();
  92 #endif
  93     for(TopTools_ListIteratorOfListOfShape it(lEspON);it.More();it.Next()) {
  94       const TopoDS_Shape& EspON=it.Value();
  95       GFillONParts2dWES2(I,EspON);
  96     }
  97   }
  98 }
  99
 100 //=======================================================================
 101 //function : GFillONPartsWES2
 102 //purpose  :
 103 //=======================================================================
 104 void TopOpeBRepBuild_BuilderON::GFillONParts2dWES2(const Handle(TopOpeBRepDS_Interference)& I,const TopoDS_Shape& EspON)
 105 {
 106   const Handle(TopOpeBRepDS_HDataStructure)& HDS=myPB->DataStructure();
 107   const TopOpeBRepDS_DataStructure& BDS= HDS->DS();
 108   const Handle(TopOpeBRepDS_ShapeShapeInterference)& SSI=Handle(TopOpeBRepDS_ShapeShapeInterference)::DownCast(I);
 109   TopAbs_State TB1,TB2;myPG->StatesON(TB1,TB2);
 110   TopOpeBRepDS_Kind GT,ST;Standard_Integer GI,SI;FDS_data(SSI,GT,GI,ST,SI);
 111 //  const TopOpeBRepDS_Transition& TFE=SSI->Transition();
 112   Standard_Boolean EGBoundFOR=SSI->GBound();
 113   const TopoDS_Face& FOR=TopoDS::Face(myFace); Standard_Integer iFOR=BDS.Shape(FOR);
 114   const TopoDS_Edge& EG=TopoDS::Edge(BDS.Shape(GI));
 115 #ifdef OCCT_DEBUG
 116 //  Standard_Integer iEG=BDS.Shape(EG);
 117 #endif
 118   const TopoDS_Face& FS=TopoDS::Face(BDS.Shape(SI));
 119 #ifdef OCCT_DEBUG
 120 //  Standard_Integer iFS=BDS.Shape(FS);
 121 //  Standard_Boolean isclosedFF=BRep_Tool::IsClosed(EG,FOR);
 122 //  Standard_Boolean isclosedFS=BRep_Tool::IsClosed(EG,FS);
 123 //  Standard_Boolean isclosed=(isclosedFF || isclosedFS);
 124 //  Standard_Boolean isrest=BDS.IsSectionEdge(EG);
 125 //  Standard_Boolean issplit=myPB->IsSplit(EG,TopAbs_ON);
 126 //  Standard_Integer rankFS=myPB->GShapeRank(FS);
 127 #endif
 128   Standard_Integer rankEG=myPB->GShapeRank(EG);
 129 #ifdef OCCT_DEBUG
 130 //  Standard_Integer rankFOR=myPB->GShapeRank(FOR);
 131 #endif
 132
 133 //  TopAbs_State TBEG = (rankEG == 1) ? TB1 : TB2;
 134   TopAbs_State TBEG = FUN_build_TB(myPB,rankEG);
 135 #ifdef OCCT_DEBUG
 136 //  TopAbs_State TFEbef = TFE.Before();
 137 //  TopAbs_State TFEaft = TFE.After();
 138 //  Standard_Boolean EGboundFOR =
 139 //                   Handle(TopOpeBRepDS_ShapeShapeInterference)::DownCast(I)->GBound();
 140 #endif
 141   Standard_Boolean eghassd   = HDS->HasSameDomain(EG);
 142
 143 #ifdef OCCT_DEBUG
 144   Standard_Boolean tFOR=myPB->GtraceSPS(iFOR);
 145 //  Standard_Boolean tE=myPB->GtraceSPS(GI);
 146 //  Standard_Boolean tEFOR = (tE && tFOR);
 147   if (tFOR) {debON2d(iFOR);}
 148   if (tFOR) {I->Dump(cout);cout<<endl;}
 149 #endif
 150
 151   Standard_Integer iFCX=SI;
 152   Standard_Boolean FFinSDSO = Standard_True;
 153 #ifdef OCCT_DEBUG
 154 //  Standard_Boolean FFinSDDO = Standard_False;
 155 #endif
 156   Standard_Boolean FFinSD= Standard_True;
 157   TopoDS_Face FCX = FS;
 158
 159 #ifdef OCCT_DEBUG
 160 //  TopAbs_Orientation oFOR = BDS.Shape(iFOR).Orientation();
 161 //  TopAbs_Orientation oFS  = BDS.Shape(iFS).Orientation();
 162 //  TopAbs_Orientation oFCX = BDS.Shape(iFCX).Orientation();
 163 //  Standard_Integer irefFOR = BDS.SameDomainRef(FOR);
 164 //  Standard_Integer irefFCX = BDS.SameDomainRef(FCX);
 165 //  Standard_Boolean FORisref = (irefFOR == iFOR);
 166 //  Standard_Boolean FCXisref = (irefFCX == iFCX);
 167 #endif
 168
 169   TopAbs_Orientation oegFCXF;Standard_Boolean EGBoundFCX = FUN_tool_orientEinFFORWARD(EG,FCX,oegFCXF);
 170   TopAbs_Orientation oegFCX ;
 171 #ifdef OCCT_DEBUG
 172 //  Standard_Boolean ok2 =
 173 #endif
 174             FUN_tool_orientEinF(EG,FCX,oegFCX);
 175
 176   Standard_Boolean opeFus = myPB->Opefus();
 177   Standard_Boolean opeCut = myPB->Opec12() || myPB->Opec21();
 178   Standard_Boolean opeCom = myPB->Opecom();
 179
 180
 181   Standard_Boolean yap6 = Standard_True;
 182   yap6 = yap6 && FFinSD;
 183 //  yap6 = yap6 && (!EGBoundFOR);
 184 //  yap6 = yap6 && EGBoundFCX;
 185   yap6 =  yap6 && (EGBoundFOR || EGBoundFCX);
 186   yap6 = yap6 && eghassd;
 187
 188   //=========================================
 189   if ( yap6) {
 190 #ifdef OCCT_DEBUG
 191     if (tFOR) cout<<"* yap6 = 1"<<endl;
 192 #endif
 193     TopAbs_Orientation neworiE = TopAbs_FORWARD;
 194     // FF est samedomain avec FCX
 195     // on evalue la transition de FOR par rapport a la matiere 2d de la face FCX
 196     // au lieu de la transition par rapport a la matiere 3d de la face FS
 197     // EG est une arete de FCX, oegFCXF=O.T. de EG dans FCX orientee FORWARD
 198
 199     Standard_Boolean b = Standard_False;
 200
 201     Standard_Boolean SO = FFinSDSO;//(FFinSDSO && (oFOR == oFCX)) || (FFinSDDO && (oFOR != oFCX));
 202 #ifdef OCCT_DEBUG
 203 //    Standard_Integer rkToFill = BDS.AncestorRank(myFace); //DEB
 204 #endif
 205     Standard_Boolean rk1 = (rankEG == 1);
 206     if (!rk1) return;
 207
 208     TopAbs_Orientation oegFOR;
 209     Standard_Boolean shareG = Standard_False;
 210     Standard_Boolean ok = Standard_False;
 211     if      (EGBoundFCX)
 212       ok = FUN_ds_shareG(myPB->DataStructure(),iFOR,iFCX,GI,TopoDS::Edge(EspON),shareG);
 213     else if (EGBoundFOR)
 214       ok = FUN_ds_shareG(myPB->DataStructure(),iFCX,iFOR,GI,TopoDS::Edge(EspON),shareG);
 215     if (!ok) return; // nyiFUNRAISE
 216 #ifdef OCCT_DEBUG
 217     if (tFOR) cout<<" shareG="<<shareG<<endl;
 218 #endif
 219
 220     if (SO) {
 221       // FOR and FCX share geometric domain.
 222       if      (opeFus) b = shareG;
 223       else if (opeCut) b = (!shareG) && M_OUT(TBEG);
 224       else if (opeCom) b = shareG;
 225     }
 226     if (!b) return;
 227
 228     if      (!EGBoundFOR) {
 229       TopAbs_Orientation oegFCXF1; FUN_tool_orientEinFFORWARD(EG,FCX,oegFCXF1);
 230       neworiE = oegFCXF;
 231     }
 232     else if (EGBoundFOR) {
 233       FUN_tool_orientEinFFORWARD(EG,TopoDS::Face(FOR),oegFOR);
 234       neworiE = oegFOR;
 235     }
 236
 237 //    Standard_Real f,l; FUN_tool_bounds(EG,f,l); Standard_Real parON = (f+l)*.4352;
 238     Standard_Real f,l; FUN_tool_bounds(TopoDS::Edge(EspON),f,l); Standard_Real parON = (f+l)*.4352; // xpu120698
 239     Standard_Boolean ESO; ok = FUN_tool_curvesSO(TopoDS::Edge(EspON),parON,EG,ESO);
 240     if (!ok) return; // xpu120698
 241     if (!ESO) neworiE = TopAbs::Complement(neworiE);
 242
 243     TopAbs_Orientation oFOR = BDS.Shape(iFOR).Orientation();
 244     TopAbs_Orientation oFCX = BDS.Shape(iFCX).Orientation();
 245     if (oFOR != oFCX) neworiE = TopAbs::Complement(neworiE);
 246
 247     TopoDS_Shape newE = EspON;
 248     newE.Orientation(neworiE);
 249     myPWES->AddStartElement(newE);
 250 #ifdef OCCT_DEBUG
 251     if (tFOR) cout<<"  add spON e"<<GI<<endl;
 252 #endif
 253     return;
 254   } // yap6
 255
 256 } // GFillONPartsWES2