Salome HOME
Merge changes from 'master' branch.
[modules/smesh.git] / src / SMESH / SMESH_Mesh.cxx
1 // Copyright (C) 2007-2016  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 //  File   : SMESH_Mesh.cxx
24 //  Author : Paul RASCLE, EDF
25 //  Module : SMESH
26 //
27 #include "SMESH_Mesh.hxx"
28 #include "SMESH_MesherHelper.hxx"
29 #include "SMDS_MeshVolume.hxx"
30 #include "SMDS_SetIterator.hxx"
31 #include "SMESHDS_Document.hxx"
32 #include "SMESHDS_Group.hxx"
33 #include "SMESHDS_GroupOnGeom.hxx"
34 #include "SMESHDS_Script.hxx"
35 #include "SMESHDS_TSubMeshHolder.hxx"
36 #include "SMESH_Gen.hxx"
37 #include "SMESH_Group.hxx"
38 #include "SMESH_HypoFilter.hxx"
39 #include "SMESH_Hypothesis.hxx"
40 #include "SMESH_subMesh.hxx"
41
42 #include "utilities.h"
43
44 #include "DriverDAT_W_SMDS_Mesh.h"
45 #include "DriverGMF_Read.hxx"
46 #include "DriverGMF_Write.hxx"
47 #include "DriverMED_R_SMESHDS_Mesh.h"
48 #include "DriverMED_W_SMESHDS_Mesh.h"
49 #include "DriverSTL_R_SMDS_Mesh.h"
50 #include "DriverSTL_W_SMDS_Mesh.h"
51 #include "DriverUNV_R_SMDS_Mesh.h"
52 #include "DriverUNV_W_SMDS_Mesh.h"
53 #ifdef WITH_CGNS
54 #include "DriverCGNS_Read.hxx"
55 #include "DriverCGNS_Write.hxx"
56 #endif
57
58 #include <GEOMUtils.hxx>
59
60 #undef _Precision_HeaderFile
61 #include <BRepBndLib.hxx>
62 #include <BRepPrimAPI_MakeBox.hxx>
63 #include <Bnd_Box.hxx>
64 #include <TColStd_MapOfInteger.hxx>
65 #include <TopExp.hxx>
66 #include <TopExp_Explorer.hxx>
67 #include <TopTools_ListIteratorOfListOfShape.hxx>
68 #include <TopTools_ListOfShape.hxx>
69 #include <TopTools_MapOfShape.hxx>
70 #include <TopoDS_Iterator.hxx>
71
72 #include "SMESH_TryCatch.hxx" // include after OCCT headers!
73
74 #include "Utils_ExceptHandlers.hxx"
75
76 #ifndef WIN32
77 #include <boost/thread/thread.hpp>
78 #include <boost/bind.hpp>
79 #else 
80 #include <pthread.h>
81 #endif
82
83 using namespace std;
84
85 // maximum stored group name length in MED file
86 #define MAX_MED_GROUP_NAME_LENGTH 80
87
88 #ifdef _DEBUG_
89 static int MYDEBUG = 0;
90 #else
91 static int MYDEBUG = 0;
92 #endif
93
94 #define cSMESH_Hyp(h) static_cast<const SMESH_Hypothesis*>(h)
95
96 typedef SMESH_HypoFilter THypType;
97
98 class SMESH_Mesh::SubMeshHolder : public SMESHDS_TSubMeshHolder< SMESH_subMesh >
99 {
100 };
101
102 //=============================================================================
103 /*!
104  * 
105  */
106 //=============================================================================
107
108 SMESH_Mesh::SMESH_Mesh(int               theLocalId, 
109                        SMESH_Gen*        theGen,
110                        bool              theIsEmbeddedMode,
111                        SMESHDS_Document* theDocument):
112   _groupId( 0 ), _nbSubShapes( 0 )
113 {
114   if(MYDEBUG) MESSAGE("SMESH_Mesh::SMESH_Mesh(int localId)");
115   _id            = theLocalId;
116   _gen           = theGen;
117   _myDocument    = theDocument;
118   _myMeshDS      = theDocument->NewMesh(theIsEmbeddedMode,theLocalId);
119   _isShapeToMesh = false;
120   _isAutoColor   = false;
121   _isModified    = false;
122   _shapeDiagonal = 0.0;
123   _callUp        = NULL;
124   _myMeshDS->ShapeToMesh( PseudoShape() );
125   _subMeshHolder = new SubMeshHolder;
126 }
127
128 //================================================================================
129 /*!
130  * \brief Constructor of SMESH_Mesh being a base of some descendant class
131  */
132 //================================================================================
133
134 SMESH_Mesh::SMESH_Mesh():
135   _id(-1),
136   _groupId( 0 ),
137   _nbSubShapes( 0 ),
138   _isShapeToMesh( false ),
139   _myDocument( 0 ),
140   _myMeshDS( 0 ),
141   _gen( 0 ),
142   _isAutoColor( false ),
143   _isModified( false ),
144   _shapeDiagonal( 0.0 ),
145   _callUp( 0 )
146 {
147   _subMeshHolder = new SubMeshHolder;
148 }
149
150 namespace
151 {
152 #ifndef WIN32
153   void deleteMeshDS(SMESHDS_Mesh* meshDS)
154   {
155     //cout << "deleteMeshDS( " << meshDS << endl;
156     delete meshDS;
157   }
158 #else
159   static void* deleteMeshDS(void* meshDS)
160   {
161     //cout << "deleteMeshDS( " << meshDS << endl;
162     SMESHDS_Mesh* m = (SMESHDS_Mesh*)meshDS;
163     if(m) {
164       delete m;
165     }
166     return 0;
167   }
168 #endif
169 }
170
171 //=============================================================================
172 /*!
173  *
174  */
175 //=============================================================================
176
177 SMESH_Mesh::~SMESH_Mesh()
178 {
179   if(MYDEBUG) MESSAGE("SMESH_Mesh::~SMESH_Mesh");
180
181   // avoid usual removal of elements while processing RemoveHypothesis( algo ) event
182   SMESHDS_SubMeshIteratorPtr smIt = _myMeshDS->SubMeshes();
183   while ( smIt->more() )
184     const_cast<SMESHDS_SubMesh*>( smIt->next() )->Clear();
185
186   // issue 0020340: EDF 1022 SMESH : Crash with FindNodeClosestTo in a second new study
187   //   Notify event listeners at least that something happens
188   if ( SMESH_subMesh * sm = GetSubMeshContaining(1))
189     sm->ComputeStateEngine( SMESH_subMesh::MESH_ENTITY_REMOVED );
190
191   // delete groups
192   map < int, SMESH_Group * >::iterator itg;
193   for (itg = _mapGroup.begin(); itg != _mapGroup.end(); itg++) {
194     SMESH_Group *aGroup = (*itg).second;
195     delete aGroup;
196   }
197   _mapGroup.clear();
198
199   // delete sub-meshes
200   delete _subMeshHolder;
201
202   if ( _callUp) delete _callUp;
203   _callUp = 0;
204
205   // remove self from studyContext
206   if ( _gen )
207   {
208     StudyContextStruct * studyContext = _gen->GetStudyContext();
209     studyContext->mapMesh.erase( _id );
210   }
211   if ( _myDocument )
212     _myDocument->RemoveMesh( _id );
213   _myDocument = 0;
214
215   if ( _myMeshDS ) {
216     // delete _myMeshDS, in a thread in order not to block closing a study with large meshes
217 #ifndef WIN32
218     boost::thread aThread(boost::bind( & deleteMeshDS, _myMeshDS ));
219 #else
220     pthread_t thread;
221     int result=pthread_create(&thread, NULL, deleteMeshDS, (void*)_myMeshDS);
222 #endif
223   }
224 }
225
226 //================================================================================
227 /*!
228  * \brief Return true if a mesh with given id exists
229  */
230 //================================================================================
231
232 bool SMESH_Mesh::MeshExists( int meshId ) const
233 {
234   return _myDocument ? bool( _myDocument->GetMesh( meshId )) : false;
235 }
236
237 //================================================================================
238 /*!
239  * \brief Return a mesh by id
240  */
241 //================================================================================
242
243 SMESH_Mesh* SMESH_Mesh::FindMesh( int meshId ) const
244 {
245   if ( _id == meshId )
246     return (SMESH_Mesh*) this;
247
248   if ( StudyContextStruct *aStudyContext = _gen->GetStudyContext())
249   {
250     std::map < int, SMESH_Mesh * >::iterator i_m = aStudyContext->mapMesh.find( meshId );
251     if ( i_m != aStudyContext->mapMesh.end() )
252       return i_m->second;
253   }
254   return NULL;
255 }
256
257 //=============================================================================
258 /*!
259  * \brief Set geometry to be meshed
260  */
261 //=============================================================================
262
263 void SMESH_Mesh::ShapeToMesh(const TopoDS_Shape & aShape)
264 {
265   if(MYDEBUG) MESSAGE("SMESH_Mesh::ShapeToMesh");
266
267   if ( !aShape.IsNull() && _isShapeToMesh ) {
268     if ( aShape.ShapeType() != TopAbs_COMPOUND && // group contents is allowed to change
269          _myMeshDS->ShapeToMesh().ShapeType() != TopAbs_COMPOUND )
270       throw SALOME_Exception(LOCALIZED ("a shape to mesh has already been defined"));
271   }
272   // clear current data
273   if ( !_myMeshDS->ShapeToMesh().IsNull() )
274   {
275     // removal of a shape to mesh, delete objects referring to sub-shapes:
276     // - sub-meshes
277     _subMeshHolder->DeleteAll();
278     //  - groups on geometry
279     map <int, SMESH_Group *>::iterator i_gr = _mapGroup.begin();
280     while ( i_gr != _mapGroup.end() ) {
281       if ( dynamic_cast<SMESHDS_GroupOnGeom*>( i_gr->second->GetGroupDS() )) {
282         _myMeshDS->RemoveGroup( i_gr->second->GetGroupDS() );
283         delete i_gr->second;
284         _mapGroup.erase( i_gr++ );
285       }
286       else
287         i_gr++;
288     }
289     _mapAncestors.Clear();
290
291     // clear SMESHDS
292     TopoDS_Shape aNullShape;
293     _myMeshDS->ShapeToMesh( aNullShape );
294
295     _shapeDiagonal = 0.0;
296   }
297
298   // set a new geometry
299   if ( !aShape.IsNull() )
300   {
301     _myMeshDS->ShapeToMesh(aShape);
302     _isShapeToMesh = true;
303     _nbSubShapes = _myMeshDS->MaxShapeIndex();
304
305     // fill map of ancestors
306     fillAncestorsMap(aShape);
307   }
308   else
309   {
310     _isShapeToMesh = false;
311     _shapeDiagonal = 0.0;
312     _myMeshDS->ShapeToMesh( PseudoShape() );
313   }
314   _isModified = false;
315 }
316
317 //=======================================================================
318 /*!
319  * \brief Return geometry to be meshed. (It may be a PseudoShape()!)
320  */
321 //=======================================================================
322
323 TopoDS_Shape SMESH_Mesh::GetShapeToMesh() const
324 {
325   return _myMeshDS->ShapeToMesh();
326 }
327
328 //=======================================================================
329 /*!
330  * \brief Return a solid which is returned by GetShapeToMesh() if
331  *        a real geometry to be meshed was not set
332  */
333 //=======================================================================
334
335 const TopoDS_Solid& SMESH_Mesh::PseudoShape()
336 {
337   static TopoDS_Solid aSolid;
338   if ( aSolid.IsNull() )
339   {
340     aSolid = BRepPrimAPI_MakeBox(1,1,1);
341   }
342   return aSolid;
343 }
344
345 //=======================================================================
346 /*!
347  * \brief Return diagonal size of bounding box of a shape
348  */
349 //=======================================================================
350
351 double SMESH_Mesh::GetShapeDiagonalSize(const TopoDS_Shape & aShape)
352 {
353   if ( !aShape.IsNull() ) {
354     Bnd_Box Box;
355     // avoid too long waiting on large shapes. PreciseBoundingBox() was added
356     // to assure same result which else depends on presence of triangulation (IPAL52557).
357     const int maxNbFaces = 4000;
358     int nbFaces = 0;
359     for ( TopExp_Explorer f( aShape, TopAbs_FACE ); f.More() && nbFaces < maxNbFaces; f.Next() )
360       ++nbFaces;
361     bool isPrecise = false;
362     if ( nbFaces < maxNbFaces )
363       try {
364         GEOMUtils::PreciseBoundingBox( aShape, Box );
365         isPrecise = true;
366       }
367       catch (...) {
368         isPrecise = false;
369       }
370     if ( !isPrecise )
371     {
372       BRepBndLib::Add( aShape, Box );
373     }
374     if ( !Box.IsVoid() )
375       return sqrt( Box.SquareExtent() );
376   }
377   return 0;
378 }
379
380 //=======================================================================
381 /*!
382  * \brief Return diagonal size of bounding box of shape to mesh
383  */
384 //=======================================================================
385
386 double SMESH_Mesh::GetShapeDiagonalSize() const
387 {
388   if ( _shapeDiagonal == 0. && _isShapeToMesh )
389     const_cast<SMESH_Mesh*>(this)->_shapeDiagonal = GetShapeDiagonalSize( GetShapeToMesh() );
390
391   return _shapeDiagonal;
392 }
393
394 //================================================================================
395 /*!
396  * \brief Load mesh from study file
397  */
398 //================================================================================
399
400 void SMESH_Mesh::Load()
401 {
402   if (_callUp)
403     _callUp->Load();
404 }
405
406 //=======================================================================
407 /*!
408  * \brief Remove all nodes and elements
409  */
410 //=======================================================================
411
412 void SMESH_Mesh::Clear()
413 {
414   if ( HasShapeToMesh() ) // remove all nodes and elements
415   {
416     // clear mesh data
417     _myMeshDS->ClearMesh();
418
419     // update compute state of submeshes
420     if ( SMESH_subMesh *sm = GetSubMeshContaining( GetShapeToMesh() ) )
421     {
422       sm->ComputeStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
423       sm->ComputeSubMeshStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
424       sm->ComputeStateEngine( SMESH_subMesh::CLEAN ); // for event listeners (issue 0020918)
425       sm->ComputeSubMeshStateEngine( SMESH_subMesh::CLEAN );
426     }
427   }
428   else // remove only nodes/elements computed by algorithms
429   {
430     if ( SMESH_subMesh *sm = GetSubMeshContaining( GetShapeToMesh() ) )
431     {
432       sm->ComputeStateEngine( SMESH_subMesh::CLEAN );
433       sm->ComputeSubMeshStateEngine( SMESH_subMesh::CLEAN );
434       sm->ComputeStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
435       sm->ComputeSubMeshStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
436     }
437   }
438   GetMeshDS()->Modified();
439   _isModified = false;
440 }
441
442 //=======================================================================
443 /*!
444  * \brief Remove all nodes and elements of indicated shape
445  */
446 //=======================================================================
447
448 void SMESH_Mesh::ClearSubMesh(const int theShapeId)
449 {
450   // clear sub-meshes; get ready to re-compute as a side-effect 
451   if ( SMESH_subMesh *sm = GetSubMeshContaining( theShapeId ) )
452   {
453     SMESH_subMeshIteratorPtr smIt = sm->getDependsOnIterator(/*includeSelf=*/true,
454                                                              /*complexShapeFirst=*/false);
455     while ( smIt->more() )
456     {
457       sm = smIt->next();
458       TopAbs_ShapeEnum shapeType = sm->GetSubShape().ShapeType();      
459       if ( shapeType == TopAbs_VERTEX || shapeType < TopAbs_SOLID )
460         // all other shapes depends on vertices so they are already cleaned
461         sm->ComputeStateEngine( SMESH_subMesh::CLEAN );
462       // to recompute even if failed
463       sm->ComputeStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
464     }
465   }
466 }
467
468 //=======================================================================
469 //function : UNVToMesh
470 //purpose  : 
471 //=======================================================================
472
473 int SMESH_Mesh::UNVToMesh(const char* theFileName)
474 {
475   if ( _isShapeToMesh )
476     throw SALOME_Exception(LOCALIZED("a shape to mesh has already been defined"));
477   _isShapeToMesh = false;
478
479   DriverUNV_R_SMDS_Mesh myReader;
480   myReader.SetMesh(_myMeshDS);
481   myReader.SetFile(theFileName);
482   myReader.SetMeshId(-1);
483   myReader.Perform();
484
485   if ( SMDS_MeshGroup* aGroup = (SMDS_MeshGroup*) myReader.GetGroup() )
486   {
487     TGroupNamesMap aGroupNames = myReader.GetGroupNamesMap();
488     aGroup->InitSubGroupsIterator();
489     while (aGroup->MoreSubGroups())
490     {
491       SMDS_MeshGroup* aSubGroup = (SMDS_MeshGroup*) aGroup->NextSubGroup();
492       string aName = aGroupNames[aSubGroup];
493       int aId;
494       if ( SMESH_Group* aSMESHGroup = AddGroup( aSubGroup->GetType(), aName.c_str(), aId ))
495       {
496         SMESHDS_Group* aGroupDS = dynamic_cast<SMESHDS_Group*>( aSMESHGroup->GetGroupDS() );
497         if ( aGroupDS ) {
498           aGroupDS->SetStoreName(aName.c_str());
499           aSubGroup->InitIterator();
500           const SMDS_MeshElement* aElement = 0;
501           while ( aSubGroup->More() )
502             if (( aElement = aSubGroup->Next() ))
503               aGroupDS->SMDSGroup().Add( aElement );
504
505           if (aElement)
506             aGroupDS->SetType( aElement->GetType() );
507         }
508       }
509     }
510   }
511   return 1;
512 }
513
514 //=======================================================================
515 //function : MEDToMesh
516 //purpose  :
517 //=======================================================================
518
519 int SMESH_Mesh::MEDToMesh(const char* theFileName, const char* theMeshName)
520 {
521   if ( _isShapeToMesh )
522     throw SALOME_Exception(LOCALIZED("a shape to mesh has already been defined"));
523   _isShapeToMesh = false;
524
525   DriverMED_R_SMESHDS_Mesh myReader;
526   myReader.SetMesh(_myMeshDS);
527   myReader.SetMeshId(-1);
528   myReader.SetFile(theFileName);
529   myReader.SetMeshName(theMeshName);
530   Driver_Mesh::Status status = myReader.Perform();
531 #ifdef _DEBUG_
532   SMESH_ComputeErrorPtr er = myReader.GetError();
533   if ( er && !er->IsOK() ) cout << er->myComment << endl;
534 #endif
535
536   // Reading groups (sub-meshes are out of scope of MED import functionality)
537   list<TNameAndType> aGroupNames = myReader.GetGroupNamesAndTypes();
538   int anId;
539   list<TNameAndType>::iterator name_type = aGroupNames.begin();
540   for ( ; name_type != aGroupNames.end(); name_type++ )
541   {
542     SMESH_Group* aGroup = AddGroup( name_type->second, name_type->first.c_str(), anId );
543     if ( aGroup ) {
544       SMESHDS_Group* aGroupDS = dynamic_cast<SMESHDS_Group*>( aGroup->GetGroupDS() );
545       if ( aGroupDS ) {
546         aGroupDS->SetStoreName( name_type->first.c_str() );
547         myReader.GetGroup( aGroupDS );
548       }
549     }
550   }
551   return (int) status;
552 }
553
554 //=======================================================================
555 //function : STLToMesh
556 //purpose  : 
557 //=======================================================================
558
559 std::string SMESH_Mesh::STLToMesh(const char* theFileName)
560 {
561   if(_isShapeToMesh)
562     throw SALOME_Exception(LOCALIZED("a shape to mesh has already been defined"));
563   _isShapeToMesh = false;
564
565   DriverSTL_R_SMDS_Mesh myReader;
566   myReader.SetMesh(_myMeshDS);
567   myReader.SetFile(theFileName);
568   myReader.SetMeshId(-1);
569   myReader.Perform();
570
571   return myReader.GetName();
572 }
573
574 //================================================================================
575 /*!
576  * \brief Reads the given mesh from the CGNS file
577  *  \param theFileName - name of the file
578  *  \retval int - Driver_Mesh::Status
579  */
580 //================================================================================
581
582 int SMESH_Mesh::CGNSToMesh(const char*  theFileName,
583                            const int    theMeshIndex,
584                            std::string& theMeshName)
585 {
586   int res = Driver_Mesh::DRS_FAIL;
587 #ifdef WITH_CGNS
588
589   DriverCGNS_Read myReader;
590   myReader.SetMesh(_myMeshDS);
591   myReader.SetFile(theFileName);
592   myReader.SetMeshId(theMeshIndex);
593   res = myReader.Perform();
594   theMeshName = myReader.GetMeshName();
595
596   // create groups
597   SynchronizeGroups();
598
599 #endif
600   return res;
601 }
602
603 //================================================================================
604 /*!
605  * \brief Fill its data by reading a GMF file
606  */
607 //================================================================================
608
609 SMESH_ComputeErrorPtr SMESH_Mesh::GMFToMesh(const char* theFileName,
610                                             bool        theMakeRequiredGroups)
611 {
612   DriverGMF_Read myReader;
613   myReader.SetMesh(_myMeshDS);
614   myReader.SetFile(theFileName);
615   myReader.SetMakeRequiredGroups( theMakeRequiredGroups );
616   myReader.Perform();
617   //theMeshName = myReader.GetMeshName();
618
619   // create groups
620   SynchronizeGroups();
621
622   return myReader.GetError();
623 }
624
625 //=============================================================================
626 /*!
627  * 
628  */
629 //=============================================================================
630
631 SMESH_Hypothesis::Hypothesis_Status
632 SMESH_Mesh::AddHypothesis(const TopoDS_Shape & aSubShape,
633                           int                  anHypId,
634                           std::string*         anError  ) throw(SALOME_Exception)
635 {
636   Unexpect aCatch(SalomeException);
637   if(MYDEBUG) MESSAGE("SMESH_Mesh::AddHypothesis");
638
639   if ( anError )
640     anError->clear();
641
642   SMESH_subMesh *subMesh = GetSubMesh(aSubShape);
643   if ( !subMesh || !subMesh->GetId())
644     return SMESH_Hypothesis::HYP_BAD_SUBSHAPE;
645
646   SMESH_Hypothesis *anHyp = GetHypothesis( anHypId );
647   if ( !anHyp )
648     throw SALOME_Exception(LOCALIZED("hypothesis does not exist"));
649
650   bool isGlobalHyp = IsMainShape( aSubShape );
651
652   // NotConformAllowed can be only global
653   if ( !isGlobalHyp )
654   {
655     // NOTE: this is not a correct way to check a name of hypothesis,
656     // there should be an attribute of hypothesis saying that it can/can't
657     // be global/local
658     string hypName = anHyp->GetName();
659     if ( hypName == "NotConformAllowed" )
660     {
661       if(MYDEBUG) MESSAGE( "Hypotesis <NotConformAllowed> can be only global" );
662       return SMESH_Hypothesis::HYP_INCOMPATIBLE;
663     }
664   }
665
666   // shape
667
668   bool                     isAlgo = ( anHyp->GetType() != SMESHDS_Hypothesis::PARAM_ALGO );
669   SMESH_subMesh::algo_event event = isAlgo ? SMESH_subMesh::ADD_ALGO : SMESH_subMesh::ADD_HYP;
670
671   SMESH_Hypothesis::Hypothesis_Status ret = subMesh->AlgoStateEngine(event, anHyp);
672
673   if ( anError && SMESH_Hypothesis::IsStatusFatal(ret) && subMesh->GetComputeError() )
674     *anError = subMesh->GetComputeError()->myComment;
675
676   // sub-shapes
677   if ( !SMESH_Hypothesis::IsStatusFatal(ret) &&
678        anHyp->GetDim() <= SMESH_Gen::GetShapeDim(aSubShape)) // is added on father
679   {
680     event = isAlgo ? SMESH_subMesh::ADD_FATHER_ALGO : SMESH_subMesh::ADD_FATHER_HYP;
681
682     SMESH_Hypothesis::Hypothesis_Status ret2 =
683       subMesh->SubMeshesAlgoStateEngine(event, anHyp, /*exitOnFatal=*/true);
684     if (ret2 > ret)
685     {
686       ret = ret2;
687       if ( SMESH_Hypothesis::IsStatusFatal( ret ))
688       {
689         if ( anError && subMesh->GetComputeError() )
690           *anError = subMesh->GetComputeError()->myComment;
691         // remove anHyp
692         event = isAlgo ? SMESH_subMesh::REMOVE_ALGO : SMESH_subMesh::REMOVE_HYP;
693         subMesh->AlgoStateEngine(event, anHyp);
694       }
695     }
696
697     // check concurent hypotheses on ancestors
698     if (ret < SMESH_Hypothesis::HYP_CONCURENT && !isGlobalHyp )
699     {
700       SMESH_subMeshIteratorPtr smIt = subMesh->getDependsOnIterator(false,false);
701       while ( smIt->more() ) {
702         SMESH_subMesh* sm = smIt->next();
703         if ( sm->IsApplicableHypotesis( anHyp )) {
704           ret2 = sm->CheckConcurentHypothesis( anHyp->GetType() );
705           if (ret2 > ret) {
706             ret = ret2;
707             break;
708           }
709         }
710       }
711     }
712   }
713   HasModificationsToDiscard(); // to reset _isModified flag if a mesh becomes empty
714   GetMeshDS()->Modified();
715
716   if(MYDEBUG) subMesh->DumpAlgoState(true);
717   if(MYDEBUG) SCRUTE(ret);
718   return ret;
719 }
720
721 //=============================================================================
722 /*!
723  * 
724  */
725 //=============================================================================
726
727 SMESH_Hypothesis::Hypothesis_Status
728 SMESH_Mesh::RemoveHypothesis(const TopoDS_Shape & aSubShape,
729                              int                    anHypId) throw( SALOME_Exception )
730 {
731   Unexpect aCatch(SalomeException);
732   if(MYDEBUG) MESSAGE("SMESH_Mesh::RemoveHypothesis");
733
734   StudyContextStruct *sc = _gen->GetStudyContext();
735   if (sc->mapHypothesis.find(anHypId) == sc->mapHypothesis.end())
736     throw SALOME_Exception(LOCALIZED("hypothesis does not exist"));
737
738   SMESH_Hypothesis *anHyp = sc->mapHypothesis[anHypId];
739   if(MYDEBUG) { SCRUTE(anHyp->GetType()); }
740
741   // shape 
742
743   bool                     isAlgo = ( !anHyp->GetType() == SMESHDS_Hypothesis::PARAM_ALGO );
744   SMESH_subMesh::algo_event event = isAlgo ? SMESH_subMesh::REMOVE_ALGO : SMESH_subMesh::REMOVE_HYP;
745
746   SMESH_subMesh *subMesh = GetSubMesh(aSubShape);
747
748   SMESH_Hypothesis::Hypothesis_Status ret = subMesh->AlgoStateEngine(event, anHyp);
749
750   // there may appear concurrent hyps that were covered by the removed hyp
751   if (ret < SMESH_Hypothesis::HYP_CONCURENT &&
752       subMesh->IsApplicableHypotesis( anHyp ) &&
753       subMesh->CheckConcurentHypothesis( anHyp->GetType() ) != SMESH_Hypothesis::HYP_OK)
754     ret = SMESH_Hypothesis::HYP_CONCURENT;
755
756   // sub-shapes
757   if (!SMESH_Hypothesis::IsStatusFatal(ret) &&
758       anHyp->GetDim() <= SMESH_Gen::GetShapeDim(aSubShape)) // is removed from father
759   {
760     event = isAlgo ? SMESH_subMesh::REMOVE_FATHER_ALGO : SMESH_subMesh::REMOVE_FATHER_HYP;
761
762     SMESH_Hypothesis::Hypothesis_Status ret2 =
763       subMesh->SubMeshesAlgoStateEngine(event, anHyp);
764     if (ret2 > ret) // more severe
765       ret = ret2;
766
767     // check concurent hypotheses on ancestors
768     if (ret < SMESH_Hypothesis::HYP_CONCURENT && !IsMainShape( aSubShape ) )
769     {
770       SMESH_subMeshIteratorPtr smIt = subMesh->getDependsOnIterator(false,false);
771       while ( smIt->more() ) {
772         SMESH_subMesh* sm = smIt->next();
773         if ( sm->IsApplicableHypotesis( anHyp )) {
774           ret2 = sm->CheckConcurentHypothesis( anHyp->GetType() );
775           if (ret2 > ret) {
776             ret = ret2;
777             break;
778           }
779         }
780       }
781     }
782   }
783
784   HasModificationsToDiscard(); // to reset _isModified flag if mesh become empty
785   GetMeshDS()->Modified();
786
787   if(MYDEBUG) subMesh->DumpAlgoState(true);
788   if(MYDEBUG) SCRUTE(ret);
789   return ret;
790 }
791
792 //=============================================================================
793 /*!
794  * 
795  */
796 //=============================================================================
797
798 const list<const SMESHDS_Hypothesis*>&
799 SMESH_Mesh::GetHypothesisList(const TopoDS_Shape & aSubShape) const
800   throw(SALOME_Exception)
801 {
802   return _myMeshDS->GetHypothesis(aSubShape);
803 }
804
805 //=======================================================================
806 /*!
807  * \brief Return the hypothesis assigned to the shape
808  *  \param aSubShape    - the shape to check
809  *  \param aFilter      - the hypothesis filter
810  *  \param andAncestors - flag to check hypos assigned to ancestors of the shape
811  *  \param assignedTo   - to return the shape the found hypo is assigned to
812  *  \retval SMESH_Hypothesis* - the first hypo passed through aFilter
813  */
814 //=======================================================================
815
816 const SMESH_Hypothesis * SMESH_Mesh::GetHypothesis(const TopoDS_Shape &    aSubShape,
817                                                    const SMESH_HypoFilter& aFilter,
818                                                    const bool              andAncestors,
819                                                    TopoDS_Shape*           assignedTo) const
820 {
821   return GetHypothesis( const_cast< SMESH_Mesh* >(this)->GetSubMesh( aSubShape ),
822                         aFilter, andAncestors, assignedTo );
823 }
824
825 //=======================================================================
826 /*!
827  * \brief Return the hypothesis assigned to the shape of a sub-mesh
828  *  \param aSubMesh     - the sub-mesh to check
829  *  \param aFilter      - the hypothesis filter
830  *  \param andAncestors - flag to check hypos assigned to ancestors of the shape
831  *  \param assignedTo   - to return the shape the found hypo is assigned to
832  *  \retval SMESH_Hypothesis* - the first hypo passed through aFilter
833  */
834 //=======================================================================
835
836 const SMESH_Hypothesis * SMESH_Mesh::GetHypothesis(const SMESH_subMesh *   aSubMesh,
837                                                    const SMESH_HypoFilter& aFilter,
838                                                    const bool              andAncestors,
839                                                    TopoDS_Shape*           assignedTo) const
840 {
841   if ( !aSubMesh ) return 0;
842
843   {
844     const TopoDS_Shape & aSubShape = aSubMesh->GetSubShape();
845     const list<const SMESHDS_Hypothesis*>& hypList = _myMeshDS->GetHypothesis(aSubShape);
846     list<const SMESHDS_Hypothesis*>::const_iterator hyp = hypList.begin();
847     for ( ; hyp != hypList.end(); hyp++ ) {
848       const SMESH_Hypothesis * h = cSMESH_Hyp( *hyp );
849       if ( aFilter.IsOk( h, aSubShape)) {
850         if ( assignedTo ) *assignedTo = aSubShape;
851         return h;
852       }
853     }
854   }
855   if ( andAncestors )
856   {
857     // user sorted submeshes of ancestors, according to stored submesh priority
858     std::vector< SMESH_subMesh * > & ancestors =
859       const_cast< std::vector< SMESH_subMesh * > & > ( aSubMesh->GetAncestors() );
860     SortByMeshOrder( ancestors );
861
862     vector<SMESH_subMesh*>::const_iterator smIt = ancestors.begin(); 
863     for ( ; smIt != ancestors.end(); smIt++ )
864     {
865       const TopoDS_Shape& curSh = (*smIt)->GetSubShape();
866       const list<const SMESHDS_Hypothesis*>& hypList = _myMeshDS->GetHypothesis(curSh);
867       list<const SMESHDS_Hypothesis*>::const_iterator hyp = hypList.begin();
868       for ( ; hyp != hypList.end(); hyp++ ) {
869         const SMESH_Hypothesis * h = cSMESH_Hyp( *hyp );
870         if (aFilter.IsOk( h, curSh )) {
871           if ( assignedTo ) *assignedTo = curSh;
872           return h;
873         }
874       }
875     }
876   }
877   return 0;
878 }
879
880 //================================================================================
881 /*!
882  * \brief Return hypotheses assigned to the shape
883   * \param aSubShape - the shape to check
884   * \param aFilter - the hypothesis filter
885   * \param aHypList - the list of the found hypotheses
886   * \param andAncestors - flag to check hypos assigned to ancestors of the shape
887   * \retval int - number of unique hypos in aHypList
888  */
889 //================================================================================
890
891 int SMESH_Mesh::GetHypotheses(const TopoDS_Shape &                aSubShape,
892                               const SMESH_HypoFilter&             aFilter,
893                               list <const SMESHDS_Hypothesis * >& aHypList,
894                               const bool                          andAncestors,
895                               list< TopoDS_Shape > *              assignedTo/*=0*/) const
896 {
897   return GetHypotheses( const_cast< SMESH_Mesh* >(this)->GetSubMesh( aSubShape ),
898                         aFilter, aHypList, andAncestors, assignedTo );
899 }
900
901 //================================================================================
902 /*!
903  * \brief Return hypotheses assigned to the shape of a sub-mesh
904   * \param aSubShape - the sub-mesh to check
905   * \param aFilter - the hypothesis filter
906   * \param aHypList - the list of the found hypotheses
907   * \param andAncestors - flag to check hypos assigned to ancestors of the shape
908   * \retval int - number of unique hypos in aHypList
909  */
910 //================================================================================
911
912 int SMESH_Mesh::GetHypotheses(const SMESH_subMesh *               aSubMesh,
913                               const SMESH_HypoFilter&             aFilter,
914                               list <const SMESHDS_Hypothesis * >& aHypList,
915                               const bool                          andAncestors,
916                               list< TopoDS_Shape > *              assignedTo/*=0*/) const
917 {
918   if ( !aSubMesh ) return 0;
919
920   set<string> hypTypes; // to exclude same type hypos from the result list
921   int nbHyps = 0;
922
923   // only one main hypothesis is allowed
924   bool mainHypFound = false;
925
926   // fill in hypTypes
927   list<const SMESHDS_Hypothesis*>::const_iterator hyp;
928   for ( hyp = aHypList.begin(); hyp != aHypList.end(); hyp++ ) {
929     if ( hypTypes.insert( (*hyp)->GetName() ).second )
930       nbHyps++;
931     if ( !cSMESH_Hyp(*hyp)->IsAuxiliary() )
932       mainHypFound = true;
933   }
934
935   // get hypos from aSubShape
936   {
937     const TopoDS_Shape & aSubShape = aSubMesh->GetSubShape();
938     const list<const SMESHDS_Hypothesis*>& hypList = _myMeshDS->GetHypothesis(aSubShape);
939     for ( hyp = hypList.begin(); hyp != hypList.end(); hyp++ )
940     {
941       const SMESH_Hypothesis* h = cSMESH_Hyp( *hyp );
942       if (( aFilter.IsOk( h, aSubShape )) &&
943           ( h->IsAuxiliary() || !mainHypFound ) &&
944           ( h->IsAuxiliary() || hypTypes.insert( h->GetName() ).second ))
945       {
946         aHypList.push_back( *hyp );
947         nbHyps++;
948         if ( !h->IsAuxiliary() )
949           mainHypFound = true;
950         if ( assignedTo ) assignedTo->push_back( aSubShape );
951       }
952     }
953   }
954
955   // get hypos from ancestors of aSubShape
956   if ( andAncestors )
957   {
958     // user sorted submeshes of ancestors, according to stored submesh priority
959     std::vector< SMESH_subMesh * > & ancestors =
960       const_cast< std::vector< SMESH_subMesh * > & > ( aSubMesh->GetAncestors() );
961     SortByMeshOrder( ancestors );
962
963     vector<SMESH_subMesh*>::const_iterator smIt = ancestors.begin();
964     for ( ; smIt != ancestors.end(); smIt++ )
965     {
966       const TopoDS_Shape& curSh = (*smIt)->GetSubShape();
967       const list<const SMESHDS_Hypothesis*>& hypList = _myMeshDS->GetHypothesis(curSh);
968       for ( hyp = hypList.begin(); hyp != hypList.end(); hyp++ )
969       {
970         const SMESH_Hypothesis* h = cSMESH_Hyp( *hyp );
971         if (( aFilter.IsOk( h, curSh )) &&
972             ( h->IsAuxiliary() || !mainHypFound ) &&
973             ( h->IsAuxiliary() || hypTypes.insert( h->GetName() ).second ))
974         {
975           aHypList.push_back( *hyp );
976           nbHyps++;
977           if ( !h->IsAuxiliary() )
978             mainHypFound = true;
979           if ( assignedTo ) assignedTo->push_back( curSh );
980         }
981       }
982     }
983   }
984   return nbHyps;
985 }
986
987 //================================================================================
988 /*!
989  * \brief Return a hypothesis by its ID
990  */
991 //================================================================================
992
993 SMESH_Hypothesis * SMESH_Mesh::GetHypothesis(const int anHypId) const
994 {
995   StudyContextStruct *sc = _gen->GetStudyContext();
996   if (sc->mapHypothesis.find(anHypId) == sc->mapHypothesis.end())
997     return NULL;
998
999   SMESH_Hypothesis *anHyp = sc->mapHypothesis[anHypId];
1000   return anHyp;
1001 }
1002
1003 //=============================================================================
1004 /*!
1005  * 
1006  */
1007 //=============================================================================
1008
1009 const list<SMESHDS_Command*> & SMESH_Mesh::GetLog() throw(SALOME_Exception)
1010 {
1011   Unexpect aCatch(SalomeException);
1012   return _myMeshDS->GetScript()->GetCommands();
1013 }
1014
1015 //=============================================================================
1016 /*!
1017  * 
1018  */
1019 //=============================================================================
1020 void SMESH_Mesh::ClearLog() throw(SALOME_Exception)
1021 {
1022   Unexpect aCatch(SalomeException);
1023   _myMeshDS->GetScript()->Clear();
1024 }
1025
1026 //=============================================================================
1027 /*!
1028  * Get or Create the SMESH_subMesh object implementation
1029  */
1030 //=============================================================================
1031
1032 SMESH_subMesh * SMESH_Mesh::GetSubMesh(const TopoDS_Shape & aSubShape)
1033   throw(SALOME_Exception)
1034 {
1035   int index = _myMeshDS->ShapeToIndex(aSubShape);
1036   if ( !index && aSubShape.IsNull() )
1037     return 0;
1038
1039   // for submeshes on GEOM Group
1040   if (( !index || index > _nbSubShapes ) && aSubShape.ShapeType() == TopAbs_COMPOUND )
1041   {
1042     TopoDS_Iterator it( aSubShape );
1043     if ( it.More() )
1044     {
1045       index = _myMeshDS->AddCompoundSubmesh( aSubShape, it.Value().ShapeType() );
1046       // fill map of Ancestors
1047       while ( _nbSubShapes < index )
1048         fillAncestorsMap( _myMeshDS->IndexToShape( ++_nbSubShapes ));
1049     }
1050   }
1051   // if ( !index )
1052   //   return NULL; // neither sub-shape nor a group
1053
1054   SMESH_subMesh* aSubMesh = _subMeshHolder->Get( index );
1055   if ( !aSubMesh )
1056   {
1057     aSubMesh = new SMESH_subMesh(index, this, _myMeshDS, aSubShape);
1058     _subMeshHolder->Add( index, aSubMesh );
1059
1060     // include non-computable sub-meshes in SMESH_subMesh::_ancestors of sub-submeshes
1061     switch ( aSubShape.ShapeType() ) {
1062     case TopAbs_COMPOUND:
1063     case TopAbs_WIRE:
1064     case TopAbs_SHELL:
1065       for ( TopoDS_Iterator subIt( aSubShape ); subIt.More(); subIt.Next() )
1066       {
1067         SMESH_subMesh* sm = GetSubMesh( subIt.Value() );
1068         SMESH_subMeshIteratorPtr smIt = sm->getDependsOnIterator(/*inclideSelf=*/true);
1069         while ( smIt->more() )
1070           smIt->next()->ClearAncestors();
1071       }
1072     default:;
1073     }
1074   }
1075   return aSubMesh;
1076 }
1077
1078 //=============================================================================
1079 /*!
1080  * Get the SMESH_subMesh object implementation. Don't create it, return null
1081  * if it does not exist.
1082  */
1083 //=============================================================================
1084
1085 SMESH_subMesh *SMESH_Mesh::GetSubMeshContaining(const TopoDS_Shape & aSubShape) const
1086   throw(SALOME_Exception)
1087 {
1088   int index = _myMeshDS->ShapeToIndex(aSubShape);
1089   return GetSubMeshContaining( index );
1090 }
1091
1092 //=============================================================================
1093 /*!
1094  * Get the SMESH_subMesh object implementation. Don't create it, return null
1095  * if it does not exist.
1096  */
1097 //=============================================================================
1098
1099 SMESH_subMesh *SMESH_Mesh::GetSubMeshContaining(const int aShapeID) const
1100 throw(SALOME_Exception)
1101 {
1102   SMESH_subMesh *aSubMesh = _subMeshHolder->Get( aShapeID );
1103
1104   return aSubMesh;
1105 }
1106
1107 //================================================================================
1108 /*!
1109  * \brief Return sub-meshes of groups containing the given sub-shape
1110  */
1111 //================================================================================
1112
1113 list<SMESH_subMesh*>
1114 SMESH_Mesh::GetGroupSubMeshesContaining(const TopoDS_Shape & aSubShape) const
1115   throw(SALOME_Exception)
1116 {
1117   list<SMESH_subMesh*> found;
1118
1119   SMESH_subMesh * subMesh = GetSubMeshContaining(aSubShape);
1120   if ( !subMesh )
1121     return found;
1122
1123   // sub-meshes of groups have max IDs, so search from the map end
1124   SMESH_subMeshIteratorPtr smIt( _subMeshHolder->GetIterator( /*reverse=*/true ) );
1125   while ( smIt->more() ) {
1126     SMESH_subMesh*    sm = smIt->next();
1127     SMESHDS_SubMesh * ds = sm->GetSubMeshDS();
1128     if ( ds && ds->IsComplexSubmesh() ) {
1129       if ( SMESH_MesherHelper::IsSubShape( aSubShape, sm->GetSubShape() ))
1130       {
1131         found.push_back( sm );
1132         //break;
1133       }
1134     } else {
1135       break; // the rest sub-meshes are not those of groups
1136     }
1137   }
1138
1139   if ( found.empty() ) // maybe the main shape is a COMPOUND (issue 0021530)
1140   {
1141     if ( SMESH_subMesh * mainSM = GetSubMeshContaining(1) )
1142       if ( mainSM->GetSubShape().ShapeType() == TopAbs_COMPOUND )
1143       {
1144         TopoDS_Iterator it( mainSM->GetSubShape() );
1145         if ( it.Value().ShapeType() == aSubShape.ShapeType() &&
1146              SMESH_MesherHelper::IsSubShape( aSubShape, mainSM->GetSubShape() ))
1147           found.push_back( mainSM );
1148       }
1149   }
1150   else // issue 0023068
1151   {
1152     if ( SMESH_subMesh * mainSM = GetSubMeshContaining(1) )
1153       if ( mainSM->GetSubShape().ShapeType() == TopAbs_COMPOUND )
1154         found.push_back( mainSM );
1155   }
1156   return found;
1157 }
1158 //=======================================================================
1159 //function : IsUsedHypothesis
1160 //purpose  : Return True if anHyp is used to mesh aSubShape
1161 //=======================================================================
1162
1163 bool SMESH_Mesh::IsUsedHypothesis(SMESHDS_Hypothesis * anHyp,
1164                                   const SMESH_subMesh* aSubMesh)
1165 {
1166   SMESH_Hypothesis* hyp = static_cast<SMESH_Hypothesis*>(anHyp);
1167
1168   // check if anHyp can be used to mesh aSubMesh
1169   if ( !aSubMesh || !aSubMesh->IsApplicableHypotesis( hyp ))
1170     return false;
1171
1172   SMESH_Algo *algo = aSubMesh->GetAlgo();
1173
1174   // algorithm
1175   if (anHyp->GetType() > SMESHDS_Hypothesis::PARAM_ALGO)
1176     return ( anHyp == algo );
1177
1178   // algorithm parameter
1179   if (algo)
1180   {
1181     // look trough hypotheses used by algo
1182     const SMESH_HypoFilter* hypoKind;
1183     if (( hypoKind = algo->GetCompatibleHypoFilter( !hyp->IsAuxiliary() ))) {
1184       list <const SMESHDS_Hypothesis * > usedHyps;
1185       if ( GetHypotheses( aSubMesh, *hypoKind, usedHyps, true ))
1186         return ( find( usedHyps.begin(), usedHyps.end(), anHyp ) != usedHyps.end() );
1187     }
1188   }
1189
1190   return false;
1191 }
1192
1193 //=======================================================================
1194 //function : NotifySubMeshesHypothesisModification
1195 //purpose  : Say all submeshes using theChangedHyp that it has been modified
1196 //=======================================================================
1197
1198 void SMESH_Mesh::NotifySubMeshesHypothesisModification(const SMESH_Hypothesis* hyp)
1199 {
1200   Unexpect aCatch(SalomeException);
1201
1202   if ( !GetMeshDS()->IsUsedHypothesis( hyp ))
1203     return;
1204
1205   if (_callUp)
1206     _callUp->HypothesisModified();
1207
1208   SMESH_Algo *algo;
1209   const SMESH_HypoFilter* compatibleHypoKind;
1210   list <const SMESHDS_Hypothesis * > usedHyps;
1211   vector< SMESH_subMesh* > smToNotify;
1212   bool allMeshedEdgesNotified = true;
1213
1214   SMESH_subMeshIteratorPtr smIt( _subMeshHolder->GetIterator() );
1215   while ( smIt->more() )
1216   {
1217     SMESH_subMesh* aSubMesh = smIt->next();
1218     bool toNotify = false;
1219
1220     // if aSubMesh meshing depends on hyp,
1221     // we call aSubMesh->AlgoStateEngine( MODIF_HYP, hyp ) that causes either
1222     // 1) clearing already computed aSubMesh or
1223     // 2) changing algo_state from MISSING_HYP to HYP_OK when parameters of hyp becomes valid,
1224     // other possible changes are not interesting. (IPAL0052457 - assigning hyp performance pb)
1225     if ( aSubMesh->GetComputeState() == SMESH_subMesh::COMPUTE_OK ||
1226          aSubMesh->GetComputeState() == SMESH_subMesh::FAILED_TO_COMPUTE ||
1227          aSubMesh->GetAlgoState()    == SMESH_subMesh::MISSING_HYP ||
1228          hyp->DataDependOnParams() )
1229     {
1230       const TopoDS_Shape & aSubShape = aSubMesh->GetSubShape();
1231
1232       if (( aSubMesh->IsApplicableHypotesis( hyp )) &&
1233           ( algo = aSubMesh->GetAlgo() )            &&
1234           ( compatibleHypoKind = algo->GetCompatibleHypoFilter( !hyp->IsAuxiliary() )) &&
1235           ( compatibleHypoKind->IsOk( hyp, aSubShape )))
1236       {
1237         // check if hyp is used by algo
1238         usedHyps.clear();
1239         toNotify = ( GetHypotheses( aSubMesh, *compatibleHypoKind, usedHyps, true ) &&
1240                      std::find( usedHyps.begin(), usedHyps.end(), hyp ) != usedHyps.end() );
1241       }
1242     }
1243     if ( toNotify )
1244     {
1245       smToNotify.push_back( aSubMesh );
1246       if ( aSubMesh->GetAlgoState() == SMESH_subMesh::MISSING_HYP )
1247         allMeshedEdgesNotified = false; //  update of algo state needed, not mesh clearing
1248     }
1249     else
1250     {
1251       if ( !aSubMesh->IsEmpty() &&
1252            aSubMesh->GetSubShape().ShapeType() == TopAbs_EDGE )
1253         allMeshedEdgesNotified = false;
1254     }
1255   }
1256   if ( smToNotify.empty() )
1257     return;
1258
1259   // if all meshed EDGEs will be notified then the notification is equivalent
1260   // to the whole mesh clearing, which is usually faster
1261   if ( allMeshedEdgesNotified && NbNodes() > 0 )
1262   {
1263     Clear();
1264   }
1265   else
1266   {
1267     // notify in reverse order to avoid filling the pool of IDs
1268     for ( int i = smToNotify.size()-1; i >= 0; --i )
1269       smToNotify[i]->AlgoStateEngine(SMESH_subMesh::MODIF_HYP,
1270                                      const_cast< SMESH_Hypothesis*>( hyp ));
1271   }
1272   HasModificationsToDiscard(); // to reset _isModified flag if mesh becomes empty
1273   GetMeshDS()->Modified();
1274 }
1275
1276 //=============================================================================
1277 /*!
1278  *  Auto color functionality
1279  */
1280 //=============================================================================
1281 void SMESH_Mesh::SetAutoColor(bool theAutoColor) throw(SALOME_Exception)
1282 {
1283   Unexpect aCatch(SalomeException);
1284   _isAutoColor = theAutoColor;
1285 }
1286
1287 bool SMESH_Mesh::GetAutoColor() throw(SALOME_Exception)
1288 {
1289   Unexpect aCatch(SalomeException);
1290   return _isAutoColor;
1291 }
1292
1293 //=======================================================================
1294 //function : SetIsModified
1295 //purpose  : Set the flag meaning that the mesh has been edited "manually"
1296 //=======================================================================
1297
1298 void SMESH_Mesh::SetIsModified(bool isModified)
1299 {
1300   _isModified = isModified;
1301
1302   if ( _isModified )
1303     // check if mesh becomes empty as result of modification
1304     HasModificationsToDiscard();
1305 }
1306
1307 //=======================================================================
1308 //function : HasModificationsToDiscard
1309 //purpose  : Return true if the mesh has been edited since a total re-compute
1310 //           and those modifications may prevent successful partial re-compute.
1311 //           As a side effect reset _isModified flag if mesh is empty
1312 //issue    : 0020693
1313 //=======================================================================
1314
1315 bool SMESH_Mesh::HasModificationsToDiscard() const
1316 {
1317   if ( ! _isModified )
1318     return false;
1319
1320   // return true if the next Compute() will be partial and
1321   // existing but changed elements may prevent successful re-compute
1322   bool hasComputed = false, hasNotComputed = false;
1323   SMESH_subMeshIteratorPtr smIt( _subMeshHolder->GetIterator() );
1324   while ( smIt->more() )
1325   {
1326     const SMESH_subMesh* aSubMesh = smIt->next();
1327     switch ( aSubMesh->GetSubShape().ShapeType() )
1328     {
1329     case TopAbs_EDGE:
1330     case TopAbs_FACE:
1331     case TopAbs_SOLID:
1332       if ( aSubMesh->IsMeshComputed() )
1333         hasComputed = true;
1334       else
1335         hasNotComputed = true;
1336       if ( hasComputed && hasNotComputed)
1337         return true;
1338
1339     default:;
1340     }
1341   }
1342   if ( NbNodes() < 1 )
1343     const_cast<SMESH_Mesh*>(this)->_isModified = false;
1344
1345   return false;
1346 }
1347
1348 //================================================================================
1349 /*!
1350  * \brief Check if any groups of the same type have equal names
1351  */
1352 //================================================================================
1353
1354 bool SMESH_Mesh::HasDuplicatedGroupNamesMED()
1355 {
1356   // Corrected for Mantis issue 0020028
1357   map< SMDSAbs_ElementType, set<string> > aGroupNames;
1358   for ( map<int, SMESH_Group*>::iterator it = _mapGroup.begin(); it != _mapGroup.end(); it++ )
1359   {
1360     SMESH_Group*       aGroup = it->second;
1361     SMDSAbs_ElementType aType = aGroup->GetGroupDS()->GetType();
1362     string         aGroupName = aGroup->GetName();
1363     aGroupName.resize( MAX_MED_GROUP_NAME_LENGTH );
1364     if ( !aGroupNames[aType].insert(aGroupName).second )
1365       return true;
1366   }
1367
1368   return false;
1369 }
1370
1371 //================================================================================
1372 /*!
1373  * \brief Export the mesh to a med file
1374  *  \param [in] file - name of the MED file
1375  *  \param [in] theMeshName - name of this mesh
1376  *  \param [in] theAutoGroups - boolean parameter for creating/not creating
1377  *              the groups Group_On_All_Nodes, Group_On_All_Faces, ... ;
1378  *              the typical use is auto_groups=false.
1379  *  \param [in] meshPart - mesh data to export
1380  *  \param [in] theAutoDimension - if \c true, a space dimension of a MED mesh can be either
1381      *         - 1D if all mesh nodes lie on OX coordinate axis, or
1382      *         - 2D if all mesh nodes lie on XOY coordinate plane, or
1383      *         - 3D in the rest cases.
1384      *         If \a theAutoDimension is \c false, the space dimension is always 3.
1385  *  \param [in] theAddODOnVertices - to create 0D elements on all vertices
1386  *  \param [in] theAllElemsToGroup - to make every element to belong to any group (PAL23413)
1387  *  \return int - mesh index in the file
1388  */
1389 //================================================================================
1390
1391 void SMESH_Mesh::ExportMED(const char *        file, 
1392                            const char*         theMeshName, 
1393                            bool                theAutoGroups,
1394                            const SMESHDS_Mesh* meshPart,
1395                            bool                theAutoDimension,
1396                            bool                theAddODOnVertices,
1397                            bool                theAllElemsToGroup)
1398   throw(SALOME_Exception)
1399 {
1400   //MESSAGE("MED_VERSION:"<< theVersion);
1401   SMESH_TRY;
1402
1403   DriverMED_W_SMESHDS_Mesh myWriter;
1404   myWriter.SetFile         ( file );
1405   myWriter.SetMesh         ( meshPart ? (SMESHDS_Mesh*) meshPart : _myMeshDS   );
1406   myWriter.SetAutoDimension( theAutoDimension );
1407   myWriter.AddODOnVertices ( theAddODOnVertices );
1408   if ( !theMeshName ) 
1409     myWriter.SetMeshId     ( _id         );
1410   else {
1411     myWriter.SetMeshId     ( -1          );
1412     myWriter.SetMeshName   ( theMeshName );
1413   }
1414
1415   if ( theAutoGroups ) {
1416     myWriter.AddGroupOfNodes();
1417     myWriter.AddGroupOfEdges();
1418     myWriter.AddGroupOfFaces();
1419     myWriter.AddGroupOfVolumes();
1420     myWriter.AddGroupOf0DElems();
1421     myWriter.AddGroupOfBalls();
1422   }
1423   if ( theAllElemsToGroup )
1424     myWriter.AddAllToGroup();
1425
1426   // Pass groups to writer. Provide unique group names.
1427   //set<string> aGroupNames; // Corrected for Mantis issue 0020028
1428   if ( !meshPart )
1429   {
1430     map< SMDSAbs_ElementType, set<string> > aGroupNames;
1431     char aString [256];
1432     int maxNbIter = 10000; // to guarantee cycle finish
1433     for ( map<int, SMESH_Group*>::iterator it = _mapGroup.begin(); it != _mapGroup.end(); it++ ) {
1434       SMESH_Group*       aGroup   = it->second;
1435       SMESHDS_GroupBase* aGroupDS = aGroup->GetGroupDS();
1436       if ( aGroupDS ) {
1437         SMDSAbs_ElementType aType = aGroupDS->GetType();
1438         string aGroupName0 = aGroup->GetName();
1439         aGroupName0.resize(MAX_MED_GROUP_NAME_LENGTH);
1440         string aGroupName = aGroupName0;
1441         for (int i = 1; !aGroupNames[aType].insert(aGroupName).second && i < maxNbIter; i++) {
1442           sprintf(&aString[0], "GR_%d_%s", i, aGroupName0.c_str());
1443           aGroupName = aString;
1444           aGroupName.resize(MAX_MED_GROUP_NAME_LENGTH);
1445         }
1446         aGroupDS->SetStoreName( aGroupName.c_str() );
1447         myWriter.AddGroup( aGroupDS );
1448       }
1449     }
1450   }
1451   // Perform export
1452   myWriter.Perform();
1453
1454   SMESH_CATCH( SMESH::throwSalomeEx );
1455 }
1456
1457 //================================================================================
1458 /*!
1459  * \brief Export the mesh to a SAUV file
1460  */
1461 //================================================================================
1462
1463 void SMESH_Mesh::ExportSAUV(const char *file, 
1464                             const char* theMeshName, 
1465                             bool theAutoGroups)
1466   throw(SALOME_Exception)
1467 {
1468   std::string medfilename(file);
1469   medfilename += ".med";
1470   std::string cmd;
1471 #ifdef WIN32
1472   cmd = "%PYTHONBIN% ";
1473 #else
1474   cmd = "python3 ";
1475 #endif
1476   cmd += "-c \"";
1477   cmd += "from medutilities import my_remove ; my_remove(r'" + medfilename + "')";
1478   cmd += "\"";
1479   system(cmd.c_str());
1480   ExportMED(medfilename.c_str(), theMeshName, theAutoGroups,
1481             /*meshPart=*/NULL, /*theAutoDimension=*/false, /*theAddODOnVertices=*/false,
1482             /*theAllElemsToGroup=*/true ); // theAllElemsToGroup is for PAL0023413
1483 #ifdef WIN32
1484   cmd = "%PYTHONBIN% ";
1485 #else
1486   cmd = "python3 ";
1487 #endif
1488   cmd += "-c \"";
1489   cmd += "from medutilities import convert ; convert(r'" + medfilename + "', 'MED', 'GIBI', 1, r'" + file + "')";
1490   cmd += "\"";
1491   system(cmd.c_str());
1492 #ifdef WIN32
1493   cmd = "%PYTHONBIN% ";
1494 #else
1495   cmd = "python3 ";
1496 #endif
1497   cmd += "-c \"";
1498   cmd += "from medutilities import my_remove ; my_remove(r'" + medfilename + "')";
1499   cmd += "\"";
1500   system(cmd.c_str());
1501 }
1502
1503 //================================================================================
1504 /*!
1505  * \brief Export the mesh to a DAT file
1506  */
1507 //================================================================================
1508
1509 void SMESH_Mesh::ExportDAT(const char *        file,
1510                            const SMESHDS_Mesh* meshPart) throw(SALOME_Exception)
1511 {
1512   Unexpect aCatch(SalomeException);
1513   DriverDAT_W_SMDS_Mesh myWriter;
1514   myWriter.SetFile( file );
1515   myWriter.SetMesh( meshPart ? (SMESHDS_Mesh*) meshPart : _myMeshDS );
1516   myWriter.SetMeshId(_id);
1517   myWriter.Perform();
1518 }
1519
1520 //================================================================================
1521 /*!
1522  * \brief Export the mesh to an UNV file
1523  */
1524 //================================================================================
1525
1526 void SMESH_Mesh::ExportUNV(const char *        file,
1527                            const SMESHDS_Mesh* meshPart) throw(SALOME_Exception)
1528 {
1529   Unexpect aCatch(SalomeException);
1530   DriverUNV_W_SMDS_Mesh myWriter;
1531   myWriter.SetFile( file );
1532   myWriter.SetMesh( meshPart ? (SMESHDS_Mesh*) meshPart : _myMeshDS );
1533   myWriter.SetMeshId(_id);
1534   //  myWriter.SetGroups(_mapGroup);
1535
1536   // pass group names to SMESHDS
1537   if ( !meshPart )
1538   {
1539     for ( map<int, SMESH_Group*>::iterator it = _mapGroup.begin(); it != _mapGroup.end(); it++ ) {
1540       SMESH_Group*       aGroup   = it->second;
1541       SMESHDS_GroupBase* aGroupDS = aGroup->GetGroupDS();
1542       if ( aGroupDS ) {
1543         string aGroupName = aGroup->GetName();
1544         aGroupDS->SetStoreName( aGroupName.c_str() );
1545         myWriter.AddGroup( aGroupDS );
1546       }
1547     }
1548   }
1549   myWriter.Perform();
1550 }
1551
1552 //================================================================================
1553 /*!
1554  * \brief Export the mesh to an STL file
1555  */
1556 //================================================================================
1557
1558 void SMESH_Mesh::ExportSTL(const char *        file,
1559                            const bool          isascii,
1560                            const char *        name,
1561                            const SMESHDS_Mesh* meshPart) throw(SALOME_Exception)
1562 {
1563   Unexpect aCatch(SalomeException);
1564   DriverSTL_W_SMDS_Mesh myWriter;
1565   myWriter.SetFile( file );
1566   myWriter.SetIsAscii( isascii );
1567   myWriter.SetMesh( meshPart ? (SMESHDS_Mesh*) meshPart : _myMeshDS);
1568   myWriter.SetMeshId(_id);
1569   if ( name ) myWriter.SetName( name );
1570   myWriter.Perform();
1571 }
1572
1573 //================================================================================
1574 /*!
1575  * \brief Export the mesh to the CGNS file
1576  */
1577 //================================================================================
1578
1579 void SMESH_Mesh::ExportCGNS(const char *        file,
1580                             const SMESHDS_Mesh* meshDS,
1581                             const char *        meshName,
1582                             const bool          groupElemsByType)
1583 {
1584   int res = Driver_Mesh::DRS_FAIL;
1585
1586   // pass group names to SMESHDS
1587   for ( map<int, SMESH_Group*>::iterator it = _mapGroup.begin(); it != _mapGroup.end(); it++ ) {
1588     SMESH_Group*       group   = it->second;
1589     SMESHDS_GroupBase* groupDS = group->GetGroupDS();
1590     if ( groupDS ) {
1591       string groupName = group->GetName();
1592       groupDS->SetStoreName( groupName.c_str() );
1593     }
1594   }
1595 #ifdef WITH_CGNS
1596
1597   DriverCGNS_Write myWriter;
1598   myWriter.SetFile( file );
1599   myWriter.SetMesh( const_cast<SMESHDS_Mesh*>( meshDS ));
1600   myWriter.SetMeshName( SMESH_Comment("Mesh_") << meshDS->GetPersistentId());
1601   if ( meshName && meshName[0] )
1602     myWriter.SetMeshName( meshName );
1603   myWriter.SetElementsByType( groupElemsByType );
1604   res = myWriter.Perform();
1605   if ( res != Driver_Mesh::DRS_OK )
1606   {
1607     SMESH_ComputeErrorPtr err = myWriter.GetError();
1608     if ( err && !err->IsOK() && !err->myComment.empty() )
1609       throw SALOME_Exception(("Export failed: " + err->myComment ).c_str() );
1610   }
1611
1612 #endif
1613   if ( res != Driver_Mesh::DRS_OK )
1614     throw SALOME_Exception("Export failed");
1615 }
1616
1617 //================================================================================
1618 /*!
1619  * \brief Export the mesh to a GMF file
1620  */
1621 //================================================================================
1622
1623 void SMESH_Mesh::ExportGMF(const char *        file,
1624                            const SMESHDS_Mesh* meshDS,
1625                            bool                withRequiredGroups)
1626 {
1627   DriverGMF_Write myWriter;
1628   myWriter.SetFile( file );
1629   myWriter.SetMesh( const_cast<SMESHDS_Mesh*>( meshDS ));
1630   myWriter.SetExportRequiredGroups( withRequiredGroups );
1631
1632   myWriter.Perform();
1633 }
1634
1635 //================================================================================
1636 /*!
1637  * \brief Return a ratio of "compute cost" of computed sub-meshes to the whole
1638  *        "compute cost".
1639  */
1640 //================================================================================
1641
1642 double SMESH_Mesh::GetComputeProgress() const
1643 {
1644   double totalCost = 1e-100, computedCost = 0;
1645   const SMESH_subMesh* curSM = _gen->GetCurrentSubMesh();
1646
1647   // get progress of a current algo
1648   TColStd_MapOfInteger currentSubIds; 
1649   if ( curSM )
1650     if ( SMESH_Algo* algo = curSM->GetAlgo() )
1651     {
1652       int algoNotDoneCost = 0, algoDoneCost = 0;
1653       const std::vector<SMESH_subMesh*>& smToCompute = algo->SubMeshesToCompute();
1654       for ( size_t i = 0; i < smToCompute.size(); ++i )
1655       {
1656         if ( smToCompute[i]->IsEmpty() || smToCompute.size() == 1 )
1657           algoNotDoneCost += smToCompute[i]->GetComputeCost();
1658         else
1659           algoDoneCost += smToCompute[i]->GetComputeCost();
1660         currentSubIds.Add( smToCompute[i]->GetId() );
1661       }
1662       double rate = 0;
1663       try
1664       {
1665         OCC_CATCH_SIGNALS;
1666         rate = algo->GetProgress();
1667       }
1668       catch (...) {
1669 #ifdef _DEBUG_
1670         cerr << "Exception in " << algo->GetName() << "::GetProgress()" << endl;
1671 #endif
1672       }
1673       if ( 0. < rate && rate < 1.001 )
1674       {
1675         computedCost += rate * ( algoDoneCost + algoNotDoneCost );
1676       }
1677       else
1678       {
1679         rate = algo->GetProgressByTic();
1680         computedCost += algoDoneCost + rate * algoNotDoneCost;
1681       }
1682       // cout << "rate: "<<rate << " algoNotDoneCost: " << algoNotDoneCost << endl;
1683     }
1684
1685   // get cost of already treated sub-meshes
1686   if ( SMESH_subMesh* mainSM = GetSubMeshContaining( 1 ))
1687   {
1688     SMESH_subMeshIteratorPtr smIt = mainSM->getDependsOnIterator(/*includeSelf=*/true);
1689     while ( smIt->more() )
1690     {
1691       const SMESH_subMesh* sm = smIt->next();
1692       const int smCost = sm->GetComputeCost();
1693       totalCost += smCost;
1694       if ( !currentSubIds.Contains( sm->GetId() ) )
1695       {
1696         if (( !sm->IsEmpty() ) ||
1697             ( sm->GetComputeState() == SMESH_subMesh::FAILED_TO_COMPUTE &&
1698               !sm->DependsOn( curSM ) ))
1699           computedCost += smCost;
1700       }
1701     }
1702   }
1703   // cout << "Total: " << totalCost
1704   //      << " computed: " << computedCost << " progress: " << computedCost / totalCost
1705   //      << " nbElems: " << GetMeshDS()->GetMeshInfo().NbElements() << endl;
1706   return computedCost / totalCost;
1707 }
1708
1709 //================================================================================
1710 /*!
1711  * \brief Return number of nodes in the mesh
1712  */
1713 //================================================================================
1714
1715 int SMESH_Mesh::NbNodes() const throw(SALOME_Exception)
1716 {
1717   Unexpect aCatch(SalomeException);
1718   return _myMeshDS->NbNodes();
1719 }
1720
1721 //================================================================================
1722 /*!
1723  * \brief  Return number of edges of given order in the mesh
1724  */
1725 //================================================================================
1726
1727 int SMESH_Mesh::Nb0DElements() const throw(SALOME_Exception)
1728 {
1729   Unexpect aCatch(SalomeException);
1730   return _myMeshDS->GetMeshInfo().Nb0DElements();
1731 }
1732
1733 //================================================================================
1734 /*!
1735  * \brief  Return number of edges of given order in the mesh
1736  */
1737 //================================================================================
1738
1739 int SMESH_Mesh::NbEdges(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1740 {
1741   Unexpect aCatch(SalomeException);
1742   return _myMeshDS->GetMeshInfo().NbEdges(order);
1743 }
1744
1745 //================================================================================
1746 /*!
1747  * \brief Return number of faces of given order in the mesh
1748  */
1749 //================================================================================
1750
1751 int SMESH_Mesh::NbFaces(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1752 {
1753   Unexpect aCatch(SalomeException);
1754   return _myMeshDS->GetMeshInfo().NbFaces(order);
1755 }
1756
1757 //================================================================================
1758 /*!
1759  * \brief Return the number of faces in the mesh
1760  */
1761 //================================================================================
1762
1763 int SMESH_Mesh::NbTriangles(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1764 {
1765   Unexpect aCatch(SalomeException);
1766   return _myMeshDS->GetMeshInfo().NbTriangles(order);
1767 }
1768
1769 //================================================================================
1770 /*!
1771  * \brief Return number of biquadratic triangles in the mesh
1772  */
1773 //================================================================================
1774
1775 int SMESH_Mesh::NbBiQuadTriangles() const throw(SALOME_Exception)
1776 {
1777   Unexpect aCatch(SalomeException);
1778   return _myMeshDS->GetMeshInfo().NbBiQuadTriangles();
1779 }
1780
1781 //================================================================================
1782 /*!
1783  * \brief Return the number nodes faces in the mesh
1784  */
1785 //================================================================================
1786
1787 int SMESH_Mesh::NbQuadrangles(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1788 {
1789   Unexpect aCatch(SalomeException);
1790   return _myMeshDS->GetMeshInfo().NbQuadrangles(order);
1791 }
1792
1793 //================================================================================
1794 /*!
1795  * \brief Return number of biquadratic quadrangles in the mesh
1796  */
1797 //================================================================================
1798
1799 int SMESH_Mesh::NbBiQuadQuadrangles() const throw(SALOME_Exception)
1800 {
1801   Unexpect aCatch(SalomeException);
1802   return _myMeshDS->GetMeshInfo().NbBiQuadQuadrangles();
1803 }
1804
1805 //================================================================================
1806 /*!
1807  * \brief Return the number of polygonal faces in the mesh
1808  */
1809 //================================================================================
1810
1811 int SMESH_Mesh::NbPolygons(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1812 {
1813   Unexpect aCatch(SalomeException);
1814   return _myMeshDS->GetMeshInfo().NbPolygons(order);
1815 }
1816
1817 //================================================================================
1818 /*!
1819  * \brief Return number of volumes of given order in the mesh
1820  */
1821 //================================================================================
1822
1823 int SMESH_Mesh::NbVolumes(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1824 {
1825   Unexpect aCatch(SalomeException);
1826   return _myMeshDS->GetMeshInfo().NbVolumes(order);
1827 }
1828
1829 //================================================================================
1830 /*!
1831  * \brief  Return number of tetrahedrons of given order in the mesh
1832  */
1833 //================================================================================
1834
1835 int SMESH_Mesh::NbTetras(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1836 {
1837   Unexpect aCatch(SalomeException);
1838   return _myMeshDS->GetMeshInfo().NbTetras(order);
1839 }
1840
1841 //================================================================================
1842 /*!
1843  * \brief  Return number of hexahedrons of given order in the mesh
1844  */
1845 //================================================================================
1846
1847 int SMESH_Mesh::NbHexas(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1848 {
1849   Unexpect aCatch(SalomeException);
1850   return _myMeshDS->GetMeshInfo().NbHexas(order);
1851 }
1852
1853 //================================================================================
1854 /*!
1855  * \brief  Return number of triquadratic hexahedrons in the mesh
1856  */
1857 //================================================================================
1858
1859 int SMESH_Mesh::NbTriQuadraticHexas() const throw(SALOME_Exception)
1860 {
1861   Unexpect aCatch(SalomeException);
1862   return _myMeshDS->GetMeshInfo().NbTriQuadHexas();
1863 }
1864
1865 //================================================================================
1866 /*!
1867  * \brief  Return number of pyramids of given order in the mesh
1868  */
1869 //================================================================================
1870
1871 int SMESH_Mesh::NbPyramids(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1872 {
1873   Unexpect aCatch(SalomeException);
1874   return _myMeshDS->GetMeshInfo().NbPyramids(order);
1875 }
1876
1877 //================================================================================
1878 /*!
1879  * \brief  Return number of prisms (penthahedrons) of given order in the mesh
1880  */
1881 //================================================================================
1882
1883 int SMESH_Mesh::NbPrisms(SMDSAbs_ElementOrder order) const throw(SALOME_Exception)
1884 {
1885   Unexpect aCatch(SalomeException);
1886   return _myMeshDS->GetMeshInfo().NbPrisms(order);
1887 }
1888
1889 int SMESH_Mesh::NbQuadPrisms() const throw (SALOME_Exception)
1890 {
1891   Unexpect aCatch(SalomeException);
1892   return _myMeshDS->GetMeshInfo().NbQuadPrisms();
1893 }
1894
1895 int SMESH_Mesh::NbBiQuadPrisms() const throw (SALOME_Exception)
1896 {
1897   Unexpect aCatch(SalomeException);
1898   return _myMeshDS->GetMeshInfo().NbBiQuadPrisms();
1899 }
1900
1901
1902 //================================================================================
1903 /*!
1904  * \brief  Return number of hexagonal prisms in the mesh
1905  */
1906 //================================================================================
1907
1908 int SMESH_Mesh::NbHexagonalPrisms() const throw(SALOME_Exception)
1909 {
1910   Unexpect aCatch(SalomeException);
1911   return _myMeshDS->GetMeshInfo().NbHexPrisms();
1912 }
1913
1914 //================================================================================
1915 /*!
1916  * \brief  Return number of polyhedrons in the mesh
1917  */
1918 //================================================================================
1919
1920 int SMESH_Mesh::NbPolyhedrons() const throw(SALOME_Exception)
1921 {
1922   Unexpect aCatch(SalomeException);
1923   return _myMeshDS->GetMeshInfo().NbPolyhedrons();
1924 }
1925
1926 //================================================================================
1927 /*!
1928  * \brief  Return number of ball elements in the mesh
1929  */
1930 //================================================================================
1931
1932 int SMESH_Mesh::NbBalls() const throw(SALOME_Exception)
1933 {
1934   Unexpect aCatch(SalomeException);
1935   return _myMeshDS->GetMeshInfo().NbBalls();
1936 }
1937
1938 //================================================================================
1939 /*!
1940  * \brief  Return number of submeshes in the mesh
1941  */
1942 //================================================================================
1943
1944 int SMESH_Mesh::NbSubMesh() const throw(SALOME_Exception)
1945 {
1946   Unexpect aCatch(SalomeException);
1947   return _myMeshDS->NbSubMesh();
1948 }
1949
1950 //================================================================================
1951 /*!
1952  * \brief Returns number of meshes in the Study, that is supposed to be
1953  *        equal to SMESHDS_Document::NbMeshes()
1954  */
1955 //================================================================================
1956
1957 int SMESH_Mesh::NbMeshes() const // nb meshes in the Study
1958 {
1959   return _myDocument->NbMeshes();
1960 }
1961
1962 //=======================================================================
1963 //function : IsNotConformAllowed
1964 //purpose  : check if a hypothesis allowing notconform mesh is present
1965 //=======================================================================
1966
1967 bool SMESH_Mesh::IsNotConformAllowed() const
1968 {
1969   if(MYDEBUG) MESSAGE("SMESH_Mesh::IsNotConformAllowed");
1970
1971   static SMESH_HypoFilter filter( SMESH_HypoFilter::HasName( "NotConformAllowed" ));
1972   return GetHypothesis( _myMeshDS->ShapeToMesh(), filter, false );
1973 }
1974
1975 //=======================================================================
1976 //function : IsMainShape
1977 //purpose  : 
1978 //=======================================================================
1979
1980 bool SMESH_Mesh::IsMainShape(const TopoDS_Shape& theShape) const
1981 {
1982   return theShape.IsSame(_myMeshDS->ShapeToMesh() );
1983 }
1984
1985 //=============================================================================
1986 /*!
1987  *  
1988  */
1989 //=============================================================================
1990
1991 SMESH_Group* SMESH_Mesh::AddGroup (const SMDSAbs_ElementType theType,
1992                                    const char*               theName,
1993                                    int&                      theId,
1994                                    const TopoDS_Shape&       theShape,
1995                                    const SMESH_PredicatePtr& thePredicate)
1996 {
1997   if (_mapGroup.count(_groupId))
1998     return NULL;
1999   theId = _groupId;
2000   SMESH_Group* aGroup = new SMESH_Group (theId, this, theType, theName, theShape, thePredicate);
2001   GetMeshDS()->AddGroup( aGroup->GetGroupDS() );
2002   _mapGroup[_groupId++] = aGroup;
2003   return aGroup;
2004 }
2005
2006 //================================================================================
2007 /*!
2008  * \brief Creates a group based on an existing SMESHDS group. Group ID should be unique
2009  */
2010 //================================================================================
2011
2012 SMESH_Group* SMESH_Mesh::AddGroup (SMESHDS_GroupBase* groupDS) throw(SALOME_Exception)
2013 {
2014   if ( !groupDS ) 
2015     throw SALOME_Exception(LOCALIZED ("SMESH_Mesh::AddGroup(): NULL SMESHDS_GroupBase"));
2016
2017   map <int, SMESH_Group*>::iterator i_g = _mapGroup.find( groupDS->GetID() );
2018   if ( i_g != _mapGroup.end() && i_g->second )
2019   {
2020     if ( i_g->second->GetGroupDS() == groupDS )
2021       return i_g->second;
2022     else
2023       throw SALOME_Exception(LOCALIZED ("SMESH_Mesh::AddGroup() wrong ID of SMESHDS_GroupBase"));
2024   }
2025   SMESH_Group* aGroup = new SMESH_Group (groupDS);
2026   _mapGroup[ groupDS->GetID() ] = aGroup;
2027   GetMeshDS()->AddGroup( aGroup->GetGroupDS() );
2028
2029   _groupId = 1 + _mapGroup.rbegin()->first;
2030
2031   return aGroup;
2032 }
2033
2034
2035 //================================================================================
2036 /*!
2037  * \brief Creates SMESH_Groups for not wrapped SMESHDS_Groups
2038  *  \retval bool - true if new SMESH_Groups have been created
2039  * 
2040  */
2041 //================================================================================
2042
2043 bool SMESH_Mesh::SynchronizeGroups()
2044 {
2045   const size_t                       nbGroups = _mapGroup.size();
2046   const set<SMESHDS_GroupBase*>&       groups = _myMeshDS->GetGroups();
2047   set<SMESHDS_GroupBase*>::const_iterator gIt = groups.begin();
2048   for ( ; gIt != groups.end(); ++gIt )
2049   {
2050     SMESHDS_GroupBase* groupDS = (SMESHDS_GroupBase*) *gIt;
2051     _groupId = groupDS->GetID();
2052     if ( !_mapGroup.count( _groupId ))
2053       _mapGroup[_groupId] = new SMESH_Group( groupDS );
2054   }
2055   if ( !_mapGroup.empty() )
2056     _groupId = _mapGroup.rbegin()->first + 1;
2057
2058   return nbGroups < _mapGroup.size();
2059 }
2060
2061 //================================================================================
2062 /*!
2063  * \brief Return iterator on all existing groups
2064  */
2065 //================================================================================
2066
2067 SMESH_Mesh::GroupIteratorPtr SMESH_Mesh::GetGroups() const
2068 {
2069   typedef map <int, SMESH_Group *> TMap;
2070   return GroupIteratorPtr( new SMDS_mapIterator<TMap>( _mapGroup ));
2071 }
2072
2073 //=============================================================================
2074 /*!
2075  * \brief Return a group by ID
2076  */
2077 //=============================================================================
2078
2079 SMESH_Group* SMESH_Mesh::GetGroup (const int theGroupID)
2080 {
2081   if (_mapGroup.find(theGroupID) == _mapGroup.end())
2082     return NULL;
2083   return _mapGroup[theGroupID];
2084 }
2085
2086
2087 //=============================================================================
2088 /*!
2089  * \brief Return IDs of all groups
2090  */
2091 //=============================================================================
2092
2093 list<int> SMESH_Mesh::GetGroupIds() const
2094 {
2095   list<int> anIds;
2096   for ( map<int, SMESH_Group*>::const_iterator it = _mapGroup.begin(); it != _mapGroup.end(); it++ )
2097     anIds.push_back( it->first );
2098   
2099   return anIds;
2100 }
2101
2102 //================================================================================
2103 /*!
2104  * \brief Set a caller of methods at level of CORBA API implementation.
2105  * The set upCaller will be deleted by SMESH_Mesh
2106  */
2107 //================================================================================
2108
2109 void SMESH_Mesh::SetCallUp( TCallUp* upCaller )
2110 {
2111   if ( _callUp ) delete _callUp;
2112   _callUp = upCaller;
2113 }
2114
2115 //=============================================================================
2116 /*!
2117  *  
2118  */
2119 //=============================================================================
2120
2121 bool SMESH_Mesh::RemoveGroup( const int theGroupID )
2122 {
2123   if (_mapGroup.find(theGroupID) == _mapGroup.end())
2124     return false;
2125   GetMeshDS()->RemoveGroup( _mapGroup[theGroupID]->GetGroupDS() );
2126   delete _mapGroup[theGroupID];
2127   _mapGroup.erase (theGroupID);
2128   if (_callUp)
2129     _callUp->RemoveGroup( theGroupID );
2130   return true;
2131 }
2132
2133 //=======================================================================
2134 //function : GetAncestors
2135 //purpose  : return list of ancestors of theSubShape in the order
2136 //           that lower dimension shapes come first.
2137 //=======================================================================
2138
2139 const TopTools_ListOfShape& SMESH_Mesh::GetAncestors(const TopoDS_Shape& theS) const
2140 {
2141   if ( _mapAncestors.Contains( theS ) )
2142     return _mapAncestors.FindFromKey( theS );
2143
2144   static TopTools_ListOfShape emptyList;
2145   return emptyList;
2146 }
2147
2148 //=======================================================================
2149 //function : Dump
2150 //purpose  : dumps contents of mesh to stream [ debug purposes ]
2151 //=======================================================================
2152
2153 ostream& SMESH_Mesh::Dump(ostream& save)
2154 {
2155   int clause = 0;
2156   save << "========================== Dump contents of mesh ==========================" << endl << endl;
2157   save << ++clause << ") Total number of nodes:      \t" << NbNodes() << endl;
2158   save << ++clause << ") Total number of edges:      \t" << NbEdges() << endl;
2159   save << ++clause << ") Total number of faces:      \t" << NbFaces() << endl;
2160   save << ++clause << ") Total number of polygons:   \t" << NbPolygons() << endl;
2161   save << ++clause << ") Total number of volumes:    \t" << NbVolumes() << endl;
2162   save << ++clause << ") Total number of polyhedrons:\t" << NbPolyhedrons() << endl << endl;
2163   for ( int isQuadratic = 0; isQuadratic < 2; ++isQuadratic )
2164   {
2165     string orderStr = isQuadratic ? "quadratic" : "linear";
2166     SMDSAbs_ElementOrder order  = isQuadratic ? ORDER_QUADRATIC : ORDER_LINEAR;
2167
2168     save << ++clause << ") Total number of " << orderStr << " edges:\t" << NbEdges(order) << endl;
2169     save << ++clause << ") Total number of " << orderStr << " faces:\t" << NbFaces(order) << endl;
2170     if ( NbFaces(order) > 0 ) {
2171       int nb3 = NbTriangles(order);
2172       int nb4 = NbQuadrangles(order);
2173       save << clause << ".1) Number of " << orderStr << " triangles:  \t" << nb3 << endl;
2174       save << clause << ".2) Number of " << orderStr << " quadrangles:\t" << nb4 << endl;
2175       if ( nb3 + nb4 !=  NbFaces(order) ) {
2176         map<int,int> myFaceMap;
2177         SMDS_FaceIteratorPtr itFaces=_myMeshDS->facesIterator();
2178         while( itFaces->more( ) ) {
2179           int nbNodes = itFaces->next()->NbNodes();
2180           if ( myFaceMap.find( nbNodes ) == myFaceMap.end() )
2181             myFaceMap[ nbNodes ] = 0;
2182           myFaceMap[ nbNodes ] = myFaceMap[ nbNodes ] + 1;
2183         }
2184         save << clause << ".3) Faces in detail: " << endl;
2185         map <int,int>::iterator itF;
2186         for (itF = myFaceMap.begin(); itF != myFaceMap.end(); itF++)
2187           save << "--> nb nodes: " << itF->first << " - nb elements:\t" << itF->second << endl;
2188       }
2189     }
2190     save << ++clause << ") Total number of " << orderStr << " volumes:\t" << NbVolumes(order) << endl;
2191     if ( NbVolumes(order) > 0 ) {
2192       int nb8 = NbHexas(order);
2193       int nb4 = NbTetras(order);
2194       int nb5 = NbPyramids(order);
2195       int nb6 = NbPrisms(order);
2196       save << clause << ".1) Number of " << orderStr << " hexahedrons: \t" << nb8 << endl;
2197       save << clause << ".2) Number of " << orderStr << " tetrahedrons:\t" << nb4 << endl;
2198       save << clause << ".3) Number of " << orderStr << " prisms:      \t" << nb6 << endl;
2199       save << clause << ".4) Number of " << orderStr << " pyramids:    \t" << nb5 << endl;
2200       if ( nb8 + nb4 + nb5 + nb6 != NbVolumes(order) ) {
2201         map<int,int> myVolumesMap;
2202         SMDS_VolumeIteratorPtr itVolumes=_myMeshDS->volumesIterator();
2203         while( itVolumes->more( ) ) {
2204           int nbNodes = itVolumes->next()->NbNodes();
2205           if ( myVolumesMap.find( nbNodes ) == myVolumesMap.end() )
2206             myVolumesMap[ nbNodes ] = 0;
2207           myVolumesMap[ nbNodes ] = myVolumesMap[ nbNodes ] + 1;
2208         }
2209         save << clause << ".5) Volumes in detail: " << endl;
2210         map <int,int>::iterator itV;
2211         for (itV = myVolumesMap.begin(); itV != myVolumesMap.end(); itV++)
2212           save << "--> nb nodes: " << itV->first << " - nb elements:\t" << itV->second << endl;
2213       }
2214     }
2215     save << endl;
2216   }
2217   save << "===========================================================================" << endl;
2218   return save;
2219 }
2220
2221 //=======================================================================
2222 //function : GetElementType
2223 //purpose  : Returns type of mesh element with certain id
2224 //=======================================================================
2225
2226 SMDSAbs_ElementType SMESH_Mesh::GetElementType( const int id, const bool iselem )
2227 {
2228   return _myMeshDS->GetElementType( id, iselem );
2229 }
2230
2231 //=============================================================================
2232 /*!
2233  *  \brief Convert group on geometry into standalone group
2234  */
2235 //=============================================================================
2236
2237 SMESH_Group* SMESH_Mesh::ConvertToStandalone ( int theGroupID )
2238 {
2239   SMESH_Group* aGroup = 0;
2240   map < int, SMESH_Group * >::iterator itg = _mapGroup.find( theGroupID );
2241   if ( itg == _mapGroup.end() )
2242     return aGroup;
2243
2244   SMESH_Group* anOldGrp = (*itg).second;
2245   if ( !anOldGrp || !anOldGrp->GetGroupDS() )
2246     return aGroup;
2247   SMESHDS_GroupBase* anOldGrpDS = anOldGrp->GetGroupDS();
2248
2249   // create new standalone group
2250   aGroup = new SMESH_Group (theGroupID, this, anOldGrpDS->GetType(), anOldGrp->GetName() );
2251   _mapGroup[theGroupID] = aGroup;
2252
2253   SMESHDS_Group* aNewGrpDS = dynamic_cast<SMESHDS_Group*>( aGroup->GetGroupDS() );
2254   GetMeshDS()->RemoveGroup( anOldGrpDS );
2255   GetMeshDS()->AddGroup( aNewGrpDS );
2256
2257   // add elements (or nodes) into new created group
2258   SMDS_ElemIteratorPtr anItr = anOldGrpDS->GetElements();
2259   while ( anItr->more() )
2260     aNewGrpDS->Add( (anItr->next())->GetID() );
2261
2262   // set color
2263   aNewGrpDS->SetColor( anOldGrpDS->GetColor() );
2264
2265   // remove old group
2266   delete anOldGrp;
2267
2268   return aGroup;
2269 }
2270
2271 //=============================================================================
2272 /*!
2273  *  \brief remove submesh order  from Mesh
2274  */
2275 //=============================================================================
2276
2277 void SMESH_Mesh::ClearMeshOrder()
2278 {
2279   _mySubMeshOrder.clear();
2280 }
2281
2282 //=============================================================================
2283 /*!
2284  *  \brief remove submesh order  from Mesh
2285  */
2286 //=============================================================================
2287
2288 void SMESH_Mesh::SetMeshOrder(const TListOfListOfInt& theOrder )
2289 {
2290   _mySubMeshOrder = theOrder;
2291 }
2292
2293 //=============================================================================
2294 /*!
2295  *  \brief return submesh order if any
2296  */
2297 //=============================================================================
2298
2299 const TListOfListOfInt& SMESH_Mesh::GetMeshOrder() const
2300 {
2301   return _mySubMeshOrder;
2302 }
2303
2304 //=============================================================================
2305 /*!
2306  *  \brief fill _mapAncestors
2307  */
2308 //=============================================================================
2309
2310 void SMESH_Mesh::fillAncestorsMap(const TopoDS_Shape& theShape)
2311 {
2312   int desType, ancType;
2313   if ( !theShape.IsSame( GetShapeToMesh()) && theShape.ShapeType() == TopAbs_COMPOUND )
2314   {
2315     // a geom group is added. Insert it into lists of ancestors before
2316     // the first ancestor more complex than group members
2317     TopoDS_Iterator subIt( theShape );
2318     if ( !subIt.More() ) return;
2319     int memberType = subIt.Value().ShapeType();
2320     for ( desType = TopAbs_VERTEX; desType >= memberType; desType-- )
2321       for (TopExp_Explorer des( theShape, TopAbs_ShapeEnum( desType )); des.More(); des.Next())
2322       {
2323         if ( !_mapAncestors.Contains( des.Current() )) continue;// issue 0020982
2324         TopTools_ListOfShape& ancList = _mapAncestors.ChangeFromKey( des.Current() );
2325         TopTools_ListIteratorOfListOfShape ancIt (ancList);
2326         while ( ancIt.More() && ancIt.Value().ShapeType() >= memberType )
2327           ancIt.Next();
2328         if ( ancIt.More() ) ancList.InsertBefore( theShape, ancIt );
2329         else                ancList.Append( theShape );
2330       }
2331   }
2332   else // else added for 52457: Addition of hypotheses is 8 time longer than meshing
2333   {
2334     for ( desType = TopAbs_VERTEX; desType > TopAbs_COMPOUND; desType-- )
2335       for ( ancType = desType - 1; ancType >= TopAbs_COMPOUND; ancType-- )
2336         TopExp::MapShapesAndAncestors ( theShape,
2337                                         (TopAbs_ShapeEnum) desType,
2338                                         (TopAbs_ShapeEnum) ancType,
2339                                         _mapAncestors );
2340   }
2341   // visit COMPOUNDs inside a COMPOUND that are not reachable by TopExp_Explorer
2342   if ( theShape.ShapeType() == TopAbs_COMPOUND )
2343   {
2344     TopoDS_Iterator sIt(theShape);
2345     if ( sIt.More() && sIt.Value().ShapeType() == TopAbs_COMPOUND )
2346       for ( ; sIt.More(); sIt.Next() )
2347         if ( sIt.Value().ShapeType() == TopAbs_COMPOUND )
2348           fillAncestorsMap( sIt.Value() );
2349   }
2350 }
2351
2352 //=============================================================================
2353 /*!
2354  * \brief sort submeshes according to stored mesh order
2355  * \param theListToSort in out list to be sorted
2356  * \return FALSE if nothing sorted
2357  */
2358 //=============================================================================
2359
2360 bool SMESH_Mesh::SortByMeshOrder(std::vector<SMESH_subMesh*>& theListToSort) const
2361 {
2362   if ( !_mySubMeshOrder.size() || theListToSort.size() < 2)
2363     return true;
2364   
2365   bool res = false;
2366   vector<SMESH_subMesh*> onlyOrderedList, smVec;
2367
2368   // collect all ordered submeshes in one list as pointers
2369   // and get their positions within theListToSort
2370   typedef vector<SMESH_subMesh*>::iterator TPosInList;
2371   map< int, TPosInList > sortedPos;
2372   TPosInList smBeg = theListToSort.begin(), smEnd = theListToSort.end();
2373   TListOfListOfInt::const_iterator      listIdsIt = _mySubMeshOrder.begin();
2374   for( ; listIdsIt != _mySubMeshOrder.end(); listIdsIt++)
2375   {
2376     const TListOfInt& listOfId = *listIdsIt;
2377     // convert sm ids to sm's
2378     smVec.clear();
2379     TListOfInt::const_iterator idIt = listOfId.begin();
2380     for ( ; idIt != listOfId.end(); idIt++ )
2381     {
2382       if ( SMESH_subMesh * sm = GetSubMeshContaining( *idIt ))
2383       {
2384         smVec.push_back( sm );
2385         if ( sm->GetSubMeshDS() && sm->GetSubMeshDS()->IsComplexSubmesh() )
2386         {
2387           SMESHDS_SubMeshIteratorPtr smdsIt = sm->GetSubMeshDS()->GetSubMeshIterator();
2388           while ( smdsIt->more() )
2389           {
2390             const SMESHDS_SubMesh* smDS = smdsIt->next();
2391             if (( sm = GetSubMeshContaining( smDS->GetID() )))
2392               smVec.push_back( sm );
2393           }
2394         }
2395       }
2396     }
2397     // find smVec items in theListToSort
2398     for ( size_t i = 0; i < smVec.size(); ++i )
2399     {
2400       TPosInList smPos = find( smBeg, smEnd, smVec[i] );
2401       if ( smPos != smEnd ) {
2402         onlyOrderedList.push_back( smVec[i] );
2403         sortedPos[ distance( smBeg, smPos )] = smPos;
2404       }
2405     }
2406   }
2407   if (onlyOrderedList.size() < 2)
2408     return res;
2409   res = true;
2410
2411   vector<SMESH_subMesh*>::iterator onlyBIt = onlyOrderedList.begin();
2412   vector<SMESH_subMesh*>::iterator onlyEIt = onlyOrderedList.end();
2413
2414   // iterate on ordered sub-meshes and insert them in detected positions
2415   map< int, TPosInList >::iterator i_pos = sortedPos.begin();
2416   for ( ; onlyBIt != onlyEIt; ++onlyBIt, ++i_pos )
2417     *(i_pos->second) = *onlyBIt;
2418
2419   return res;
2420 }
2421
2422 //================================================================================
2423 /*!
2424  * \brief Return true if given order of sub-meshes is OK
2425  */
2426 //================================================================================
2427
2428 bool SMESH_Mesh::IsOrderOK( const SMESH_subMesh* smBefore,
2429                             const SMESH_subMesh* smAfter ) const
2430 {
2431   TListOfListOfInt::const_iterator listIdsIt = _mySubMeshOrder.begin();
2432   for( ; listIdsIt != _mySubMeshOrder.end(); listIdsIt++)
2433   {
2434     const TListOfInt& listOfId = *listIdsIt;
2435     int iB = -1, iA = -1, i = 0;
2436     for ( TListOfInt::const_iterator id = listOfId.begin(); id != listOfId.end(); ++id, ++i )
2437     {
2438       if ( *id == smBefore->GetId() )
2439       {
2440         iB = i;
2441         if ( iA > -1 )
2442           return iB < iA;
2443       }
2444       else if ( *id == smAfter->GetId() )
2445       {
2446         iA = i;
2447         if ( iB > -1 )
2448           return iB < iA;
2449       }
2450     }
2451   }
2452   return true; // no order imposed to given sub-meshes
2453
2454
2455 //=============================================================================
2456 /*!
2457  * \brief sort submeshes according to stored mesh order
2458  * \param theListToSort in out list to be sorted
2459  * \return FALSE if nothing sorted
2460  */
2461 //=============================================================================
2462
2463 void SMESH_Mesh::getAncestorsSubMeshes (const TopoDS_Shape&            theSubShape,
2464                                         std::vector< SMESH_subMesh* >& theSubMeshes) const
2465 {
2466   theSubMeshes.clear();
2467   TopTools_ListIteratorOfListOfShape it( GetAncestors( theSubShape ));
2468   for (; it.More(); it.Next() )
2469     if ( SMESH_subMesh* sm = GetSubMeshContaining( it.Value() ))
2470       theSubMeshes.push_back(sm);
2471
2472   // sort submeshes according to stored mesh order
2473   SortByMeshOrder( theSubMeshes );
2474 }