Salome HOME
4a31ee0db774be07037e995d104d715d6f966e65
[modules/smesh.git] / src / SMESH / SMESH_Gen.cxx
1 // Copyright (C) 2007-2012  CEA/DEN, EDF R&D, OPEN CASCADE
2 //
3 // Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
5 //
6 // This library is free software; you can redistribute it and/or
7 // modify it under the terms of the GNU Lesser General Public
8 // License as published by the Free Software Foundation; either
9 // version 2.1 of the License.
10 //
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 // Lesser General Public License for more details.
15 //
16 // You should have received a copy of the GNU Lesser General Public
17 // License along with this library; if not, write to the Free Software
18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
19 //
20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
21 //
22
23 //  SMESH SMESH : implementaion of SMESH idl descriptions
24 //  File   : SMESH_Gen.cxx
25 //  Author : Paul RASCLE, EDF
26 //  Module : SMESH
27 //
28
29 //#define CHRONODEF
30
31 #include "SMESH_Gen.hxx"
32
33 #include "SMDS_Mesh.hxx"
34 #include "SMDS_MeshElement.hxx"
35 #include "SMDS_MeshNode.hxx"
36 #include "SMESHDS_Document.hxx"
37 #include "SMESH_HypoFilter.hxx"
38 #include "SMESH_MesherHelper.hxx"
39 #include "SMESH_subMesh.hxx"
40
41 #include "utilities.h"
42 #include "OpUtil.hxx"
43 #include "Utils_ExceptHandlers.hxx"
44
45 #include <TopoDS_Iterator.hxx>
46 #include <LDOMParser.hxx>
47
48 #include "memoire.h"
49
50 #ifdef WNT
51   #include <windows.h>
52 #endif\r
53
54 using namespace std;
55
56 //=============================================================================
57 /*!
58  *  Constructor
59  */
60 //=============================================================================
61
62 SMESH_Gen::SMESH_Gen()
63 {
64         MESSAGE("SMESH_Gen::SMESH_Gen");
65         _localId = 0;
66         _hypId = 0;
67         _segmentation = _nbSegments = 10;
68         SMDS_Mesh::_meshList.clear();
69         MESSAGE(SMDS_Mesh::_meshList.size());
70         _counters = new counters(100);
71 #ifdef WITH_SMESH_CANCEL_COMPUTE
72         _compute_canceled = false;
73         _sm_current = NULL;
74 #endif
75 }
76
77 //=============================================================================
78 /*!
79  * Destructor
80  */
81 //=============================================================================
82
83 SMESH_Gen::~SMESH_Gen()
84 {
85   MESSAGE("SMESH_Gen::~SMESH_Gen");
86 }
87
88 //=============================================================================
89 /*!
90  * Creates a mesh in a study.
91  * if (theIsEmbeddedMode) { mesh modification commands are not logged }
92  */
93 //=============================================================================
94
95 SMESH_Mesh* SMESH_Gen::CreateMesh(int theStudyId, bool theIsEmbeddedMode)
96   throw(SALOME_Exception)
97 {
98   Unexpect aCatch(SalomeException);
99   MESSAGE("SMESH_Gen::CreateMesh");
100
101   // Get studyContext, create it if it does'nt exist, with a SMESHDS_Document
102   StudyContextStruct *aStudyContext = GetStudyContext(theStudyId);
103
104   // create a new SMESH_mesh object
105   SMESH_Mesh *aMesh = new SMESH_Mesh(_localId++,
106                                      theStudyId,
107                                      this,
108                                      theIsEmbeddedMode,
109                                      aStudyContext->myDocument);
110   aStudyContext->mapMesh[_localId-1] = aMesh;
111
112   return aMesh;
113 }
114
115 //=============================================================================
116 /*!
117  * Compute a mesh
118  */
119 //=============================================================================
120
121 bool SMESH_Gen::Compute(SMESH_Mesh &          aMesh,
122                         const TopoDS_Shape &  aShape,
123                         const bool            anUpward,
124                         const ::MeshDimension aDim,
125                         TSetOfInt*            aShapesId)
126 {
127   MESSAGE("SMESH_Gen::Compute");
128   MEMOSTAT;
129
130   bool ret = true;
131
132   SMESH_subMesh *sm = aMesh.GetSubMesh(aShape);
133
134   const bool includeSelf = true;
135   const bool complexShapeFirst = true;
136   const int  globalAlgoDim = 100;
137
138   SMESH_subMeshIteratorPtr smIt;
139
140   if ( anUpward ) // is called from below code here
141   {
142     // -----------------------------------------------
143     // mesh all the sub-shapes starting from vertices
144     // -----------------------------------------------
145     smIt = sm->getDependsOnIterator(includeSelf, !complexShapeFirst);
146     while ( smIt->more() )
147     {
148       SMESH_subMesh* smToCompute = smIt->next();
149
150       // do not mesh vertices of a pseudo shape
151       const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
152       if ( !aMesh.HasShapeToMesh() && aShType == TopAbs_VERTEX )
153         continue;
154
155       // check for preview dimension limitations
156       if ( aShapesId && GetShapeDim( aShType ) > (int)aDim )
157       {
158         // clear compute state to not show previous compute errors
159         //  if preview invoked less dimension less than previous
160         smToCompute->ComputeStateEngine( SMESH_subMesh::CHECK_COMPUTE_STATE );
161         continue;
162       }
163
164       if (smToCompute->GetComputeState() == SMESH_subMesh::READY_TO_COMPUTE)
165       {
166 #ifdef WITH_SMESH_CANCEL_COMPUTE
167         if (_compute_canceled)
168           return false;
169         _sm_current = smToCompute;
170 #endif
171         smToCompute->ComputeStateEngine( SMESH_subMesh::COMPUTE );
172 #ifdef WITH_SMESH_CANCEL_COMPUTE
173         _sm_current = NULL;
174 #endif
175       }
176
177       // we check all the submeshes here and detect if any of them failed to compute
178       if (smToCompute->GetComputeState() == SMESH_subMesh::FAILED_TO_COMPUTE)
179         ret = false;
180       else if ( aShapesId )
181         aShapesId->insert( smToCompute->GetId() );
182     }
183     //aMesh.GetMeshDS()->Modified();
184     return ret;
185   }
186   else
187   {
188     // -----------------------------------------------------------------
189     // apply algos that DO NOT require Discreteized boundaries and DO NOT
190     // support submeshes, starting from the most complex shapes
191     // and collect submeshes with algos that DO support submeshes
192     // -----------------------------------------------------------------
193     list< SMESH_subMesh* > smWithAlgoSupportingSubmeshes;
194
195     // map to sort sm with same dim algos according to dim of
196     // the shape the algo assigned to (issue 0021217)
197     multimap< int, SMESH_subMesh* > shDim2sm;
198     multimap< int, SMESH_subMesh* >::reverse_iterator shDim2smIt;
199     TopoDS_Shape algoShape;
200     int prevShapeDim = -1;
201
202     smIt = sm->getDependsOnIterator(includeSelf, complexShapeFirst);
203     while ( smIt->more() )
204     {
205       SMESH_subMesh* smToCompute = smIt->next();
206       if ( smToCompute->GetComputeState() != SMESH_subMesh::READY_TO_COMPUTE )
207         continue;
208
209       const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
210       int aShapeDim = GetShapeDim( aSubShape );
211       if ( aShapeDim < 1 ) break;
212       
213       // check for preview dimension limitations
214       if ( aShapesId && aShapeDim > (int)aDim )
215         continue;
216
217       SMESH_Algo* algo = GetAlgo( aMesh, aSubShape, &algoShape );
218       if ( algo && !algo->NeedDiscreteBoundary() )
219       {
220         if ( algo->SupportSubmeshes() )
221         {
222           // reload sub-meshes from shDim2sm into smWithAlgoSupportingSubmeshes
223           // so that more local algos to go first
224           if ( prevShapeDim != aShapeDim )
225           {
226             prevShapeDim = aShapeDim;
227             for ( shDim2smIt = shDim2sm.rbegin(); shDim2smIt != shDim2sm.rend(); ++shDim2smIt )
228               if ( shDim2smIt->first == globalAlgoDim )
229                 smWithAlgoSupportingSubmeshes.push_back( shDim2smIt->second );
230               else
231                 smWithAlgoSupportingSubmeshes.push_front( shDim2smIt->second );
232             shDim2sm.clear();
233           }
234           // add smToCompute to shDim2sm map
235           if ( algoShape.IsSame( aMesh.GetShapeToMesh() ))
236           {
237             aShapeDim = globalAlgoDim; // to compute last
238           }
239           else
240           {
241             aShapeDim = GetShapeDim( algoShape );
242             if ( algoShape.ShapeType() == TopAbs_COMPOUND )
243             {
244               TopoDS_Iterator it( algoShape );
245               aShapeDim += GetShapeDim( it.Value() );
246             }
247           }
248           shDim2sm.insert( make_pair( aShapeDim, smToCompute ));
249         }
250         else
251         {
252 #ifdef WITH_SMESH_CANCEL_COMPUTE
253           if (_compute_canceled)
254             return false;
255           _sm_current = smToCompute;
256 #endif
257           smToCompute->ComputeStateEngine( SMESH_subMesh::COMPUTE );
258 #ifdef WITH_SMESH_CANCEL_COMPUTE
259           _sm_current = NULL;
260 #endif
261           if ( aShapesId )
262             aShapesId->insert( smToCompute->GetId() );
263         }
264       }
265     }
266     // reload sub-meshes from shDim2sm into smWithAlgoSupportingSubmeshes
267     for ( shDim2smIt = shDim2sm.rbegin(); shDim2smIt != shDim2sm.rend(); ++shDim2smIt )
268       if ( shDim2smIt->first == globalAlgoDim )
269         smWithAlgoSupportingSubmeshes.push_back( shDim2smIt->second );
270       else
271         smWithAlgoSupportingSubmeshes.push_front( shDim2smIt->second );
272
273     // ------------------------------------------------------------
274     // sort list of submeshes according to mesh order
275     // ------------------------------------------------------------
276     aMesh.SortByMeshOrder( smWithAlgoSupportingSubmeshes );
277
278     // ------------------------------------------------------------
279     // compute submeshes under shapes with algos that DO NOT require
280     // Discreteized boundaries and DO support submeshes
281     // ------------------------------------------------------------
282     list< SMESH_subMesh* >::iterator subIt, subEnd;
283     subIt  = smWithAlgoSupportingSubmeshes.begin();
284     subEnd = smWithAlgoSupportingSubmeshes.end();
285     // start from lower shapes
286     for ( ; subIt != subEnd; ++subIt )
287     {
288       sm = *subIt;
289
290       // get a shape the algo is assigned to
291       if ( !GetAlgo( aMesh, sm->GetSubShape(), & algoShape ))
292         continue; // strange...
293
294       // look for more local algos
295       smIt = sm->getDependsOnIterator(!includeSelf, !complexShapeFirst);
296       while ( smIt->more() )
297       {
298         SMESH_subMesh* smToCompute = smIt->next();
299
300         const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
301         const int aShapeDim = GetShapeDim( aSubShape );
302         //if ( aSubShape.ShapeType() == TopAbs_VERTEX ) continue;
303         if ( aShapeDim < 1 ) continue;
304
305         // check for preview dimension limitations
306         if ( aShapesId && GetShapeDim( aSubShape.ShapeType() ) > (int)aDim )
307           continue;
308         
309         SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
310         filter
311           .And( SMESH_HypoFilter::IsApplicableTo( aSubShape ))
312           .And( SMESH_HypoFilter::IsMoreLocalThan( algoShape, aMesh ));
313
314         if ( SMESH_Algo* subAlgo = (SMESH_Algo*) aMesh.GetHypothesis( aSubShape, filter, true )) {
315           SMESH_Hypothesis::Hypothesis_Status status;
316           if ( subAlgo->CheckHypothesis( aMesh, aSubShape, status ))
317             // mesh a lower smToCompute starting from vertices
318             Compute( aMesh, aSubShape, /*anUpward=*/true, aDim, aShapesId );
319         }
320       }
321     }
322     // ----------------------------------------------------------
323     // apply the algos that do not require Discreteized boundaries
324     // ----------------------------------------------------------
325     for ( subIt = smWithAlgoSupportingSubmeshes.begin(); subIt != subEnd; ++subIt )
326     {
327       sm = *subIt;
328       if ( sm->GetComputeState() == SMESH_subMesh::READY_TO_COMPUTE)
329       {
330         const TopAbs_ShapeEnum aShType = sm->GetSubShape().ShapeType();
331         // check for preview dimension limitations
332         if ( aShapesId && GetShapeDim( aShType ) > (int)aDim )
333           continue;
334
335 #ifdef WITH_SMESH_CANCEL_COMPUTE
336         if (_compute_canceled)
337           return false;
338         _sm_current = sm;
339 #endif
340         sm->ComputeStateEngine( SMESH_subMesh::COMPUTE );
341 #ifdef WITH_SMESH_CANCEL_COMPUTE
342         _sm_current = NULL;
343 #endif
344         if ( aShapesId )
345           aShapesId->insert( sm->GetId() );
346       }
347     }
348     // -----------------------------------------------
349     // mesh the rest sub-shapes starting from vertices
350     // -----------------------------------------------
351     ret = Compute( aMesh, aShape, /*anUpward=*/true, aDim, aShapesId );
352   }
353
354   MESSAGE( "VSR - SMESH_Gen::Compute() finished, OK = " << ret);
355   MEMOSTAT;
356
357   SMESHDS_Mesh *myMesh = aMesh.GetMeshDS();
358   MESSAGE("*** compactMesh after compute");
359   myMesh->compactMesh();
360
361   // fix quadratic mesh by bending iternal links near concave boundary
362   if ( aShape.IsSame( aMesh.GetShapeToMesh() ) &&
363        !aShapesId ) // not preview
364   {
365     SMESH_MesherHelper aHelper( aMesh );
366     if ( aHelper.IsQuadraticMesh() != SMESH_MesherHelper::LINEAR )
367     {
368       aHelper.FixQuadraticElements( sm->GetComputeError() );
369     }
370   }
371   return ret;
372 }
373
374
375 #ifdef WITH_SMESH_CANCEL_COMPUTE
376 //=============================================================================
377 /*!
378  * Prepare Compute a mesh
379  */
380 //=============================================================================
381 void SMESH_Gen::PrepareCompute(SMESH_Mesh &          aMesh,
382                                const TopoDS_Shape &  aShape)
383 {
384   _compute_canceled = false;
385   _sm_current = NULL;
386 }
387 //=============================================================================
388 /*!
389  * Cancel Compute a mesh
390  */
391 //=============================================================================
392 void SMESH_Gen::CancelCompute(SMESH_Mesh &          aMesh,
393                               const TopoDS_Shape &  aShape)
394 {
395   _compute_canceled = true;
396   if(_sm_current)
397     {
398       _sm_current->ComputeStateEngine( SMESH_subMesh::COMPUTE_CANCELED );
399     }
400 }
401 #endif
402
403 //=============================================================================
404 /*!
405  * Evaluate a mesh
406  */
407 //=============================================================================
408
409 bool SMESH_Gen::Evaluate(SMESH_Mesh &          aMesh,
410                          const TopoDS_Shape &  aShape,
411                          MapShapeNbElems&      aResMap,
412                          const bool            anUpward,
413                          TSetOfInt*            aShapesId)
414 {
415   MESSAGE("SMESH_Gen::Evaluate");
416
417   bool ret = true;
418
419   SMESH_subMesh *sm = aMesh.GetSubMesh(aShape);
420
421   const bool includeSelf = true;
422   const bool complexShapeFirst = true;
423   SMESH_subMeshIteratorPtr smIt;
424
425   if ( anUpward ) { // is called from below code here
426     // -----------------------------------------------
427     // mesh all the sub-shapes starting from vertices
428     // -----------------------------------------------
429     smIt = sm->getDependsOnIterator(includeSelf, !complexShapeFirst);
430     while ( smIt->more() ) {
431       SMESH_subMesh* smToCompute = smIt->next();
432
433       // do not mesh vertices of a pseudo shape
434       const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
435       //if ( !aMesh.HasShapeToMesh() && aShType == TopAbs_VERTEX )
436       //  continue;
437       if ( !aMesh.HasShapeToMesh() ) {
438         if( aShType == TopAbs_VERTEX || aShType == TopAbs_WIRE ||
439             aShType == TopAbs_SHELL )
440           continue;
441       }
442
443       smToCompute->Evaluate(aResMap);
444       if( aShapesId )
445         aShapesId->insert( smToCompute->GetId() );
446     }
447     return ret;
448   }
449   else {
450     // -----------------------------------------------------------------
451     // apply algos that DO NOT require Discreteized boundaries and DO NOT
452     // support submeshes, starting from the most complex shapes
453     // and collect submeshes with algos that DO support submeshes
454     // -----------------------------------------------------------------
455     list< SMESH_subMesh* > smWithAlgoSupportingSubmeshes;
456     smIt = sm->getDependsOnIterator(includeSelf, complexShapeFirst);
457     while ( smIt->more() ) {
458       SMESH_subMesh* smToCompute = smIt->next();
459       const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
460       const int aShapeDim = GetShapeDim( aSubShape );
461       if ( aShapeDim < 1 ) break;
462       
463       SMESH_Algo* algo = GetAlgo( aMesh, aSubShape );
464       if ( algo && !algo->NeedDiscreteBoundary() ) {
465         if ( algo->SupportSubmeshes() ) {
466           smWithAlgoSupportingSubmeshes.push_front( smToCompute );
467         }
468         else {
469           smToCompute->Evaluate(aResMap);
470           if ( aShapesId )
471             aShapesId->insert( smToCompute->GetId() );
472         }
473       }
474     }
475
476     // ------------------------------------------------------------
477     // sort list of meshes according to mesh order
478     // ------------------------------------------------------------
479     aMesh.SortByMeshOrder( smWithAlgoSupportingSubmeshes );
480
481     // ------------------------------------------------------------
482     // compute submeshes under shapes with algos that DO NOT require
483     // Discreteized boundaries and DO support submeshes
484     // ------------------------------------------------------------
485     list< SMESH_subMesh* >::iterator subIt, subEnd;
486     subIt  = smWithAlgoSupportingSubmeshes.begin();
487     subEnd = smWithAlgoSupportingSubmeshes.end();
488     // start from lower shapes
489     for ( ; subIt != subEnd; ++subIt ) {
490       sm = *subIt;
491
492       // get a shape the algo is assigned to
493       TopoDS_Shape algoShape;
494       if ( !GetAlgo( aMesh, sm->GetSubShape(), & algoShape ))
495         continue; // strange...
496
497       // look for more local algos
498       smIt = sm->getDependsOnIterator(!includeSelf, !complexShapeFirst);
499       while ( smIt->more() ) {
500         SMESH_subMesh* smToCompute = smIt->next();
501
502         const TopoDS_Shape& aSubShape = smToCompute->GetSubShape();
503         const int aShapeDim = GetShapeDim( aSubShape );
504         if ( aShapeDim < 1 ) continue;
505
506         //const TopAbs_ShapeEnum aShType = smToCompute->GetSubShape().ShapeType();
507
508         SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
509         filter
510           .And( SMESH_HypoFilter::IsApplicableTo( aSubShape ))
511           .And( SMESH_HypoFilter::IsMoreLocalThan( algoShape, aMesh ));
512
513         if ( SMESH_Algo* subAlgo = (SMESH_Algo*) aMesh.GetHypothesis( aSubShape, filter, true )) {
514           SMESH_Hypothesis::Hypothesis_Status status;
515           if ( subAlgo->CheckHypothesis( aMesh, aSubShape, status ))
516             // mesh a lower smToCompute starting from vertices
517             Evaluate( aMesh, aSubShape, aResMap, /*anUpward=*/true, aShapesId );
518         }
519       }
520     }
521     // ----------------------------------------------------------
522     // apply the algos that do not require Discreteized boundaries
523     // ----------------------------------------------------------
524     for ( subIt = smWithAlgoSupportingSubmeshes.begin(); subIt != subEnd; ++subIt )
525     {
526       sm = *subIt;
527       sm->Evaluate(aResMap);
528       if ( aShapesId )
529         aShapesId->insert( sm->GetId() );
530     }
531
532     // -----------------------------------------------
533     // mesh the rest sub-shapes starting from vertices
534     // -----------------------------------------------
535     ret = Evaluate( aMesh, aShape, aResMap, /*anUpward=*/true, aShapesId );
536   }
537
538   MESSAGE( "VSR - SMESH_Gen::Evaluate() finished, OK = " << ret);
539   return ret;
540 }
541
542
543 //=======================================================================
544 //function : checkConformIgnoredAlgos
545 //purpose  :
546 //=======================================================================
547
548 static bool checkConformIgnoredAlgos(SMESH_Mesh&               aMesh,
549                                      SMESH_subMesh*            aSubMesh,
550                                      const SMESH_Algo*         aGlobIgnoAlgo,
551                                      const SMESH_Algo*         aLocIgnoAlgo,
552                                      bool &                    checkConform,
553                                      set<SMESH_subMesh*>&      aCheckedMap,
554                                      list< SMESH_Gen::TAlgoStateError > & theErrors)
555 {
556   ASSERT( aSubMesh );
557   if ( aSubMesh->GetSubShape().ShapeType() == TopAbs_VERTEX)
558     return true;
559
560
561   bool ret = true;
562
563   const list<const SMESHDS_Hypothesis*>& listHyp =
564     aMesh.GetMeshDS()->GetHypothesis( aSubMesh->GetSubShape() );
565   list<const SMESHDS_Hypothesis*>::const_iterator it=listHyp.begin();
566   for ( ; it != listHyp.end(); it++)
567   {
568     const SMESHDS_Hypothesis * aHyp = *it;
569     if (aHyp->GetType() == SMESHDS_Hypothesis::PARAM_ALGO)
570       continue;
571
572     const SMESH_Algo* algo = dynamic_cast<const SMESH_Algo*> (aHyp);
573     ASSERT ( algo );
574
575     if ( aLocIgnoAlgo ) // algo is hidden by a local algo of upper dim
576     {
577       theErrors.push_back( SMESH_Gen::TAlgoStateError() );
578       theErrors.back().Set( SMESH_Hypothesis::HYP_HIDDEN_ALGO, algo, false );
579       INFOS( "Local <" << algo->GetName() << "> is hidden by local <"
580             << aLocIgnoAlgo->GetName() << ">");
581     }
582     else
583     {
584       bool isGlobal = (aMesh.IsMainShape( aSubMesh->GetSubShape() ));
585       int dim = algo->GetDim();
586       int aMaxGlobIgnoDim = ( aGlobIgnoAlgo ? aGlobIgnoAlgo->GetDim() : -1 );
587
588       if ( dim < aMaxGlobIgnoDim )
589       {
590         // algo is hidden by a global algo
591         theErrors.push_back( SMESH_Gen::TAlgoStateError() );
592         theErrors.back().Set( SMESH_Hypothesis::HYP_HIDDEN_ALGO, algo, true );
593         INFOS( ( isGlobal ? "Global" : "Local" )
594               << " <" << algo->GetName() << "> is hidden by global <"
595               << aGlobIgnoAlgo->GetName() << ">");
596       }
597       else if ( !algo->NeedDiscreteBoundary() && !isGlobal)
598       {
599         // local algo is not hidden and hides algos on sub-shapes
600         if (checkConform && !aSubMesh->IsConform( algo ))
601         {
602           ret = false;
603           checkConform = false; // no more check conformity
604           INFOS( "ERROR: Local <" << algo->GetName() <<
605                 "> would produce not conform mesh: "
606                 "<Not Conform Mesh Allowed> hypotesis is missing");
607           theErrors.push_back( SMESH_Gen::TAlgoStateError() );
608           theErrors.back().Set( SMESH_Hypothesis::HYP_NOTCONFORM, algo, false );
609         }
610
611         // sub-algos will be hidden by a local <algo>
612         SMESH_subMeshIteratorPtr revItSub =
613           aSubMesh->getDependsOnIterator( /*includeSelf=*/false, /*complexShapeFirst=*/true);
614         bool checkConform2 = false;
615         while ( revItSub->more() )
616         {
617           SMESH_subMesh* sm = revItSub->next();
618           checkConformIgnoredAlgos (aMesh, sm, aGlobIgnoAlgo,
619                                     algo, checkConform2, aCheckedMap, theErrors);
620           aCheckedMap.insert( sm );
621         }
622       }
623     }
624   }
625
626   return ret;
627 }
628
629 //=======================================================================
630 //function : checkMissing
631 //purpose  : notify on missing hypothesis
632 //           Return false if algo or hipothesis is missing
633 //=======================================================================
634
635 static bool checkMissing(SMESH_Gen*                aGen,
636                          SMESH_Mesh&               aMesh,
637                          SMESH_subMesh*            aSubMesh,
638                          const int                 aTopAlgoDim,
639                          bool*                     globalChecked,
640                          const bool                checkNoAlgo,
641                          set<SMESH_subMesh*>&      aCheckedMap,
642                          list< SMESH_Gen::TAlgoStateError > & theErrors)
643 {
644   if ( aSubMesh->GetSubShape().ShapeType() == TopAbs_VERTEX ||
645        aCheckedMap.count( aSubMesh ))
646     return true;
647
648   //MESSAGE("=====checkMissing");
649
650   int ret = true;
651   SMESH_Algo* algo = 0;
652
653   switch (aSubMesh->GetAlgoState())
654   {
655   case SMESH_subMesh::NO_ALGO: {
656     if (checkNoAlgo)
657     {
658       // should there be any algo?
659       int shapeDim = SMESH_Gen::GetShapeDim( aSubMesh->GetSubShape() );
660       if (aTopAlgoDim > shapeDim)
661       {
662         MESSAGE( "ERROR: " << shapeDim << "D algorithm is missing" );
663         ret = false;
664         theErrors.push_back( SMESH_Gen::TAlgoStateError() );
665         theErrors.back().Set( SMESH_Hypothesis::HYP_MISSING, shapeDim, true );
666       }
667     }
668     return ret;
669   }
670   case SMESH_subMesh::MISSING_HYP: {
671     // notify if an algo missing hyp is attached to aSubMesh
672     algo = aGen->GetAlgo( aMesh, aSubMesh->GetSubShape() );
673     ASSERT( algo );
674     bool IsGlobalHypothesis = aGen->IsGlobalHypothesis( algo, aMesh );
675     if (!IsGlobalHypothesis || !globalChecked[ algo->GetDim() ])
676     {
677       TAlgoStateErrorName errName = SMESH_Hypothesis::HYP_MISSING;
678       SMESH_Hypothesis::Hypothesis_Status status;
679       algo->CheckHypothesis( aMesh, aSubMesh->GetSubShape(), status );
680       if ( status == SMESH_Hypothesis::HYP_BAD_PARAMETER ) {
681         MESSAGE( "ERROR: hypothesis of " << (IsGlobalHypothesis ? "Global " : "Local ")
682                  << "<" << algo->GetName() << "> has a bad parameter value");
683         errName = status;
684       } else if ( status == SMESH_Hypothesis::HYP_BAD_GEOMETRY ) {
685         MESSAGE( "ERROR: " << (IsGlobalHypothesis ? "Global " : "Local ")
686                  << "<" << algo->GetName() << "> assigned to mismatching geometry");
687         errName = status;
688       } else {
689         MESSAGE( "ERROR: " << (IsGlobalHypothesis ? "Global " : "Local ")
690                  << "<" << algo->GetName() << "> misses some hypothesis");
691       }
692       if (IsGlobalHypothesis)
693         globalChecked[ algo->GetDim() ] = true;
694       theErrors.push_back( SMESH_Gen::TAlgoStateError() );
695       theErrors.back().Set( errName, algo, IsGlobalHypothesis );
696     }
697     ret = false;
698     break;
699   }
700   case SMESH_subMesh::HYP_OK:
701     algo = aSubMesh->GetAlgo();
702     ret = true;
703     if (!algo->NeedDiscreteBoundary())
704     {
705       SMESH_subMeshIteratorPtr itsub = aSubMesh->getDependsOnIterator( /*includeSelf=*/false,
706                                                                        /*complexShapeFirst=*/false);
707       while ( itsub->more() )
708         aCheckedMap.insert( itsub->next() );
709     }
710     break;
711   default: ASSERT(0);
712   }
713
714   // do not check under algo that hides sub-algos or
715   // re-start checking NO_ALGO state
716   ASSERT (algo);
717   bool isTopLocalAlgo =
718     ( aTopAlgoDim <= algo->GetDim() && !aGen->IsGlobalHypothesis( algo, aMesh ));
719   if (!algo->NeedDiscreteBoundary() || isTopLocalAlgo)
720   {
721     bool checkNoAlgo2 = ( algo->NeedDiscreteBoundary() );
722     SMESH_subMeshIteratorPtr itsub = aSubMesh->getDependsOnIterator( /*includeSelf=*/false,
723                                                                      /*complexShapeFirst=*/false);
724     while ( itsub->more() )
725     {
726       // sub-meshes should not be checked further more
727       SMESH_subMesh* sm = itsub->next();
728
729       if (isTopLocalAlgo)
730       {
731         //check algo on sub-meshes
732         int aTopAlgoDim2 = algo->GetDim();
733         if (!checkMissing (aGen, aMesh, sm, aTopAlgoDim2,
734                            globalChecked, checkNoAlgo2, aCheckedMap, theErrors))
735         {
736           ret = false;
737           if (sm->GetAlgoState() == SMESH_subMesh::NO_ALGO )
738             checkNoAlgo2 = false;
739         }
740       }
741       aCheckedMap.insert( sm );
742     }
743   }
744   return ret;
745 }
746
747 //=======================================================================
748 //function : CheckAlgoState
749 //purpose  : notify on bad state of attached algos, return false
750 //           if Compute() would fail because of some algo bad state
751 //=======================================================================
752
753 bool SMESH_Gen::CheckAlgoState(SMESH_Mesh& aMesh, const TopoDS_Shape& aShape)
754 {
755   list< TAlgoStateError > errors;
756   return GetAlgoState( aMesh, aShape, errors );
757 }
758
759 //=======================================================================
760 //function : GetAlgoState
761 //purpose  : notify on bad state of attached algos, return false
762 //           if Compute() would fail because of some algo bad state
763 //           theErrors list contains problems description
764 //=======================================================================
765
766 bool SMESH_Gen::GetAlgoState(SMESH_Mesh&               theMesh,
767                              const TopoDS_Shape&       theShape,
768                              list< TAlgoStateError > & theErrors)
769 {
770   //MESSAGE("SMESH_Gen::CheckAlgoState");
771
772   bool ret = true;
773   bool hasAlgo = false;
774
775   SMESH_subMesh*          sm = theMesh.GetSubMesh(theShape);
776   const SMESHDS_Mesh* meshDS = theMesh.GetMeshDS();
777   TopoDS_Shape     mainShape = meshDS->ShapeToMesh();
778
779   // -----------------
780   // get global algos
781   // -----------------
782
783   const SMESH_Algo* aGlobAlgoArr[] = {0,0,0,0};
784
785   const list<const SMESHDS_Hypothesis*>& listHyp = meshDS->GetHypothesis( mainShape );
786   list<const SMESHDS_Hypothesis*>::const_iterator it=listHyp.begin();
787   for ( ; it != listHyp.end(); it++)
788   {
789     const SMESHDS_Hypothesis * aHyp = *it;
790     if (aHyp->GetType() == SMESHDS_Hypothesis::PARAM_ALGO)
791       continue;
792
793     const SMESH_Algo* algo = dynamic_cast<const SMESH_Algo*> (aHyp);
794     ASSERT ( algo );
795
796     int dim = algo->GetDim();
797     aGlobAlgoArr[ dim ] = algo;
798
799     hasAlgo = true;
800   }
801
802   // --------------------------------------------------------
803   // info on algos that will be ignored because of ones that
804   // don't NeedDiscreteBoundary() attached to super-shapes,
805   // check that a conform mesh will be produced
806   // --------------------------------------------------------
807
808
809   // find a global algo possibly hiding sub-algos
810   int dim;
811   const SMESH_Algo* aGlobIgnoAlgo = 0;
812   for (dim = 3; dim > 0; dim--)
813   {
814     if (aGlobAlgoArr[ dim ] &&
815         !aGlobAlgoArr[ dim ]->NeedDiscreteBoundary())
816     {
817       aGlobIgnoAlgo = aGlobAlgoArr[ dim ];
818       break;
819     }
820   }
821
822   set<SMESH_subMesh*> aCheckedSubs;
823   bool checkConform = ( !theMesh.IsNotConformAllowed() );
824
825   // loop on theShape and its sub-shapes
826   SMESH_subMeshIteratorPtr revItSub = sm->getDependsOnIterator( /*includeSelf=*/true,
827                                                                 /*complexShapeFirst=*/true);
828   while ( revItSub->more() )
829   {
830     SMESH_subMesh* smToCheck = revItSub->next();
831     if ( smToCheck->GetSubShape().ShapeType() == TopAbs_VERTEX)
832       break;
833
834     if ( aCheckedSubs.insert( smToCheck ).second ) // not yet checked
835       if (!checkConformIgnoredAlgos (theMesh, smToCheck, aGlobIgnoAlgo,
836                                      0, checkConform, aCheckedSubs, theErrors))
837         ret = false;
838
839     if ( smToCheck->GetAlgoState() != SMESH_subMesh::NO_ALGO )
840       hasAlgo = true;
841   }
842
843   // ----------------------------------------------------------------
844   // info on missing hypothesis and find out if all needed algos are
845   // well defined
846   // ----------------------------------------------------------------
847
848   //MESSAGE( "---info on missing hypothesis and find out if all needed algos are");
849
850   // find max dim of global algo
851   int aTopAlgoDim = 0;
852   for (dim = 3; dim > 0; dim--)
853   {
854     if (aGlobAlgoArr[ dim ])
855     {
856       aTopAlgoDim = dim;
857       break;
858     }
859   }
860   bool checkNoAlgo = theMesh.HasShapeToMesh() ? bool( aTopAlgoDim ) : false;
861   bool globalChecked[] = { false, false, false, false };
862
863   // loop on theShape and its sub-shapes
864   aCheckedSubs.clear();
865   revItSub = sm->getDependsOnIterator( /*includeSelf=*/true, /*complexShapeFirst=*/true);
866   while ( revItSub->more() )
867   {
868     SMESH_subMesh* smToCheck = revItSub->next();
869     if ( smToCheck->GetSubShape().ShapeType() == TopAbs_VERTEX)
870       break;
871
872     if ( aCheckedSubs.insert( smToCheck ).second ) // not yet checked
873       if (!checkMissing (this, theMesh, smToCheck, aTopAlgoDim,
874                          globalChecked, checkNoAlgo, aCheckedSubs, theErrors))
875       {
876         ret = false;
877         if (smToCheck->GetAlgoState() == SMESH_subMesh::NO_ALGO )
878           checkNoAlgo = false;
879       }
880   }
881
882   if ( !hasAlgo ) {
883     ret = false;
884     INFOS( "None algorithm attached" );
885     theErrors.push_back( TAlgoStateError() );
886     theErrors.back().Set( SMESH_Hypothesis::HYP_MISSING, 1, true );
887   }
888
889   return ret;
890 }
891
892 //=======================================================================
893 //function : IsGlobalHypothesis
894 //purpose  : check if theAlgo is attached to the main shape
895 //=======================================================================
896
897 bool SMESH_Gen::IsGlobalHypothesis(const SMESH_Hypothesis* theHyp, SMESH_Mesh& aMesh)
898 {
899   SMESH_HypoFilter filter( SMESH_HypoFilter::Is( theHyp ));
900   return aMesh.GetHypothesis( aMesh.GetMeshDS()->ShapeToMesh(), filter, false );
901 }
902
903 //================================================================================
904 /*!
905  * \brief Return paths to xml files of plugins
906  */
907 //================================================================================
908
909 std::vector< std::string > SMESH_Gen::GetPluginXMLPaths()
910 {
911   // Get paths to xml files of plugins
912   vector< string > xmlPaths;
913   string sep;
914   if ( const char* meshersList = getenv("SMESH_MeshersList") )
915   {
916     string meshers = meshersList, plugin;
917     string::size_type from = 0, pos;
918     while ( from < meshers.size() )
919     {
920       // cut off plugin name
921       pos = meshers.find( ':', from );
922       if ( pos != string::npos )
923         plugin = meshers.substr( from, pos-from );
924       else
925         plugin = meshers.substr( from ), pos = meshers.size();
926       from = pos + 1;
927
928       // get PLUGIN_ROOT_DIR path
929       string rootDirVar, pluginSubDir = plugin;
930       if ( plugin == "StdMeshers" )
931         rootDirVar = "SMESH", pluginSubDir = "smesh";
932       else
933         for ( pos = 0; pos < plugin.size(); ++pos )
934           rootDirVar += toupper( plugin[pos] );
935       rootDirVar += "_ROOT_DIR";
936
937       const char* rootDir = getenv( rootDirVar.c_str() );
938       if ( !rootDir || strlen(rootDir) == 0 )
939       {
940         rootDirVar = plugin + "_ROOT_DIR"; // HexoticPLUGIN_ROOT_DIR
941         rootDir = getenv( rootDirVar.c_str() );
942         if ( !rootDir || strlen(rootDir) == 0 ) continue;
943       }
944
945       // get a separator from rootDir
946       for ( pos = strlen( rootDir )-1; pos >= 0 && sep.empty(); --pos )
947         if ( rootDir[pos] == '/' || rootDir[pos] == '\\' )
948         {
949           sep = rootDir[pos];
950           break;
951         }
952 #ifdef WNT
953       if (sep.empty() ) sep = "\\";
954 #else
955       if (sep.empty() ) sep = "/";
956 #endif
957
958       // get a path to resource file
959       string xmlPath = rootDir;
960       if ( xmlPath[ xmlPath.size()-1 ] != sep[0] )
961         xmlPath += sep;
962       xmlPath += "share" + sep + "salome" + sep + "resources" + sep;
963       for ( pos = 0; pos < pluginSubDir.size(); ++pos )
964         xmlPath += tolower( pluginSubDir[pos] );
965       xmlPath += sep + plugin + ".xml";
966       bool fileOK;
967 #ifdef WNT
968       fileOK = (GetFileAttributes(xmlPath.c_str()) != INVALID_FILE_ATTRIBUTES);
969 #else
970       fileOK = (access(xmlPath.c_str(), F_OK) == 0);
971 #endif
972       if ( fileOK )
973         xmlPaths.push_back( xmlPath );
974     }
975   }
976
977   return xmlPaths;
978 }
979
980 //=======================================================================
981 namespace // Access to type of input and output of an algorithm
982 //=======================================================================
983 {
984   struct AlgoData
985   {
986     int                       _dim;
987     set<SMDSAbs_GeometryType> _inElemTypes; // acceptable types of input mesh element
988     set<SMDSAbs_GeometryType> _outElemTypes; // produced types of mesh elements
989
990     bool IsCompatible( const AlgoData& algo2 ) const
991     {
992       if ( _dim > algo2._dim ) return algo2.IsCompatible( *this );
993       // algo2 is of highter dimension
994       if ( _outElemTypes.empty() || algo2._inElemTypes.empty() )
995         return false;
996       bool compatible = true;
997       set<SMDSAbs_GeometryType>::const_iterator myOutType = _outElemTypes.begin();
998       for ( ; myOutType != _outElemTypes.end() && compatible; ++myOutType )
999         compatible = algo2._inElemTypes.count( *myOutType );
1000       return compatible;
1001     }
1002   };
1003
1004   //================================================================================
1005   /*!
1006    * \brief Return AlgoData of the algorithm
1007    */
1008   //================================================================================
1009
1010   const AlgoData& getAlgoData( const SMESH_Algo* algo )
1011   {
1012     static map< string, AlgoData > theDataByName;
1013     if ( theDataByName.empty() )
1014     {
1015       // Read Plugin.xml files
1016       vector< string > xmlPaths = SMESH_Gen::GetPluginXMLPaths();
1017       LDOMParser xmlParser;
1018       for ( size_t iXML = 0; iXML < xmlPaths.size(); ++iXML )
1019       {
1020         bool error = xmlParser.parse( xmlPaths[iXML].c_str() );
1021         if ( error )
1022         {
1023           TCollection_AsciiString data;
1024           INFOS( xmlParser.GetError(data) );
1025           continue;
1026         }
1027         // <algorithm type="Regular_1D"
1028         //            ...
1029         //            input="EDGE"
1030         //            output="QUAD,TRIA">
1031         //
1032         LDOM_Document xmlDoc = xmlParser.getDocument();
1033         LDOM_NodeList algoNodeList = xmlDoc.getElementsByTagName( "algorithm" );
1034         for ( int i = 0; i < algoNodeList.getLength(); ++i )
1035         {
1036           LDOM_Node     algoNode           = algoNodeList.item( i );
1037           LDOM_Element& algoElem           = (LDOM_Element&) algoNode;
1038           TCollection_AsciiString algoType = algoElem.getAttribute("type");
1039           TCollection_AsciiString input    = algoElem.getAttribute("input");
1040           TCollection_AsciiString output   = algoElem.getAttribute("output");
1041           TCollection_AsciiString dim      = algoElem.getAttribute("dim");
1042           if ( algoType.IsEmpty() ) continue;
1043           AlgoData & data                  = theDataByName[ algoType.ToCString() ];
1044           data._dim = dim.IntegerValue();
1045           for ( int isInput = 0; isInput < 2; ++isInput )
1046           {
1047             TCollection_AsciiString&   typeStr = isInput ? input : output;
1048             set<SMDSAbs_GeometryType>& typeSet = isInput ? data._inElemTypes : data._outElemTypes;
1049             int beg = 1, end;
1050             while ( beg <= typeStr.Length() )
1051             {
1052               while ( beg < typeStr.Length() && !isalpha( typeStr.Value( beg ) ))
1053                 ++beg;
1054               end = beg;
1055               while ( end < typeStr.Length() && isalpha( typeStr.Value( end + 1 ) ))
1056                 ++end;
1057               if ( end > beg )
1058               {
1059                 TCollection_AsciiString typeName = typeStr.SubString( beg, end );
1060                 if      ( typeName == "EDGE" ) typeSet.insert( SMDSGeom_EDGE );
1061                 else if ( typeName == "TRIA" ) typeSet.insert( SMDSGeom_TRIANGLE );
1062                 else if ( typeName == "QUAD" ) typeSet.insert( SMDSGeom_QUADRANGLE );
1063               }
1064               beg = end + 1;
1065             }
1066           }
1067         }
1068       }
1069     }
1070     return theDataByName[ algo->GetName() ];
1071   }
1072 }
1073
1074 //=============================================================================
1075 /*!
1076  * Finds algo to mesh a shape. Optionally returns a shape the found algo is bound to
1077  */
1078 //=============================================================================
1079
1080 SMESH_Algo *SMESH_Gen::GetAlgo(SMESH_Mesh &         aMesh,
1081                                const TopoDS_Shape & aShape,
1082                                TopoDS_Shape*        assignedTo)
1083 {
1084   SMESH_HypoFilter filter( SMESH_HypoFilter::IsAlgo() );
1085   filter.And( filter.IsApplicableTo( aShape ));
1086
1087   TopoDS_Shape assignedToShape;
1088   SMESH_Algo* algo =
1089     (SMESH_Algo*) aMesh.GetHypothesis( aShape, filter, true, &assignedToShape );
1090
1091   if ( algo &&
1092        aShape.ShapeType() == TopAbs_FACE &&
1093        !aShape.IsSame( assignedToShape ) &&
1094        SMESH_MesherHelper::NbAncestors( aShape, aMesh, TopAbs_SOLID ) > 1 )
1095   {
1096     // Issue 0021559. If there is another 2D algo with different types of output
1097     // elements that can be used to mesh aShape, and 3D algos on adjacent SOLIDs
1098     // have different types of input elements, we choose a most appropriate 2D algo.
1099
1100     // try to find a concurrent 2D algo
1101     filter.AndNot( filter.Is( algo ));
1102     TopoDS_Shape assignedToShape2;
1103     SMESH_Algo* algo2 =
1104       (SMESH_Algo*) aMesh.GetHypothesis( aShape, filter, true, &assignedToShape2 );
1105     if ( algo2 &&                                                  // algo found
1106          !assignedToShape2.IsSame( aMesh.GetShapeToMesh() ) &&     // algo is local
1107          ( SMESH_MesherHelper::GetGroupType( assignedToShape2 ) == // algo of the same level
1108            SMESH_MesherHelper::GetGroupType( assignedToShape )) &&
1109          aMesh.IsOrderOK( aMesh.GetSubMesh( assignedToShape2 ),    // no forced order
1110                           aMesh.GetSubMesh( assignedToShape  )))
1111     {
1112       // get algos on the adjacent SOLIDs
1113       filter.Init( filter.IsAlgo() ).And( filter.HasDim( 3 ));
1114       vector< SMESH_Algo* > algos3D;
1115       PShapeIteratorPtr solidIt = SMESH_MesherHelper::GetAncestors( aShape, aMesh,
1116                                                                     TopAbs_SOLID );
1117       while ( const TopoDS_Shape* solid = solidIt->next() )
1118         if ( SMESH_Algo* algo3D = (SMESH_Algo*) aMesh.GetHypothesis( *solid, filter, true ))
1119         {
1120           algos3D.push_back( algo3D );
1121           filter.AndNot( filter.HasName( algo3D->GetName() ));
1122         }
1123       // check compatibility of algos
1124       if ( algos3D.size() > 1 )
1125       {
1126         const AlgoData& algoData    = getAlgoData( algo );
1127         const AlgoData& algoData2   = getAlgoData( algo2 );
1128         const AlgoData& algoData3d0 = getAlgoData( algos3D[0] );
1129         const AlgoData& algoData3d1 = getAlgoData( algos3D[1] );
1130         if (( algoData2.IsCompatible( algoData3d0 ) &&
1131               algoData2.IsCompatible( algoData3d1 ))
1132             &&
1133             !(algoData.IsCompatible( algoData3d0 ) &&
1134               algoData.IsCompatible( algoData3d1 )))
1135           algo = algo2;
1136       }
1137     }
1138   }
1139
1140   if ( assignedTo && algo )
1141     * assignedTo = assignedToShape;
1142
1143   return algo;
1144 }
1145
1146 //=============================================================================
1147 /*!
1148  * Returns StudyContextStruct for a study
1149  */
1150 //=============================================================================
1151
1152 StudyContextStruct *SMESH_Gen::GetStudyContext(int studyId)
1153 {
1154   // Get studyContext, create it if it does'nt exist, with a SMESHDS_Document
1155
1156   if (_mapStudyContext.find(studyId) == _mapStudyContext.end())
1157   {
1158     _mapStudyContext[studyId] = new StudyContextStruct;
1159     _mapStudyContext[studyId]->myDocument = new SMESHDS_Document(studyId);
1160   }
1161   StudyContextStruct *myStudyContext = _mapStudyContext[studyId];
1162   return myStudyContext;
1163 }
1164
1165 //================================================================================
1166 /*!
1167  * \brief Return shape dimension by TopAbs_ShapeEnum
1168  */
1169 //================================================================================
1170
1171 int SMESH_Gen::GetShapeDim(const TopAbs_ShapeEnum & aShapeType)
1172 {
1173   static vector<int> dim;
1174   if ( dim.empty() )
1175   {
1176     dim.resize( TopAbs_SHAPE, -1 );
1177     dim[ TopAbs_COMPOUND ]  = MeshDim_3D;
1178     dim[ TopAbs_COMPSOLID ] = MeshDim_3D;
1179     dim[ TopAbs_SOLID ]     = MeshDim_3D;
1180     dim[ TopAbs_SHELL ]     = MeshDim_2D;
1181     dim[ TopAbs_FACE  ]     = MeshDim_2D;
1182     dim[ TopAbs_WIRE ]      = MeshDim_1D;
1183     dim[ TopAbs_EDGE ]      = MeshDim_1D;
1184     dim[ TopAbs_VERTEX ]    = MeshDim_0D;
1185   }
1186   return dim[ aShapeType ];
1187 }
1188
1189 //=============================================================================
1190 /*!
1191  * Genarate a new id unique withing this Gen
1192  */
1193 //=============================================================================
1194
1195 int SMESH_Gen::GetANewId()
1196 {
1197   return _hypId++;
1198 }