src/SMESH/SMESH_Gen.cxx

   1 //  Copyright (C) 2007-2008  CEA/DEN, EDF R&D, OPEN CASCADE
   2 //
   3 //  Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
   4 //  CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   5 //
   6 //  This library is free software; you can redistribute it and/or
   7 //  modify it under the terms of the GNU Lesser General Public
   8 //  License as published by the Free Software Foundation; either
   9 //  version 2.1 of the License.
  10 //
  11 //  This library is distributed in the hope that it will be useful,
  12 //  but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 //  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 //  Lesser General Public License for more details.
  15 //
  16 //  You should have received a copy of the GNU Lesser General Public
  17 //  License along with this library; if not, write to the Free Software
  18 //  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  19 //
  20 //  See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  21 //
  22 //  SMESH SMESH : implementaion of SMESH idl descriptions
  23 //  File   : SMESH_Gen.cxx
  24 //  Author : Paul RASCLE, EDF
  25 //  Module : SMESH
  26
  27 #include "SMESH_Gen.hxx"
  28 #include "SMESH_subMesh.hxx"
  29 #include "SMESH_HypoFilter.hxx"
  30 #include "SMESHDS_Document.hxx"
  31 #include "SMDS_MeshElement.hxx"
  32 #include "SMDS_MeshNode.hxx"
  33 #include "SMDS_Mesh.hxx"
  34
  35 #include "utilities.h"
  36 #include "OpUtil.hxx"
  37 #include "Utils_ExceptHandlers.hxx"
  38
  39 #include <gp_Pnt.hxx>
  40 #include <BRep_Tool.hxx>
  41 #include <TopTools_ListOfShape.hxx>
  42 #include <TopTools_ListIteratorOfListOfShape.hxx>
  43
  44 #include "memoire.h"
  45
  46 using namespace std;
  47
  48 //=============================================================================
  49 /*!
  50  *  default constructor:
  51  */
  52 //=============================================================================
  53
  54 SMESH_Gen::SMESH_Gen()
  55 {
  56         MESSAGE("SMESH_Gen::SMESH_Gen");
  57         _localId = 0;
  58         _hypId = 0;
  59         _segmentation = 10;
  60         SMDS_Mesh::_meshList.clear();
  61         MESSAGE(SMDS_Mesh::_meshList.size());
  62 }
  63
  64 //=============================================================================
  65 /*!
  66  *
  67  */
  68 //=============================================================================
  69
  70 SMESH_Gen::~SMESH_Gen()
  71 {
  72         MESSAGE("SMESH_Gen::~SMESH_Gen");
  73 }
  74
  75 //=============================================================================
  76 /*!
  77  *
  78  */
  79 //=============================================================================
  80
  81 /*SMESH_Hypothesis *SMESH_Gen::CreateHypothesis(const char *anHyp, int studyId)
  82         throw(SALOME_Exception)
  83 {
  84
  85         MESSAGE("CreateHypothesis("<<anHyp<<","<<studyId<<")");
  86         // Get studyContext, create it if it does'nt exist, with a SMESHDS_Document
  87
  88         StudyContextStruct *myStudyContext = GetStudyContext(studyId);
  89
  90         // create a new hypothesis object, store its ref. in studyContext
  91
  92         SMESH_Hypothesis *myHypothesis = _hypothesisFactory.Create(anHyp, studyId);
  93         int hypId = myHypothesis->GetID();
  94         myStudyContext->mapHypothesis[hypId] = myHypothesis;
  95         SCRUTE(studyId);
  96         SCRUTE(hypId);
  97
  98         // store hypothesis in SMESHDS document
  99
 100         myStudyContext->myDocument->AddHypothesis(myHypothesis);
 101         return myHypothesis;
 102 }*/
 103
 104 //=============================================================================
 105 /*!
 106  *
 107  */
 108 //=============================================================================
 109
 110 SMESH_Mesh* SMESH_Gen::CreateMesh(int theStudyId, bool theIsEmbeddedMode)
 111   throw(SALOME_Exception)
 112 {
 113   Unexpect aCatch(SalomeException);
 114   MESSAGE("SMESH_Gen::CreateMesh");
 115
 116   // Get studyContext, create it if it does'nt exist, with a SMESHDS_Document
 117   StudyContextStruct *aStudyContext = GetStudyContext(theStudyId);
 118
 119   // create a new SMESH_mesh object
 120   SMESH_Mesh *aMesh = new SMESH_Mesh(_localId++,
 121                                      theStudyId,
 122                                      this,
 123                                      theIsEmbeddedMode,
 124                                      aStudyContext->myDocument);
 125   aStudyContext->mapMesh[_localId] = aMesh;
 126
 127   return aMesh;
 128 }
 129
 130 //=============================================================================
 131 /*!
 132  * Compute a mesh
 133  */
 134 //=============================================================================
 135
 136 bool SMESH_Gen::Compute(SMESH_Mesh &          aMesh,
 137                         const TopoDS_Shape &  aShape,
 138                         const bool            anUpward,
 139                         const ::MeshDimension aDim,
 140                         TSetOfInt*            aShapesId)
 141 {
 142   MESSAGE("SMESH_Gen::Compute");
 143   MEMOSTAT;
 144
 145   bool ret = true;
 146
 147   SMESH_subMesh *sm = aMesh.GetSubMesh(aShape);
 148
 149   const bool includeSelf = true;
 150   const bool complexShapeFirst = true;
 151
 152   SMESH_subMeshIteratorPtr smIt;
 153
 154   if ( anUpward ) // is called from below code here
 155   {
 156     // -----------------------------------------------
 157     // mesh all the subshapes starting from vertices
 158     // -----------------------------------------------
 159     smIt = sm->getDependsOnIterator(includeSelf, !complexShapeFirst);
 160     while ( smIt->more() )
 161     {
 162       SMESH_subMesh* smToCompute = smIt->next();
 163
 164       // do not mesh vertices of a pseudo shape
 165       const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
 166       if ( !aMesh.HasShapeToMesh() && aShType == TopAbs_VERTEX )
 167         continue;
 168
 169       // check for preview dimension limitations
 170       if ( aShapesId && GetShapeDim( aShType ) > (int)aDim )
 171       {
 172         // clear compute state to not show previous compute errors
 173         //  if preview invoked less dimension less than previous
 174         smToCompute->ComputeStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
 175         continue;
 176       }
 177
 178       if (smToCompute->GetComputeState() == SMESH_subMesh::READY_TO_COMPUTE)
 179         smToCompute->ComputeStateEngine( SMESH_subMesh::COMPUTE );
 180
 181       // we check all the submeshes here and detect if any of them failed to compute
 182       if (smToCompute->GetComputeState() == SMESH_subMesh::FAILED_TO_COMPUTE)
 183         ret = false;
 184       else if ( aShapesId )
 185         aShapesId->insert( smToCompute->GetId() );
 186     }
 187     return ret;
 188   }
 189   else
 190   {
 191     // -----------------------------------------------------------------
 192     // apply algos that DO NOT require descretized boundaries and DO NOT
 193     // support submeshes, starting from the most complex shapes
 194     // and collect submeshes with algos that DO support submeshes
 195     // -----------------------------------------------------------------
 196     list< SMESH_subMesh* > smWithAlgoSupportingSubmeshes;
 197     smIt = sm->getDependsOnIterator(includeSelf, complexShapeFirst);
 198     while ( smIt->more() )
 199     {
 200       SMESH_subMesh* smToCompute = smIt->next();
 201       if ( smToCompute->GetComputeState() != SMESH_subMesh::READY_TO_COMPUTE )
 202         continue;
 203
 204       const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
 205       const int aShapeDim = GetShapeDim( aSubShape );
 206       if ( aShapeDim < 1 ) break;
 207
 208       // check for preview dimension limitations
 209       if ( aShapesId && aShapeDim > (int)aDim )
 210         continue;
 211
 212       SMESH_Algo* algo = GetAlgo( aMesh, aSubShape );
 213       if ( algo && !algo->NeedDescretBoundary() )
 214       {
 215         if ( algo->SupportSubmeshes() )
 216           smWithAlgoSupportingSubmeshes.push_back( smToCompute );
 217         else
 218         {
 219           smToCompute->ComputeStateEngine( SMESH_subMesh::COMPUTE );
 220           if ( aShapesId )
 221             aShapesId->insert( smToCompute->GetId() );
 222         }
 223       }
 224     }
 225     // ------------------------------------------------------------
 226     // compute submeshes under shapes with algos that DO NOT require
 227     // descretized boundaries and DO support submeshes
 228     // ------------------------------------------------------------
 229     list< SMESH_subMesh* >::reverse_iterator subIt, subEnd;
 230     subIt  = smWithAlgoSupportingSubmeshes.rbegin();
 231     subEnd = smWithAlgoSupportingSubmeshes.rend();
 232     // start from lower shapes
 233     for ( ; subIt != subEnd; ++subIt )
 234     {
 235       sm = *subIt;
 236
 237       // get a shape the algo is assigned to
 238       TopoDS_Shape algoShape;
 239       if ( !GetAlgo( aMesh, sm->GetSubShape(), & algoShape ))
 240         continue; // strange...
 241
 242       // look for more local algos
 243       smIt = sm->getDependsOnIterator(!includeSelf, !complexShapeFirst);
 244       while ( smIt->more() )
 245       {
 246         SMESH_subMesh* smToCompute = smIt->next();
 247
 248         const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
 249         const int aShapeDim = GetShapeDim( aSubShape );
 250         //if ( aSubShape.ShapeType() == TopAbs_VERTEX ) continue;
 251         if ( aShapeDim < 1 ) continue;
 252
 253         // check for preview dimension limitations
 254         if ( aShapesId && GetShapeDim( aSubShape.ShapeType() ) > (int)aDim )
 255           continue;
 256
 257         SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
 258         filter
 259           .And( SMESH_HypoFilter::IsApplicableTo( aSubShape ))
 260           .And( SMESH_HypoFilter::IsMoreLocalThan( algoShape ));
 261
 262         if ( SMESH_Algo* subAlgo = (SMESH_Algo*) aMesh.GetHypothesis( aSubShape, filter, true )) {
 263           SMESH_Hypothesis::Hypothesis_Status status;
 264           if ( subAlgo->CheckHypothesis( aMesh, aSubShape, status ))
 265             // mesh a lower smToCompute starting from vertices
 266             Compute( aMesh, aSubShape, /*anUpward=*/true, aDim, aShapesId );
 267         }
 268       }
 269     }
 270     // ----------------------------------------------------------
 271     // apply the algos that do not require descretized boundaries
 272     // ----------------------------------------------------------
 273     for ( subIt = smWithAlgoSupportingSubmeshes.rbegin(); subIt != subEnd; ++subIt )
 274     {
 275       sm = *subIt;
 276       if ( sm->GetComputeState() == SMESH_subMesh::READY_TO_COMPUTE)
 277       {
 278         const TopAbs_ShapeEnum aShType = sm->GetSubShape().ShapeType();
 279         // check for preview dimension limitations
 280         if ( aShapesId && GetShapeDim( aShType ) > (int)aDim )
 281           continue;
 282
 283         sm->ComputeStateEngine( SMESH_subMesh::COMPUTE );
 284         if ( aShapesId )
 285           aShapesId->insert( sm->GetId() );
 286       }
 287     }
 288     // -----------------------------------------------
 289     // mesh the rest subshapes starting from vertices
 290     // -----------------------------------------------
 291     ret = Compute( aMesh, aShape, /*anUpward=*/true, aDim, aShapesId );
 292   }
 293
 294   MESSAGE( "VSR - SMESH_Gen::Compute() finished, OK = " << ret);
 295   MEMOSTAT;
 296
 297   SMESHDS_Mesh *myMesh = aMesh.GetMeshDS();
 298   myMesh->adjustStructure();
 299   list<int> listind = myMesh->SubMeshIndices();
 300   list<int>::iterator it = listind.begin();
 301   int total = 0;
 302   for(; it != listind.end(); ++it)
 303     {
 304       ::SMESHDS_SubMesh *subMesh = myMesh->MeshElements(*it);
 305       total +=  subMesh->getSize();
 306     }
 307   cerr << "total elements and nodes in submesh sets:" << total << endl;
 308   cerr << "Number of node objects " << SMDS_MeshNode::nbNodes << endl;
 309   cerr << "Number of cell objects " << SMDS_MeshCell::nbCells << endl;
 310   return ret;
 311 }
 312
 313
 314 //=============================================================================
 315 /*!
 316  * Evaluate a mesh
 317  */
 318 //=============================================================================
 319
 320 bool SMESH_Gen::Evaluate(SMESH_Mesh &          aMesh,
 321                          const TopoDS_Shape &  aShape,
 322                          MapShapeNbElems&      aResMap,
 323                          const bool            anUpward,
 324                          TSetOfInt*            aShapesId)
 325 {
 326   MESSAGE("SMESH_Gen::Evaluate");
 327
 328   bool ret = true;
 329
 330   SMESH_subMesh *sm = aMesh.GetSubMesh(aShape);
 331
 332   const bool includeSelf = true;
 333   const bool complexShapeFirst = true;
 334   SMESH_subMeshIteratorPtr smIt;
 335
 336   if ( anUpward ) { // is called from below code here
 337     // -----------------------------------------------
 338     // mesh all the subshapes starting from vertices
 339     // -----------------------------------------------
 340     smIt = sm->getDependsOnIterator(includeSelf, !complexShapeFirst);
 341     while ( smIt->more() ) {
 342       SMESH_subMesh* smToCompute = smIt->next();
 343
 344       // do not mesh vertices of a pseudo shape
 345       const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
 346       //if ( !aMesh.HasShapeToMesh() && aShType == TopAbs_VERTEX )
 347       //  continue;
 348       if ( !aMesh.HasShapeToMesh() ) {
 349         if( aShType == TopAbs_VERTEX || aShType == TopAbs_WIRE ||
 350             aShType == TopAbs_SHELL )
 351           continue;
 352       }
 353
 354       smToCompute->Evaluate(aResMap);
 355       if( aShapesId )
 356         aShapesId->insert( smToCompute->GetId() );
 357     }
 358     return ret;
 359   }
 360   else {
 361     // -----------------------------------------------------------------
 362     // apply algos that DO NOT require descretized boundaries and DO NOT
 363     // support submeshes, starting from the most complex shapes
 364     // and collect submeshes with algos that DO support submeshes
 365     // -----------------------------------------------------------------
 366     list< SMESH_subMesh* > smWithAlgoSupportingSubmeshes;
 367     smIt = sm->getDependsOnIterator(includeSelf, complexShapeFirst);
 368     while ( smIt->more() ) {
 369       SMESH_subMesh* smToCompute = smIt->next();
 370       const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
 371       const int aShapeDim = GetShapeDim( aSubShape );
 372       if ( aShapeDim < 1 ) break;
 373
 374       SMESH_Algo* algo = GetAlgo( aMesh, aSubShape );
 375       if ( algo && !algo->NeedDescretBoundary() ) {
 376         if ( algo->SupportSubmeshes() ) {
 377           smWithAlgoSupportingSubmeshes.push_back( smToCompute );
 378         }
 379         else {
 380           smToCompute->Evaluate(aResMap);
 381           if ( aShapesId )
 382             aShapesId->insert( smToCompute->GetId() );
 383         }
 384       }
 385     }
 386     // ------------------------------------------------------------
 387     // compute submeshes under shapes with algos that DO NOT require
 388     // descretized boundaries and DO support submeshes
 389     // ------------------------------------------------------------
 390     list< SMESH_subMesh* >::reverse_iterator subIt, subEnd;
 391     subIt  = smWithAlgoSupportingSubmeshes.rbegin();
 392     subEnd = smWithAlgoSupportingSubmeshes.rend();
 393     // start from lower shapes
 394     for ( ; subIt != subEnd; ++subIt ) {
 395       sm = *subIt;
 396
 397       // get a shape the algo is assigned to
 398       TopoDS_Shape algoShape;
 399       if ( !GetAlgo( aMesh, sm->GetSubShape(), & algoShape ))
 400         continue; // strange...
 401
 402       // look for more local algos
 403       smIt = sm->getDependsOnIterator(!includeSelf, !complexShapeFirst);
 404       while ( smIt->more() ) {
 405         SMESH_subMesh* smToCompute = smIt->next();
 406
 407         const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
 408         const int aShapeDim = GetShapeDim( aSubShape );
 409         if ( aShapeDim < 1 ) continue;
 410
 411         //const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
 412
 413         SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
 414         filter
 415           .And( SMESH_HypoFilter::IsApplicableTo( aSubShape ))
 416           .And( SMESH_HypoFilter::IsMoreLocalThan( algoShape ));
 417
 418         if ( SMESH_Algo* subAlgo = (SMESH_Algo*) aMesh.GetHypothesis( aSubShape, filter, true )) {
 419           SMESH_Hypothesis::Hypothesis_Status status;
 420           if ( subAlgo->CheckHypothesis( aMesh, aSubShape, status ))
 421             // mesh a lower smToCompute starting from vertices
 422             Evaluate( aMesh, aSubShape, aResMap, /*anUpward=*/true, aShapesId );
 423         }
 424       }
 425     }
 426     // ----------------------------------------------------------
 427     // apply the algos that do not require descretized boundaries
 428     // ----------------------------------------------------------
 429     for ( subIt = smWithAlgoSupportingSubmeshes.rbegin(); subIt != subEnd; ++subIt )
 430     {
 431       sm = *subIt;
 432       sm->Evaluate(aResMap);
 433       if ( aShapesId )
 434         aShapesId->insert( sm->GetId() );
 435     }
 436
 437     // -----------------------------------------------
 438     // mesh the rest subshapes starting from vertices
 439     // -----------------------------------------------
 440     ret = Evaluate( aMesh, aShape, aResMap, /*anUpward=*/true, aShapesId );
 441   }
 442
 443   MESSAGE( "VSR - SMESH_Gen::Evaluate() finished, OK = " << ret);
 444   return ret;
 445 }
 446
 447
 448 //=======================================================================
 449 //function : checkConformIgnoredAlgos
 450 //purpose  :
 451 //=======================================================================
 452
 453 static bool checkConformIgnoredAlgos(SMESH_Mesh&               aMesh,
 454                                      SMESH_subMesh*            aSubMesh,
 455                                      const SMESH_Algo*         aGlobIgnoAlgo,
 456                                      const SMESH_Algo*         aLocIgnoAlgo,
 457                                      bool &                    checkConform,
 458                                      set<SMESH_subMesh*>&      aCheckedMap,
 459                                      list< SMESH_Gen::TAlgoStateError > & theErrors)
 460 {
 461   ASSERT( aSubMesh );
 462   if ( aSubMesh->GetSubShape().ShapeType() == TopAbs_VERTEX)
 463     return true;
 464
 465
 466   bool ret = true;
 467
 468   const list<const SMESHDS_Hypothesis*>& listHyp =
 469     aMesh.GetMeshDS()->GetHypothesis( aSubMesh->GetSubShape() );
 470   list<const SMESHDS_Hypothesis*>::const_iterator it=listHyp.begin();
 471   for ( ; it != listHyp.end(); it++)
 472   {
 473     const SMESHDS_Hypothesis * aHyp = *it;
 474     if (aHyp->GetType() == SMESHDS_Hypothesis::PARAM_ALGO)
 475       continue;
 476
 477     const SMESH_Algo* algo = dynamic_cast<const SMESH_Algo*> (aHyp);
 478     ASSERT ( algo );
 479
 480     if ( aLocIgnoAlgo ) // algo is hidden by a local algo of upper dim
 481     {
 482       INFOS( "Local <" << algo->GetName() << "> is hidden by local <"
 483             << aLocIgnoAlgo->GetName() << ">");
 484     }
 485     else
 486     {
 487       bool isGlobal = (aMesh.IsMainShape( aSubMesh->GetSubShape() ));
 488       int dim = algo->GetDim();
 489       int aMaxGlobIgnoDim = ( aGlobIgnoAlgo ? aGlobIgnoAlgo->GetDim() : -1 );
 490
 491       if ( dim < aMaxGlobIgnoDim )
 492       {
 493         // algo is hidden by a global algo
 494         INFOS( ( isGlobal ? "Global" : "Local" )
 495               << " <" << algo->GetName() << "> is hidden by global <"
 496               << aGlobIgnoAlgo->GetName() << ">");
 497       }
 498       else if ( !algo->NeedDescretBoundary() && !isGlobal)
 499       {
 500         // local algo is not hidden and hides algos on sub-shapes
 501         if (checkConform && !aSubMesh->IsConform( algo ))
 502         {
 503           ret = false;
 504           checkConform = false; // no more check conformity
 505           INFOS( "ERROR: Local <" << algo->GetName() <<
 506                 "> would produce not conform mesh: "
 507                 "<Not Conform Mesh Allowed> hypotesis is missing");
 508           theErrors.push_back( SMESH_Gen::TAlgoStateError() );
 509           theErrors.back().Set( SMESH_Hypothesis::HYP_NOTCONFORM, algo, false );
 510         }
 511
 512         // sub-algos will be hidden by a local <algo>
 513         SMESH_subMeshIteratorPtr revItSub =
 514           aSubMesh->getDependsOnIterator( /*includeSelf=*/false, /*complexShapeFirst=*/true);
 515         bool checkConform2 = false;
 516         while ( revItSub->more() )
 517         {
 518           SMESH_subMesh* sm = revItSub->next();
 519           checkConformIgnoredAlgos (aMesh, sm, aGlobIgnoAlgo,
 520                                     algo, checkConform2, aCheckedMap, theErrors);
 521           aCheckedMap.insert( sm );
 522         }
 523       }
 524     }
 525   }
 526
 527   return ret;
 528 }
 529
 530 //=======================================================================
 531 //function : checkMissing
 532 //purpose  : notify on missing hypothesis
 533 //           Return false if algo or hipothesis is missing
 534 //=======================================================================
 535
 536 static bool checkMissing(SMESH_Gen*                aGen,
 537                          SMESH_Mesh&               aMesh,
 538                          SMESH_subMesh*            aSubMesh,
 539                          const int                 aTopAlgoDim,
 540                          bool*                     globalChecked,
 541                          const bool                checkNoAlgo,
 542                          set<SMESH_subMesh*>&      aCheckedMap,
 543                          list< SMESH_Gen::TAlgoStateError > & theErrors)
 544 {
 545   if ( aSubMesh->GetSubShape().ShapeType() == TopAbs_VERTEX)
 546     return true;
 547
 548   //MESSAGE("=====checkMissing");
 549
 550   int ret = true;
 551   SMESH_Algo* algo = 0;
 552
 553   switch (aSubMesh->GetAlgoState())
 554   {
 555   case SMESH_subMesh::NO_ALGO: {
 556     if (checkNoAlgo)
 557     {
 558       // should there be any algo?
 559       int shapeDim = SMESH_Gen::GetShapeDim( aSubMesh->GetSubShape() );
 560       if (aTopAlgoDim > shapeDim)
 561       {
 562         MESSAGE( "ERROR: " << shapeDim << "D algorithm is missing" );
 563         ret = false;
 564         theErrors.push_back( SMESH_Gen::TAlgoStateError() );
 565         theErrors.back().Set( SMESH_Hypothesis::HYP_MISSING, shapeDim, true );
 566       }
 567     }
 568     return ret;
 569   }
 570   case SMESH_subMesh::MISSING_HYP: {
 571     // notify if an algo missing hyp is attached to aSubMesh
 572     algo = aGen->GetAlgo( aMesh, aSubMesh->GetSubShape() );
 573     ASSERT( algo );
 574     bool IsGlobalHypothesis = aGen->IsGlobalHypothesis( algo, aMesh );
 575     if (!IsGlobalHypothesis || !globalChecked[ algo->GetDim() ])
 576     {
 577       TAlgoStateErrorName errName = SMESH_Hypothesis::HYP_MISSING;
 578       SMESH_Hypothesis::Hypothesis_Status status;
 579       algo->CheckHypothesis( aMesh, aSubMesh->GetSubShape(), status );
 580       if ( status == SMESH_Hypothesis::HYP_BAD_PARAMETER ) {
 581         MESSAGE( "ERROR: hypothesis of " << (IsGlobalHypothesis ? "Global " : "Local ")
 582                  << "<" << algo->GetName() << "> has a bad parameter value");
 583         errName = status;
 584       } else if ( status == SMESH_Hypothesis::HYP_BAD_GEOMETRY ) {
 585         MESSAGE( "ERROR: " << (IsGlobalHypothesis ? "Global " : "Local ")
 586                  << "<" << algo->GetName() << "> assigned to mismatching geometry");
 587         errName = status;
 588       } else {
 589         MESSAGE( "ERROR: " << (IsGlobalHypothesis ? "Global " : "Local ")
 590                  << "<" << algo->GetName() << "> misses some hypothesis");
 591       }
 592       if (IsGlobalHypothesis)
 593         globalChecked[ algo->GetDim() ] = true;
 594       theErrors.push_back( SMESH_Gen::TAlgoStateError() );
 595       theErrors.back().Set( errName, algo, IsGlobalHypothesis );
 596     }
 597     ret = false;
 598     break;
 599   }
 600   case SMESH_subMesh::HYP_OK:
 601     algo = aGen->GetAlgo( aMesh, aSubMesh->GetSubShape() );
 602     ret = true;
 603     break;
 604   default: ASSERT(0);
 605   }
 606
 607   // do not check under algo that hides sub-algos or
 608   // re-start checking NO_ALGO state
 609   ASSERT (algo);
 610   bool isTopLocalAlgo =
 611     ( aTopAlgoDim <= algo->GetDim() && !aGen->IsGlobalHypothesis( algo, aMesh ));
 612   if (!algo->NeedDescretBoundary() || isTopLocalAlgo)
 613   {
 614     bool checkNoAlgo2 = ( algo->NeedDescretBoundary() );
 615     SMESH_subMeshIteratorPtr itsub = aSubMesh->getDependsOnIterator( /*includeSelf=*/false,
 616                                                                      /*complexShapeFirst=*/false);
 617     while ( itsub->more() )
 618     {
 619       // sub-meshes should not be checked further more
 620       SMESH_subMesh* sm = itsub->next();
 621       aCheckedMap.insert( sm );
 622
 623       if (isTopLocalAlgo)
 624       {
 625         //check algo on sub-meshes
 626         int aTopAlgoDim2 = algo->GetDim();
 627         if (!checkMissing (aGen, aMesh, sm, aTopAlgoDim2,
 628                            globalChecked, checkNoAlgo2, aCheckedMap, theErrors))
 629         {
 630           ret = false;
 631           if (sm->GetAlgoState() == SMESH_subMesh::NO_ALGO )
 632             checkNoAlgo2 = false;
 633         }
 634       }
 635     }
 636   }
 637   return ret;
 638 }
 639
 640 //=======================================================================
 641 //function : CheckAlgoState
 642 //purpose  : notify on bad state of attached algos, return false
 643 //           if Compute() would fail because of some algo bad state
 644 //=======================================================================
 645
 646 bool SMESH_Gen::CheckAlgoState(SMESH_Mesh& aMesh, const TopoDS_Shape& aShape)
 647 {
 648   list< TAlgoStateError > errors;
 649   return GetAlgoState( aMesh, aShape, errors );
 650 }
 651
 652 //=======================================================================
 653 //function : GetAlgoState
 654 //purpose  : notify on bad state of attached algos, return false
 655 //           if Compute() would fail because of some algo bad state
 656 //           theErrors list contains problems description
 657 //=======================================================================
 658
 659 bool SMESH_Gen::GetAlgoState(SMESH_Mesh&               theMesh,
 660                              const TopoDS_Shape&       theShape,
 661                              list< TAlgoStateError > & theErrors)
 662 {
 663   //MESSAGE("SMESH_Gen::CheckAlgoState");
 664
 665   bool ret = true;
 666   bool hasAlgo = false;
 667
 668   SMESH_subMesh* sm = theMesh.GetSubMesh(theShape);
 669   const SMESHDS_Mesh* meshDS = theMesh.GetMeshDS();
 670   TopoDS_Shape mainShape = meshDS->ShapeToMesh();
 671
 672   // -----------------
 673   // get global algos
 674   // -----------------
 675
 676   const SMESH_Algo* aGlobAlgoArr[] = {0,0,0,0};
 677
 678   const list<const SMESHDS_Hypothesis*>& listHyp = meshDS->GetHypothesis( mainShape );
 679   list<const SMESHDS_Hypothesis*>::const_iterator it=listHyp.begin();
 680   for ( ; it != listHyp.end(); it++)
 681   {
 682     const SMESHDS_Hypothesis * aHyp = *it;
 683     if (aHyp->GetType() == SMESHDS_Hypothesis::PARAM_ALGO)
 684       continue;
 685
 686     const SMESH_Algo* algo = dynamic_cast<const SMESH_Algo*> (aHyp);
 687     ASSERT ( algo );
 688
 689     int dim = algo->GetDim();
 690     aGlobAlgoArr[ dim ] = algo;
 691
 692     hasAlgo = true;
 693   }
 694
 695   // --------------------------------------------------------
 696   // info on algos that will be ignored because of ones that
 697   // don't NeedDescretBoundary() attached to super-shapes,
 698   // check that a conform mesh will be produced
 699   // --------------------------------------------------------
 700
 701
 702   // find a global algo possibly hiding sub-algos
 703   int dim;
 704   const SMESH_Algo* aGlobIgnoAlgo = 0;
 705   for (dim = 3; dim > 0; dim--)
 706   {
 707     if (aGlobAlgoArr[ dim ] &&
 708         !aGlobAlgoArr[ dim ]->NeedDescretBoundary())
 709     {
 710       aGlobIgnoAlgo = aGlobAlgoArr[ dim ];
 711       break;
 712     }
 713   }
 714
 715   set<SMESH_subMesh*> aCheckedSubs;
 716   bool checkConform = ( !theMesh.IsNotConformAllowed() );
 717
 718   // loop on theShape and its sub-shapes
 719   SMESH_subMeshIteratorPtr revItSub = sm->getDependsOnIterator( /*includeSelf=*/true,
 720                                                                 /*complexShapeFirst=*/true);
 721   while ( revItSub->more() )
 722   {
 723     SMESH_subMesh* smToCheck = revItSub->next();
 724     if ( smToCheck->GetSubShape().ShapeType() == TopAbs_VERTEX)
 725       break;
 726
 727     if ( aCheckedSubs.insert( smToCheck ).second ) // not yet checked
 728       if (!checkConformIgnoredAlgos (theMesh, smToCheck, aGlobIgnoAlgo,
 729                                      0, checkConform, aCheckedSubs, theErrors))
 730         ret = false;
 731
 732     if ( smToCheck->GetAlgoState() != SMESH_subMesh::NO_ALGO )
 733       hasAlgo = true;
 734   }
 735
 736   // ----------------------------------------------------------------
 737   // info on missing hypothesis and find out if all needed algos are
 738   // well defined
 739   // ----------------------------------------------------------------
 740
 741   //MESSAGE( "---info on missing hypothesis and find out if all needed algos are");
 742
 743   // find max dim of global algo
 744   int aTopAlgoDim = 0;
 745   for (dim = 3; dim > 0; dim--)
 746   {
 747     if (aGlobAlgoArr[ dim ])
 748     {
 749       aTopAlgoDim = dim;
 750       break;
 751     }
 752   }
 753   bool checkNoAlgo = theMesh.HasShapeToMesh() ? bool( aTopAlgoDim ) : false;
 754   bool globalChecked[] = { false, false, false, false };
 755
 756   // loop on theShape and its sub-shapes
 757   aCheckedSubs.clear();
 758   revItSub = sm->getDependsOnIterator( /*includeSelf=*/true, /*complexShapeFirst=*/true);
 759   while ( revItSub->more() )
 760   {
 761     SMESH_subMesh* smToCheck = revItSub->next();
 762     if ( smToCheck->GetSubShape().ShapeType() == TopAbs_VERTEX)
 763       break;
 764
 765     if ( aCheckedSubs.insert( smToCheck ).second ) // not yet checked
 766       if (!checkMissing (this, theMesh, smToCheck, aTopAlgoDim,
 767                          globalChecked, checkNoAlgo, aCheckedSubs, theErrors))
 768       {
 769         ret = false;
 770         if (smToCheck->GetAlgoState() == SMESH_subMesh::NO_ALGO )
 771           checkNoAlgo = false;
 772       }
 773   }
 774
 775   if ( !hasAlgo ) {
 776     ret = false;
 777     INFOS( "None algorithm attached" );
 778     theErrors.push_back( TAlgoStateError() );
 779     theErrors.back().Set( SMESH_Hypothesis::HYP_MISSING, 1, true );
 780   }
 781
 782   return ret;
 783 }
 784
 785 //=======================================================================
 786 //function : IsGlobalHypothesis
 787 //purpose  : check if theAlgo is attached to the main shape
 788 //=======================================================================
 789
 790 bool SMESH_Gen::IsGlobalHypothesis(const SMESH_Hypothesis* theHyp, SMESH_Mesh& aMesh)
 791 {
 792   SMESH_HypoFilter filter( SMESH_HypoFilter::Is( theHyp ));
 793   return aMesh.GetHypothesis( aMesh.GetMeshDS()->ShapeToMesh(), filter, false );
 794 }
 795
 796 //=============================================================================
 797 /*!
 798  *
 799  */
 800 //=============================================================================
 801
 802 SMESH_Algo *SMESH_Gen::GetAlgo(SMESH_Mesh &         aMesh,
 803                                const TopoDS_Shape & aShape,
 804                                TopoDS_Shape*        assignedTo)
 805 {
 806
 807   SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
 808   filter.And( filter.IsApplicableTo( aShape ));
 809
 810   return (SMESH_Algo*) aMesh.GetHypothesis( aShape, filter, true, assignedTo );
 811 }
 812
 813 //=============================================================================
 814 /*!
 815  *
 816  */
 817 //=============================================================================
 818
 819 StudyContextStruct *SMESH_Gen::GetStudyContext(int studyId)
 820 {
 821         // Get studyContext, create it if it does'nt exist, with a SMESHDS_Document
 822
 823         if (_mapStudyContext.find(studyId) == _mapStudyContext.end())
 824         {
 825                 _mapStudyContext[studyId] = new StudyContextStruct;
 826                 _mapStudyContext[studyId]->myDocument = new SMESHDS_Document(studyId);
 827         }
 828         StudyContextStruct *myStudyContext = _mapStudyContext[studyId];
 829 //   ASSERT(_mapStudyContext.find(studyId) != _mapStudyContext.end());
 830         return myStudyContext;
 831 }
 832
 833 // //=============================================================================
 834 // /*!
 835 //  *
 836 //  */
 837 // //=============================================================================
 838
 839 // void SMESH_Gen::Save(int studyId, const char *aUrlOfFile)
 840 // {
 841 // }
 842
 843 // //=============================================================================
 844 // /*!
 845 //  *
 846 //  */
 847 // //=============================================================================
 848
 849 // void SMESH_Gen::Load(int studyId, const char *aUrlOfFile)
 850 // {
 851 // }
 852
 853 // //=============================================================================
 854 // /*!
 855 //  *
 856 //  */
 857 // //=============================================================================
 858
 859 // void SMESH_Gen::Close(int studyId)
 860 // {
 861 // }
 862
 863 //=============================================================================
 864 /*!
 865  *
 866  */
 867 //=============================================================================
 868
 869 int SMESH_Gen::GetShapeDim(const TopAbs_ShapeEnum & aShapeType)
 870 {
 871   static vector<int> dim;
 872   if ( dim.empty() )
 873   {
 874     dim.resize( TopAbs_SHAPE, -1 );
 875     dim[ TopAbs_COMPOUND ]  = MeshDim_3D;
 876     dim[ TopAbs_COMPSOLID ] = MeshDim_3D;
 877     dim[ TopAbs_SOLID ]     = MeshDim_3D;
 878     dim[ TopAbs_SHELL ]     = MeshDim_3D;
 879     dim[ TopAbs_FACE  ]     = MeshDim_2D;
 880     dim[ TopAbs_WIRE ]      = MeshDim_1D;
 881     dim[ TopAbs_EDGE ]      = MeshDim_1D;
 882     dim[ TopAbs_VERTEX ]    = MeshDim_0D;
 883   }
 884   return dim[ aShapeType ];
 885 }
 886
 887 //=============================================================================
 888 /*!
 889  *
 890  */
 891 //=============================================================================
 892
 893 int SMESH_Gen::GetANewId()
 894 {
 895         //MESSAGE("SMESH_Gen::GetANewId");
 896         return _hypId++;
 897 }