Salome HOME
0022762: [EDF] Fast detection of face/face face/solid solid/solid interference
[modules/geom.git] / src / GEOMImpl / GEOMImpl_IMeasureOperations.hxx
1 // Copyright (C) 2007-2014  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, or (at your option) any later version.
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 #ifndef _GEOMImpl_IMeasureOperations_HXX_
24 #define _GEOMImpl_IMeasureOperations_HXX_
25
26 #include "GEOM_IOperations.hxx"
27
28 #include <BRepCheck_Analyzer.hxx>
29 #include <BRepCheck_Status.hxx>
30 #include <TopoDS_Shape.hxx>
31 #include <TCollection_AsciiString.hxx>
32 #include <TColStd_HSequenceOfInteger.hxx>
33 #include <TColStd_HSequenceOfReal.hxx>
34 #include <TopTools_DataMapOfIntegerListOfShape.hxx>
35 #include <TopTools_MapOfShape.hxx>
36 #include <Geom_Surface.hxx>
37 #include <Precision.hxx>
38
39 class GEOM_Engine;
40 class Handle(GEOM_Object);
41
42 class GEOMImpl_IMeasureOperations : public GEOM_IOperations {
43  public:
44   Standard_EXPORT GEOMImpl_IMeasureOperations(GEOM_Engine* theEngine, int theDocID);
45   Standard_EXPORT ~GEOMImpl_IMeasureOperations();
46
47   enum ShapeKind {
48     SK_NO_SHAPE,
49     // COMPOSITEs
50     SK_COMPOUND,
51     SK_COMPSOLID,
52     SK_SHELL,
53     SK_WIRE,
54     // SOLIDs
55     SK_SPHERE,       // full sphere
56     SK_CYLINDER,     // cylinder
57     SK_BOX,          // box with faces, parallel to global coordinate planes
58     SK_ROTATED_BOX,  // other box
59     SK_TORUS,        // full torus
60     SK_CONE,         // cone
61     SK_POLYHEDRON,   // solid, bounded by polygons
62     SK_SOLID,        // other solid
63     // FACEs
64     SK_SPHERE2D,     // spherical face (closed)
65     SK_CYLINDER2D,   // cylindrical face with defined height
66     SK_TORUS2D,      // toroidal face (closed)
67     SK_CONE2D,       // conical face with defined height
68     SK_DISK_CIRCLE,  // planar, bounded by circle
69     SK_DISK_ELLIPSE, // planar, bounded by ellipse
70     SK_POLYGON,      // planar, bounded by segments
71     SK_PLANE,        // infinite planar
72     SK_PLANAR,       // other planar
73     SK_FACE,         // other face
74     // EDGEs
75     SK_CIRCLE,       // full circle
76     SK_ARC_CIRCLE,   // arc of circle
77     SK_ELLIPSE,      // full ellipse
78     SK_ARC_ELLIPSE,  // arc of ellipse
79     SK_LINE,         // infinite segment
80     SK_SEGMENT,      // segment
81     SK_EDGE,         // other edge
82     // VERTEX
83     SK_VERTEX,
84     // ADVANCED shapes
85     SK_ADVANCED,     // all advanced shapes (temporary implementation)
86   };
87
88   /**
89    * This enumeration represents the level of checking shape on
90    * self-interference. It defines which interferferences will be checked.
91    */
92   enum SICheckLevel
93   {
94     SI_V_V = 0, // only V/V interferences
95     SI_V_E,     // V/V and V/E interferences
96     SI_E_E,     // V/V, V/E and E/E interferences
97     SI_V_F,     // V/V, V/E, E/E and V/F interferences
98     SI_E_F,     // V/V, V/E, E/E, V/F and E/F interferences
99     SI_ALL      // all interferences
100   };
101
102   Standard_EXPORT ShapeKind KindOfShape (Handle(GEOM_Object) theShape,
103                                          Handle(TColStd_HSequenceOfInteger)& theIntegers,
104                                          Handle(TColStd_HSequenceOfReal)&    theDoubles);
105
106   Standard_EXPORT void GetPosition (Handle(GEOM_Object) theShape,
107                                     Standard_Real& Ox, Standard_Real& Oy, Standard_Real& Oz,
108                                     Standard_Real& Zx, Standard_Real& Zy, Standard_Real& Zz,
109                                     Standard_Real& Xx, Standard_Real& Xy, Standard_Real& Xz);
110
111   Standard_EXPORT Handle(GEOM_Object) GetCentreOfMass (Handle(GEOM_Object) theShape);
112
113   Standard_EXPORT Handle(GEOM_Object) GetVertexByIndex (Handle(GEOM_Object) theShape,
114                                                         Standard_Integer theIndex);
115
116   Standard_EXPORT Handle(GEOM_Object) GetNormal (Handle(GEOM_Object) theFace,
117                                                  Handle(GEOM_Object) theOptionalPoint);
118
119   Standard_EXPORT void GetBasicProperties (Handle(GEOM_Object) theShape,
120                                            Standard_Real& theLength,
121                                            Standard_Real& theSurfArea,
122                                            Standard_Real& theVolume);
123
124   Standard_EXPORT void GetInertia (Handle(GEOM_Object) theShape,
125                                    Standard_Real& I11, Standard_Real& I12, Standard_Real& I13,
126                                    Standard_Real& I21, Standard_Real& I22, Standard_Real& I23,
127                                    Standard_Real& I31, Standard_Real& I32, Standard_Real& I33,
128                                    Standard_Real& Ix , Standard_Real& Iy , Standard_Real& Iz);
129
130   Standard_EXPORT void GetBoundingBox (Handle(GEOM_Object) theShape,
131                                        const Standard_Boolean precise,
132                                        Standard_Real& Xmin, Standard_Real& Xmax,
133                                        Standard_Real& Ymin, Standard_Real& Ymax,
134                                        Standard_Real& Zmin, Standard_Real& Zmax);
135
136   Standard_EXPORT Handle(GEOM_Object) GetBoundingBox (Handle(GEOM_Object) theShape,
137                                                       const Standard_Boolean precise);
138
139   Standard_EXPORT void GetTolerance (Handle(GEOM_Object) theShape,
140                                      Standard_Real& FaceMin, Standard_Real& FaceMax,
141                                      Standard_Real& EdgeMin, Standard_Real& EdgeMax,
142                                      Standard_Real& VertMin, Standard_Real& VertMax);
143
144   struct ShapeError {
145     BRepCheck_Status error;
146     std::list<int>   incriminated;
147   };
148
149   Standard_EXPORT bool CheckShape (Handle(GEOM_Object)     theShape,
150                                    const Standard_Boolean  theIsCheckGeom,
151                                    std::list<ShapeError>  &theErrors);
152
153   Standard_EXPORT TCollection_AsciiString PrintShapeErrors
154                                   (Handle(GEOM_Object)          theShape,
155                                    const std::list<ShapeError> &theErrors);
156
157   Standard_EXPORT bool CheckSelfIntersections (Handle(GEOM_Object) theShape,
158                                                const SICheckLevel  theCheckLevel,
159                                                Handle(TColStd_HSequenceOfInteger)& theIntersections);
160   
161   Standard_EXPORT bool FastIntersect (Handle(GEOM_Object) theShape1, Handle(GEOM_Object) theShape2,
162                                       double tolerance, float deflection,
163                                       Handle(TColStd_HSequenceOfInteger)& theIntersections1,
164                                       Handle(TColStd_HSequenceOfInteger)& theIntersections2);
165
166   Standard_EXPORT TCollection_AsciiString IsGoodForSolid (Handle(GEOM_Object) theShape);
167
168   Standard_EXPORT TCollection_AsciiString WhatIs (Handle(GEOM_Object) theShape);
169
170   Standard_EXPORT std::vector<bool> AreCoordsInside (Handle(GEOM_Object) theShape,
171                                                      const std::vector<double>& coords,
172                                                      double tolerance = Precision::Confusion());
173
174   Standard_EXPORT Standard_Real GetMinDistance (Handle(GEOM_Object) theShape1,
175                                                 Handle(GEOM_Object) theShape2,
176                                                 Standard_Real& X1, Standard_Real& Y1, Standard_Real& Z1,
177                                                 Standard_Real& X2, Standard_Real& Y2, Standard_Real& Z2);
178
179   Standard_EXPORT Standard_Integer ClosestPoints (Handle(GEOM_Object) theShape1,
180                                                   Handle(GEOM_Object) theShape2,
181                                                   Handle(TColStd_HSequenceOfReal)& theDoubles);
182
183   Standard_EXPORT void PointCoordinates (Handle(GEOM_Object) theShape,
184                                          Standard_Real& theX, Standard_Real& theY, Standard_Real& theZ);
185
186   Standard_EXPORT Standard_Real GetAngle (Handle(GEOM_Object) theLine1, Handle(GEOM_Object) theLine2);
187
188   Standard_EXPORT Standard_Real GetAngleBtwVectors (Handle(GEOM_Object) theVec1, Handle(GEOM_Object) theVec2);
189
190
191   // Methods for recieving radiuses of curvature of curves and surfaces
192   // in the given point
193   Standard_EXPORT Standard_Real CurveCurvatureByParam (Handle(GEOM_Object) theCurve,
194                                                        Standard_Real& theParam);
195   Standard_EXPORT Standard_Real CurveCurvatureByPoint (Handle(GEOM_Object) theCurve,
196                                                        Handle(GEOM_Object) thePoint);
197   Standard_EXPORT Standard_Real MaxSurfaceCurvatureByParam (Handle(GEOM_Object) theSurf,
198                                                             Standard_Real& theUParam,
199                                                             Standard_Real& theVParam);
200   Standard_EXPORT Standard_Real MaxSurfaceCurvatureByPoint (Handle(GEOM_Object) theSurf,
201                                                             Handle(GEOM_Object) thePoint);
202   Standard_EXPORT Standard_Real MinSurfaceCurvatureByParam (Handle(GEOM_Object) theSurf,
203                                                             Standard_Real& theUParam,
204                                                             Standard_Real& theVParam);
205   Standard_EXPORT Standard_Real MinSurfaceCurvatureByPoint (Handle(GEOM_Object) theSurf,
206                                                             Handle(GEOM_Object) thePoint);
207
208  private:
209
210    void FillErrorsSub
211            (const BRepCheck_Analyzer                   &theAna,
212             const TopoDS_Shape                         &theShape,
213             const TopAbs_ShapeEnum                     theSubType,
214                   TopTools_DataMapOfIntegerListOfShape &theMapErrors) const;
215    void FillErrors
216              (const BRepCheck_Analyzer                   &theAna,
217               const TopoDS_Shape                         &theShape,
218                     TopTools_DataMapOfIntegerListOfShape &theMapErrors,
219                     TopTools_MapOfShape                  &theMapShapes) const;
220
221   void FillErrors (const BRepCheck_Analyzer &theAna,
222                    const TopoDS_Shape       &theShape,
223                    std::list<ShapeError>    &theErrors) const;
224
225   Standard_Real getSurfaceCurvatures (const Handle(Geom_Surface)& aSurf,
226                                       Standard_Real theUParam,
227                                       Standard_Real theVParam,
228                                       Standard_Boolean theNeedMaxCurv);
229 };
230
231 #endif