src/PARTITION/Partition_Inter3d.cdl

   1 // Copyright (C) 2005  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
   2 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   3 //
   4 // This library is free software; you can redistribute it and/or
   5 // modify it under the terms of the GNU Lesser General Public
   6 // License as published by the Free Software Foundation; either
   7 // version 2.1 of the License.
   8 //
   9 // This library is distributed in the hope that it will be useful
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12 // Lesser General Public License for more details.
  13 //
  14 // You should have received a copy of the GNU Lesser General Public
  15 // License along with this library; if not, write to the Free Software
  16 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  17 //
  18 -- See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  19 //
  20 --  GEOM PARTITION : partition algorithm
  21 --
  22 --  Copyright (C) 2003  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
  23 --  CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
  24 --
  25 --  This library is free software; you can redistribute it and/or
  26 --  modify it under the terms of the GNU Lesser General Public
  27 --  License as published by the Free Software Foundation; either
  28 --  version 2.1 of the License.
  29 --
  30 --  This library is distributed in the hope that it will be useful,
  31 --  but WITHOUT ANY WARRANTY; without even the implied warranty of
  32 --  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  33 --  Lesser General Public License for more details.
  34 --
  35 --  You should have received a copy of the GNU Lesser General Public
  36 --  License along with this library; if not, write to the Free Software
  37 --  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  38 --
  39 -- See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  40 --
  41 --
  42 --
  43 --  File   : Partition_Inter3d.cdl
  44 --  Author : Benedicte MARTIN
  45 --  Module : GEOM
  46
  47 class Inter3d from Partition
  48
  49         ---Purpose: Computes the intersection face face in a set of faces
  50         --          Store the result in a SD as AsDes.
  51
  52 uses
  53     Edge from TopoDS,
  54     Vertex from TopoDS,
  55     DataMapOfShapeShape       from TopTools,
  56     MapOfShape                from TopTools,
  57     Boolean                   from Standard,
  58     AsDes                     from BRepAlgo,
  59     Image                     from BRepAlgo,
  60     Shape                     from TopoDS,
  61     Face                      from TopoDS,
  62     ListOfShape               from TopTools,
  63     Real                      from Standard,
  64     State                     from TopAbs,
  65     DataMapOfShapeListOfShape from TopTools
  66
  67 is
  68     Create returns Inter3d from Partition;
  69
  70     Create(AsDes : mutable AsDes from BRepAlgo);
  71
  72     CompletPart3d (me : in out; SetOfFaces1 : ListOfShape from TopTools;
  73                                 FaceShapeMap: DataMapOfShapeShape from TopTools)
  74         is static;
  75
  76     FacesPartition (me : in out; F1, F2 : Face  from TopoDS)
  77         is static;
  78
  79         ----------------------------
  80         ---Category: Result Querying
  81         ----------------------------
  82
  83     IsDone(me ; F1,F2 : Face from TopoDS)
  84         returns Boolean from Standard is static;
  85         ---Purpose: return True if F1-F2 pair has been processed
  86
  87     TouchedFaces(me : in out) returns MapOfShape from TopTools
  88         ---C++: return &
  89         is static;
  90         ---Purpose: return map of faces cut by new or section edges
  91
  92     NewEdges(me : in out) returns MapOfShape from TopTools
  93         ---C++:  return &
  94         is static;
  95         ---Purpose: return new and section edges
  96
  97     AsDes(me) returns AsDes from BRepAlgo
  98         is static;
  99         ---Purpose: return an object containing info about
 100         --             Ascendants     | Descendants
 101         --          ------------------+---------------------
 102         --          1. faces          | edges cutting them
 103         --          2. sectoin edges  | new vertices on them
 104
 105
 106         -------------------------------
 107         ---Category: Same domain shapes
 108         -------------------------------
 109
 110     HasSameDomainF(me; F : Shape from TopoDS)
 111         returns Boolean from Standard;
 112         ---Purpose: Return true if F has same domain faces
 113
 114     IsSameDomainF(me; F1, F2 : Shape from TopoDS)
 115         returns Boolean from Standard;
 116         ---Purpose: Return true if F1 and F2 are same domain faces
 117
 118     SameDomain(me; F : Face from TopoDS)
 119         returns ListOfShape from TopTools;
 120         ---C++:  return const &
 121         ---Purpose: Return same domain faces of F
 122
 123     ReplaceSameDomainV (me; V : Vertex from TopoDS;
 124                             E : Edge   from TopoDS)
 125         returns Vertex from TopoDS;
 126         ---Purpose: return same domain vertex of  V if it was replaced
 127         --          and make this vertex to be on E too, else return V
 128
 129         --------------------------
 130         ---Category: Section edges
 131         --------------------------
 132
 133     SectionEdgesAD (me) returns AsDes from BRepAlgo
 134         is static;
 135
 136     IsSectionEdge (me; E : Edge from TopoDS)
 137         returns Boolean from Standard;
 138         ---Purpose: return True if E is an edge of an initial face and
 139         --          E intersects aother face
 140
 141     HasSectionEdge (me; F : Face from TopoDS)
 142         returns Boolean from Standard;
 143         ---Purpose: return True if  F  is  intersected  by  an edge of
 144         --          other face
 145
 146     IsSplitOn (me; NewE, OldE : Edge from TopoDS;
 147                    F : Face from TopoDS)
 148         returns Boolean from Standard;
 149         ---Purpose: return True if NewE is split of OldE on F;
 150         --          no check if NewE is split of OldE :)
 151
 152     SectionEdgeFaces (me; SecE : Edge from TopoDS)
 153         returns ListOfShape from TopTools;
 154         ---C++:  return const&
 155         ---Purpose: return faces cut by section edge
 156
 157         --------------------
 158         ---Category: Private
 159         --------------------
 160
 161     Inter3D (me: in out; F1, F2 :        Face        from TopoDS;
 162                          LInt   : in out ListOfShape from TopTools)
 163         is static private;
 164
 165     StorePart3d(me : in out; F1,F2 : Face        from TopoDS;
 166                              LInt1 : ListOfShape from TopTools)
 167         is static private;
 168
 169     SetDone(me : in out; F1,F2 : Face from TopoDS)
 170         is static private;
 171
 172     Affiche (me; SetOfFaces : ListOfShape from TopTools)
 173         is static private;
 174
 175 fields
 176
 177     myAsDes        : AsDes                     from BRepAlgo;
 178     myDone         : DataMapOfShapeListOfShape from TopTools;
 179     myTouched      : MapOfShape                from TopTools;
 180     myNewEdges     : MapOfShape                from TopTools;
 181
 182         -- section edges: existing edges  that are intersection lines,
 183         -- may be partially.
 184         -- Store as
 185         -- FACE -> SECTION EDGES, SECTION EDGE -> OTHER SECTION EDGE
 186     mySectionEdgesAD : AsDes                   from BRepAlgo;
 187
 188     -- same domain shapes
 189      -- faces
 190     mySameDomainFM : DataMapOfShapeListOfShape from TopTools;
 191      -- vertex -> vertex replacement
 192     mySameDomainVM : DataMapOfShapeShape       from TopTools;
 193
 194 end Inter3d;