Salome HOME
Merge from V5_1_3_BR branch (07/12/09)
[modules/smesh.git] / src / SMESH / SMESH_subMesh.hxx
1 //  Copyright (C) 2007-2008  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 //  SMESH SMESH : implementaion of SMESH idl descriptions
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   const std::map < int, SMESH_subMesh * >& DependsOn();
78   //const map < int, SMESH_subMesh * >&Dependants();
79   /*!
80    * \brief Return iterator on the submeshes this one depends on
81    */
82   SMESH_subMeshIteratorPtr getDependsOnIterator(const bool includeSelf,
83                                                 const bool complexShapeFirst);
84
85   const TopoDS_Shape & GetSubShape() const;
86
87   enum compute_state
88   {
89     NOT_READY, READY_TO_COMPUTE,
90     COMPUTE_OK, FAILED_TO_COMPUTE
91     };
92   enum algo_state
93   {
94     NO_ALGO, MISSING_HYP, HYP_OK
95     };
96   enum algo_event
97   {
98     ADD_HYP          , ADD_ALGO,
99     REMOVE_HYP       , REMOVE_ALGO,
100     ADD_FATHER_HYP   , ADD_FATHER_ALGO,
101     REMOVE_FATHER_HYP, REMOVE_FATHER_ALGO,
102     MODIF_HYP
103     };
104   enum compute_event
105   {
106     MODIF_ALGO_STATE, COMPUTE,
107     CLEAN, SUBMESH_COMPUTED, SUBMESH_RESTORED,
108     MESH_ENTITY_REMOVED, CHECK_COMPUTE_STATE
109     };
110   enum event_type
111   {
112     ALGO_EVENT, COMPUTE_EVENT
113   };
114
115   // ==================================================================
116   // Members to track non hierarchical dependencies between submeshes 
117   // ==================================================================
118
119   /*!
120    * \brief Sets an event listener and its data to a submesh
121     * \param listener - the listener to store
122     * \param data - the listener data to store
123     * \param where - the submesh to store the listener and it's data
124    * 
125    * The method remembers the submesh \awhere it puts the listener in order to delete
126    * them when HYP_OK algo_state is lost
127    * After being set, event listener is notified on each event of \awhere submesh.
128    */
129   void SetEventListener(EventListener*     listener,
130                         EventListenerData* data,
131                         SMESH_subMesh*     where);
132
133   /*!
134    * \brief Return an event listener data
135     * \param listener - the listener whose data is
136     * \retval EventListenerData* - found data, maybe NULL
137    */
138   EventListenerData* GetEventListenerData(EventListener* listener) const;
139
140   /*!
141    * \brief Unregister the listener and delete it and it's data
142     * \param listener - the event listener to delete
143    */
144   void DeleteEventListener(EventListener* listener);
145
146 protected:
147
148   //!< event listeners to notify
149   std::map< EventListener*, EventListenerData* >           myEventListeners;
150   //!< event listeners to delete when HYP_OK algo_state is lost
151   std::list< std::pair< SMESH_subMesh*, EventListener* > > myOwnListeners;
152
153   /*!
154    * \brief Sets an event listener and its data to a submesh
155     * \param listener - the listener to store
156     * \param data - the listener data to store
157    * 
158    * After being set, event listener is notified on each event of a submesh.
159    */
160   void SetEventListener(EventListener* listener, EventListenerData* data);
161
162   /*!
163    * \brief Notify stored event listeners on the occured event
164    * \param event - algo_event or compute_event itself
165    * \param eventType - algo_event or compute_event
166    * \param hyp - hypothesis, if eventType is algo_event
167    */
168   void NotifyListenersOnEvent( const int         event,
169                                const event_type  eventType,
170                                SMESH_Hypothesis* hyp = 0);
171
172   /*!
173    * \brief Delete event listeners depending on algo of this submesh
174    */
175   void DeleteOwnListeners();
176
177   // ==================================================================
178
179 public:
180
181   SMESH_Hypothesis::Hypothesis_Status
182     AlgoStateEngine(int event, SMESH_Hypothesis * anHyp);
183
184   SMESH_Hypothesis::Hypothesis_Status
185     SubMeshesAlgoStateEngine(int event, SMESH_Hypothesis * anHyp);
186
187   int GetAlgoState() const { return _algoState; }
188   int GetComputeState() const { return _computeState; };
189   SMESH_ComputeErrorPtr& GetComputeError() { return _computeError; }
190
191   void DumpAlgoState(bool isMain);
192
193   bool ComputeStateEngine(int event);
194
195   bool Evaluate(MapShapeNbElems& aResMap);
196
197   bool IsConform(const SMESH_Algo* theAlgo);
198   // check if a conform mesh will be produced by the Algo
199
200   bool CanAddHypothesis(const SMESH_Hypothesis* theHypothesis) const;
201   // return true if theHypothesis can be attached to me:
202   // its dimention is checked
203
204   static bool IsApplicableHypotesis(const SMESH_Hypothesis* theHypothesis,
205                                     const TopAbs_ShapeEnum  theShapeType);
206
207   bool IsApplicableHypotesis(const SMESH_Hypothesis* theHypothesis) const
208   { return IsApplicableHypotesis( theHypothesis, _subShape.ShapeType() ); }
209   // return true if theHypothesis can be used to mesh me:
210   // its shape type is checked
211   
212   SMESH_Hypothesis::Hypothesis_Status CheckConcurentHypothesis (const int theHypType);
213   // check if there are several applicable hypothesis on fathers
214
215   /*!
216    * \brief Return true if no mesh entities is bound to the submesh
217    */
218   bool IsEmpty() const;
219
220   bool IsMeshComputed() const;
221   // check if _subMeshDS contains mesh elements
222
223   /*!
224    * \brief Allow algo->Compute() if a subshape of lower dim is meshed but
225    *        none mesh entity is bound to it
226    */
227   void SetIsAlwaysComputed(bool isAlCo);
228   bool IsAlwaysComputed() { return _alwaysComputed; }
229
230
231 protected:
232   // ==================================================================
233   void InsertDependence(const TopoDS_Shape aSubShape);
234
235   bool SubMeshesComputed();
236
237   bool SubMeshesReady();
238
239   void RemoveSubMeshElementsAndNodes();
240   void UpdateDependantsState(const compute_event theEvent);
241   void UpdateSubMeshState(const compute_state theState);
242   void ComputeSubMeshStateEngine(int event);
243   void CleanDependants();
244   void CleanDependsOn();
245   void SetAlgoState(int state);
246
247   /*!
248    * \brief Return a shape containing all sub-shapes of the MainShape that can be
249    * meshed at once along with _subShape
250    */
251   TopoDS_Shape GetCollection(SMESH_Gen * theGen,
252                              SMESH_Algo* theAlgo,
253                              bool &      theSubComputed);
254
255   /*!
256    * \brief Apply theAlgo to all subshapes in theCollection
257    */
258   bool ApplyToCollection (SMESH_Algo*         theAlgo,
259                           const TopoDS_Shape& theCollection);
260
261   /*!
262    * \brief Update compute_state by _computeError
263     * \retval bool - false if there are errors
264    */
265   bool CheckComputeError(SMESH_Algo* theAlgo, const TopoDS_Shape& theShape=TopoDS_Shape());
266
267   /*!
268    * \brief Return a hypothesis attached to theShape.
269    * 
270    * If theHyp is provided, similar but not same hypotheses
271    * is returned; else an applicable ones having theHypType
272    * is returned
273    */
274   const SMESH_Hypothesis* GetSimilarAttached(const TopoDS_Shape&      theShape,
275                                              const SMESH_Hypothesis * theHyp,
276                                              const int                theHypType = 0);
277   // 
278
279 protected:
280
281   TopoDS_Shape          _subShape;
282   SMESHDS_SubMesh *     _subMeshDS;
283   SMESH_Mesh *          _father;
284   int                   _Id;
285
286   std::map < int, SMESH_subMesh * >_mapDepend;
287   bool                  _dependenceAnalysed;
288
289   int                   _algoState;
290   int                   _computeState;
291   SMESH_ComputeErrorPtr _computeError;
292
293   // allow algo->Compute() if a subshape of lower dim is meshed but
294   // none mesh entity is bound to it. Eg StdMeshers_CompositeSegment_1D can
295   // mesh several edges as a whole and leave some of them  without mesh entities
296   bool                  _alwaysComputed;
297
298 };
299
300 #endif