Salome HOME
Merge from V6_5_BR 05/06/2012
[modules/smesh.git] / src / SMESH / SMESH_subMesh.hxx
1 // Copyright (C) 2007-2012  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.
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 //  File   : SMESH_subMesh.hxx
24 //  Author : Paul RASCLE, EDF
25 //  Module : SMESH
26 //
27 #ifndef _SMESH_SUBMESH_HXX_
28 #define _SMESH_SUBMESH_HXX_
29
30 #include "SMESH_SMESH.hxx"
31
32 #include "SMESHDS_Mesh.hxx"
33 #include "SMESHDS_SubMesh.hxx"
34 #include "SMESH_Hypothesis.hxx"
35 #include "SMESH_ComputeError.hxx"
36 #include "SMESH_Algo.hxx"
37
38 #include "Utils_SALOME_Exception.hxx"
39
40 #include <TopoDS_Shape.hxx>
41
42 #include <list>
43 #include <map>
44
45 class SMESH_Mesh;
46 class SMESH_Hypothesis;
47 class SMESH_Algo;
48 class SMESH_Gen;
49 class SMESH_subMeshEventListener;
50 class SMESH_subMeshEventListenerData;
51 class SMESH_subMesh;
52
53 typedef SMESH_subMeshEventListener     EventListener;
54 typedef SMESH_subMeshEventListenerData EventListenerData;
55
56 typedef boost::shared_ptr< SMDS_Iterator<SMESH_subMesh*> > SMESH_subMeshIteratorPtr;
57
58
59 class SMESH_EXPORT SMESH_subMesh
60 {
61  public:
62   SMESH_subMesh(int Id, SMESH_Mesh * father, SMESHDS_Mesh * meshDS,
63                 const TopoDS_Shape & aSubShape);
64   virtual ~ SMESH_subMesh();
65
66   int GetId() const;
67
68   SMESH_Mesh* GetFather() { return _father; }
69   
70   SMESHDS_SubMesh * GetSubMeshDS();
71
72   SMESHDS_SubMesh* CreateSubMeshDS();
73   // Explicit SMESHDS_SubMesh creation method, required for persistence mechanism
74
75   SMESH_subMesh *GetFirstToCompute();
76
77   SMESH_Algo* GetAlgo() const;
78
79   const std::map < int, SMESH_subMesh * >& DependsOn();
80   //const map < int, SMESH_subMesh * >&Dependants();
81   /*!
82    * \brief Return iterator on the submeshes this one depends on
83    */
84   SMESH_subMeshIteratorPtr getDependsOnIterator(const bool includeSelf,
85                                                 const bool complexShapeFirst);
86
87   const TopoDS_Shape & GetSubShape() const;
88
89   enum compute_state
90   {
91     NOT_READY, READY_TO_COMPUTE,
92     COMPUTE_OK, FAILED_TO_COMPUTE
93     };
94   enum algo_state
95   {
96     NO_ALGO, MISSING_HYP, HYP_OK
97     };
98   enum algo_event
99   {
100     ADD_HYP          , ADD_ALGO,
101     REMOVE_HYP       , REMOVE_ALGO,
102     ADD_FATHER_HYP   , ADD_FATHER_ALGO,
103     REMOVE_FATHER_HYP, REMOVE_FATHER_ALGO,
104     MODIF_HYP
105     };
106   enum compute_event
107   {
108     MODIF_ALGO_STATE, COMPUTE,
109 #ifdef WITH_SMESH_CANCEL_COMPUTE
110     COMPUTE_CANCELED,
111 #endif
112     CLEAN, SUBMESH_COMPUTED, SUBMESH_RESTORED, SUBMESH_LOADED,
113     MESH_ENTITY_REMOVED, CHECK_COMPUTE_STATE
114     };
115   enum event_type
116   {
117     ALGO_EVENT, COMPUTE_EVENT
118   };
119
120   // ==================================================================
121   // Members to track non hierarchical dependencies between submeshes 
122   // ==================================================================
123
124   /*!
125    * \brief Sets an event listener and its data to a submesh
126     * \param listener - the listener to store
127     * \param data - the listener data to store
128     * \param where - the submesh to store the listener and it's data
129    * 
130    * The method remembers the submesh \awhere it puts the listener in order to delete
131    * it when HYP_OK algo_state is lost
132    * After being set, event listener is notified on each event of \awhere submesh.
133    */
134   void SetEventListener(EventListener*     listener,
135                         EventListenerData* data,
136                         SMESH_subMesh*     where);
137
138   /*!
139    * \brief Return an event listener data
140     * \param listener - the listener whose data is
141     * \retval EventListenerData* - found data, maybe NULL
142    */
143   EventListenerData* GetEventListenerData(EventListener* listener) const;
144
145   /*!
146    * \brief Unregister the listener and delete it and it's data
147     * \param listener - the event listener to delete
148    */
149   void DeleteEventListener(EventListener* listener);
150
151 protected:
152
153   //!< event listeners to notify
154   std::map< EventListener*, EventListenerData* > _eventListeners;
155
156   //!< event listeners to delete when HYP_OK algo_state is lost
157   struct OwnListenerData {
158     SMESH_subMesh* mySubMesh;
159     int            myMeshID; // id of mySubMesh->GetFather()
160     int            mySubMeshID;
161     EventListener* myListener;
162     OwnListenerData( SMESH_subMesh* sm=0, EventListener* el=0);
163   };
164   std::list< OwnListenerData >                    _ownListeners;
165
166   /*!
167    * \brief Sets an event listener and its data to a submesh
168     * \param listener - the listener to store
169     * \param data - the listener data to store
170    * 
171    * After being set, event listener is notified on each event of a submesh.
172    */
173   void setEventListener(EventListener* listener, EventListenerData* data);
174
175   /*!
176    * \brief Notify stored event listeners on the occured event
177    * \param event - algo_event or compute_event itself
178    * \param eventType - algo_event or compute_event
179    * \param hyp - hypothesis, if eventType is algo_event
180    */
181   void notifyListenersOnEvent( const int         event,
182                                const event_type  eventType,
183                                SMESH_Hypothesis* hyp = 0);
184
185   /*!
186    * \brief Delete event listeners depending on algo of this submesh
187    */
188   void deleteOwnListeners();
189
190   /*!
191    * \brief loads dependent meshes on SUBMESH_LOADED event
192    */
193   void loadDependentMeshes();
194
195   // END: Members to track non hierarchical dependencies between submeshes
196   // =====================================================================
197
198 public:
199
200   SMESH_Hypothesis::Hypothesis_Status
201     AlgoStateEngine(int event, SMESH_Hypothesis * anHyp);
202
203   SMESH_Hypothesis::Hypothesis_Status
204     SubMeshesAlgoStateEngine(int event, SMESH_Hypothesis * anHyp);
205
206   int GetAlgoState() const { return _algoState; }
207   int GetComputeState() const { return _computeState; };
208   SMESH_ComputeErrorPtr& GetComputeError() { return _computeError; }
209
210   void DumpAlgoState(bool isMain);
211
212   bool ComputeStateEngine(int event);
213   void ComputeSubMeshStateEngine(int event, const bool includeSelf=false);
214
215   bool Evaluate(MapShapeNbElems& aResMap);
216
217   bool IsConform(const SMESH_Algo* theAlgo);
218   // check if a conform mesh will be produced by the Algo
219
220   bool CanAddHypothesis(const SMESH_Hypothesis* theHypothesis) const;
221   // return true if theHypothesis can be attached to me:
222   // its dimention is checked
223
224   static bool IsApplicableHypotesis(const SMESH_Hypothesis* theHypothesis,
225                                     const TopAbs_ShapeEnum  theShapeType);
226
227   bool IsApplicableHypotesis(const SMESH_Hypothesis* theHypothesis) const
228   { return IsApplicableHypotesis( theHypothesis, _subShape.ShapeType() ); }
229   // return true if theHypothesis can be used to mesh me:
230   // its shape type is checked
231   
232   SMESH_Hypothesis::Hypothesis_Status CheckConcurentHypothesis (const int theHypType);
233   // check if there are several applicable hypothesis on fathers
234
235   /*!
236    * \brief Return true if no mesh entities is bound to the submesh
237    */
238   bool IsEmpty() const;
239
240   bool IsMeshComputed() const;
241   // check if _subMeshDS contains mesh elements
242
243   /*!
244    * \brief Allow algo->Compute() if a subshape of lower dim is meshed but
245    *        none mesh entity is bound to it
246    */
247   void SetIsAlwaysComputed(bool isAlCo);
248   bool IsAlwaysComputed() { return _alwaysComputed; }
249
250   
251   /*!
252    * \brief  Find common submeshes (based on shared subshapes with other
253    * \param theOther submesh to check
254    * \param theCommonIds set of common submesh IDs
255    * NOTE: this method does not cleat set before collect common IDs
256    */
257   bool FindIntersection( const SMESH_subMesh *           theOther,
258                          std::set<const SMESH_subMesh*>& theSetOfCommon ) const;
259
260 protected:
261   // ==================================================================
262   void insertDependence(const TopoDS_Shape aSubShape);
263
264   bool subMeshesComputed();
265   //bool SubMeshesReady();
266
267   void removeSubMeshElementsAndNodes();
268   void updateDependantsState(const compute_event theEvent);
269   void updateSubMeshState(const compute_state theState);
270   void cleanDependants();
271   void cleanDependsOn();
272   void setAlgoState(int state);
273
274   /*!
275    * \brief Return a shape containing all sub-shapes of the MainShape that can be
276    * meshed at once along with _subShape
277    */
278   TopoDS_Shape getCollection(SMESH_Gen * theGen,
279                              SMESH_Algo* theAlgo,
280                              bool &      theSubComputed);
281   /*!
282    * \brief Update compute_state by _computeError
283     * \retval bool - false if there are errors
284    */
285   bool checkComputeError(SMESH_Algo* theAlgo, const TopoDS_Shape& theShape=TopoDS_Shape());
286
287   /*!
288    * \brief Return a hypothesis attached to theShape.
289    * 
290    * If theHyp is provided, similar but not same hypotheses
291    * is returned; else an applicable ones having theHypType
292    * is returned
293    */
294   const SMESH_Hypothesis* getSimilarAttached(const TopoDS_Shape&      theShape,
295                                              const SMESH_Hypothesis * theHyp,
296                                              const int                theHypType = 0);
297   // 
298
299 protected:
300
301   TopoDS_Shape          _subShape;
302   SMESHDS_SubMesh *     _subMeshDS;
303   SMESH_Mesh *          _father;
304   int                   _Id;
305
306   std::map < int, SMESH_subMesh * >_mapDepend;
307   bool                  _dependenceAnalysed;
308
309   int                   _algoState;
310   int                   _computeState;
311   SMESH_ComputeErrorPtr _computeError;
312
313   // allow algo->Compute() if a subshape of lower dim is meshed but
314   // none mesh entity is bound to it. Eg StdMeshers_CompositeSegment_1D can
315   // mesh several edges as a whole and leave some of them  without mesh entities
316   bool                  _alwaysComputed;
317
318 };
319
320 #endif