// Copyright (C) 2007-2013 CEA/DEN, EDF R&D, OPEN CASCADE // // Copyright (C) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN, // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS // // This library is free software; you can redistribute it and/or // modify it under the terms of the GNU Lesser General Public // License as published by the Free Software Foundation; either // version 2.1 of the License. // // This library is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU // Lesser General Public License for more details. // // You should have received a copy of the GNU Lesser General Public // License along with this library; if not, write to the Free Software // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA // // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com // // SMESH SMESH : implementaion of SMESH idl descriptions // File : SMESH_Algo.cxx // Author : Paul RASCLE, EDF // Module : SMESH #include "SMESH_Algo.hxx" #include "SMDS_EdgePosition.hxx" #include "SMDS_FacePosition.hxx" #include "SMDS_MeshElement.hxx" #include "SMDS_MeshNode.hxx" #include "SMDS_VolumeTool.hxx" #include "SMESHDS_Mesh.hxx" #include "SMESHDS_SubMesh.hxx" #include "SMESH_Comment.hxx" #include "SMESH_Gen.hxx" #include "SMESH_HypoFilter.hxx" #include "SMESH_Mesh.hxx" #include "SMESH_TypeDefs.hxx" #include "SMESH_subMesh.hxx" #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include "utilities.h" #include #include using namespace std; //================================================================================ /*! * \brief Returns \a true if two algorithms (described by \a this and the given * algo data) are compatible by their output and input types of elements. */ //================================================================================ bool SMESH_Algo::Features::IsCompatible( const SMESH_Algo::Features& algo2 ) const { if ( _dim > algo2._dim ) return algo2.IsCompatible( *this ); // algo2 is of highter dimension if ( _outElemTypes.empty() || algo2._inElemTypes.empty() ) return false; bool compatible = true; set::const_iterator myOutType = _outElemTypes.begin(); for ( ; myOutType != _outElemTypes.end() && compatible; ++myOutType ) compatible = algo2._inElemTypes.count( *myOutType ); return compatible; } //================================================================================ /*! * \brief Return Data of the algorithm */ //================================================================================ const SMESH_Algo::Features& SMESH_Algo::GetFeatures( const std::string& algoType ) { static map< string, SMESH_Algo::Features > theFeaturesByName; if ( theFeaturesByName.empty() ) { // Read Plugin.xml files vector< string > xmlPaths = SMESH_Gen::GetPluginXMLPaths(); LDOMParser xmlParser; for ( size_t iXML = 0; iXML < xmlPaths.size(); ++iXML ) { bool error = xmlParser.parse( xmlPaths[iXML].c_str() ); if ( error ) { TCollection_AsciiString data; INFOS( xmlParser.GetError(data) ); continue; } // // LDOM_Document xmlDoc = xmlParser.getDocument(); LDOM_NodeList algoNodeList = xmlDoc.getElementsByTagName( "algorithm" ); for ( int i = 0; i < algoNodeList.getLength(); ++i ) { LDOM_Node algoNode = algoNodeList.item( i ); LDOM_Element& algoElem = (LDOM_Element&) algoNode; TCollection_AsciiString algoType = algoElem.getAttribute("type"); TCollection_AsciiString input = algoElem.getAttribute("input"); TCollection_AsciiString output = algoElem.getAttribute("output"); TCollection_AsciiString dim = algoElem.getAttribute("dim"); TCollection_AsciiString label = algoElem.getAttribute("label-id"); if ( algoType.IsEmpty() ) continue; Features & data = theFeaturesByName[ algoType.ToCString() ]; data._dim = dim.IntegerValue(); data._label = label.ToCString(); for ( int isInput = 0; isInput < 2; ++isInput ) { TCollection_AsciiString& typeStr = isInput ? input : output; set& typeSet = isInput ? data._inElemTypes : data._outElemTypes; int beg = 1, end; while ( beg <= typeStr.Length() ) { while ( beg < typeStr.Length() && !isalpha( typeStr.Value( beg ) )) ++beg; end = beg; while ( end < typeStr.Length() && isalpha( typeStr.Value( end + 1 ) )) ++end; if ( end > beg ) { TCollection_AsciiString typeName = typeStr.SubString( beg, end ); if ( typeName == "EDGE" ) typeSet.insert( SMDSGeom_EDGE ); else if ( typeName == "TRIA" ) typeSet.insert( SMDSGeom_TRIANGLE ); else if ( typeName == "QUAD" ) typeSet.insert( SMDSGeom_QUADRANGLE ); } beg = end + 1; } } } } } return theFeaturesByName[ algoType ]; } //============================================================================= /*! * */ //============================================================================= SMESH_Algo::SMESH_Algo (int hypId, int studyId, SMESH_Gen * gen) : SMESH_Hypothesis(hypId, studyId, gen) { gen->_mapAlgo[hypId] = this; _onlyUnaryInput = _requireDiscreteBoundary = _requireShape = true; _quadraticMesh = _supportSubmeshes = false; _error = COMPERR_OK; for ( int i = 0; i < 4; ++i ) _neededLowerHyps[ i ] = false; } //============================================================================= /*! * */ //============================================================================= SMESH_Algo::~SMESH_Algo() { } //============================================================================= /*! * */ //============================================================================= SMESH_0D_Algo::SMESH_0D_Algo(int hypId, int studyId, SMESH_Gen* gen) : SMESH_Algo(hypId, studyId, gen) { _shapeType = (1 << TopAbs_VERTEX); _type = ALGO_0D; gen->_map0D_Algo[hypId] = this; } SMESH_1D_Algo::SMESH_1D_Algo(int hypId, int studyId, SMESH_Gen* gen) : SMESH_Algo(hypId, studyId, gen) { _shapeType = (1 << TopAbs_EDGE); _type = ALGO_1D; gen->_map1D_Algo[hypId] = this; } SMESH_2D_Algo::SMESH_2D_Algo(int hypId, int studyId, SMESH_Gen* gen) : SMESH_Algo(hypId, studyId, gen) { _shapeType = (1 << TopAbs_FACE); _type = ALGO_2D; gen->_map2D_Algo[hypId] = this; } SMESH_3D_Algo::SMESH_3D_Algo(int hypId, int studyId, SMESH_Gen* gen) : SMESH_Algo(hypId, studyId, gen) { _shapeType = (1 << TopAbs_SOLID); _type = ALGO_3D; gen->_map3D_Algo[hypId] = this; } //============================================================================= /*! * Usually an algoritm has nothing to save */ //============================================================================= ostream & SMESH_Algo::SaveTo(ostream & save) { return save; } istream & SMESH_Algo::LoadFrom(istream & load) { return load; } //============================================================================= /*! * */ //============================================================================= const vector < string > &SMESH_Algo::GetCompatibleHypothesis() { return _compatibleHypothesis; } //============================================================================= /*! * List the hypothesis used by the algorithm associated to the shape. * Hypothesis associated to father shape -are- taken into account (see * GetAppliedHypothesis). Relevant hypothesis have a name (type) listed in * the algorithm. This method could be surcharged by specific algorithms, in * case of several hypothesis simultaneously applicable. */ //============================================================================= const list & SMESH_Algo::GetUsedHypothesis(SMESH_Mesh & aMesh, const TopoDS_Shape & aShape, const bool ignoreAuxiliary) { _usedHypList.clear(); SMESH_HypoFilter filter; if ( InitCompatibleHypoFilter( filter, ignoreAuxiliary )) { aMesh.GetHypotheses( aShape, filter, _usedHypList, true ); if ( ignoreAuxiliary && _usedHypList.size() > 1 ) _usedHypList.clear(); //only one compatible hypothesis allowed } return _usedHypList; } //============================================================================= /*! * List the relevant hypothesis associated to the shape. Relevant hypothesis * have a name (type) listed in the algorithm. Hypothesis associated to * father shape -are not- taken into account (see GetUsedHypothesis) */ //============================================================================= const list & SMESH_Algo::GetAppliedHypothesis(SMESH_Mesh & aMesh, const TopoDS_Shape & aShape, const bool ignoreAuxiliary) { _appliedHypList.clear(); SMESH_HypoFilter filter; if ( InitCompatibleHypoFilter( filter, ignoreAuxiliary )) aMesh.GetHypotheses( aShape, filter, _appliedHypList, false ); return _appliedHypList; } //============================================================================= /*! * Compute length of an edge */ //============================================================================= double SMESH_Algo::EdgeLength(const TopoDS_Edge & E) { double UMin = 0, UMax = 0; if (BRep_Tool::Degenerated(E)) return 0; TopLoc_Location L; Handle(Geom_Curve) C = BRep_Tool::Curve(E, L, UMin, UMax); GeomAdaptor_Curve AdaptCurve(C, UMin, UMax); //range is important for periodic curves double length = GCPnts_AbscissaPoint::Length(AdaptCurve, UMin, UMax); return length; } //================================================================================ /*! * \brief Just return false as the algorithm does not hold parameters values */ //================================================================================ bool SMESH_Algo::SetParametersByMesh(const SMESH_Mesh* /*theMesh*/, const TopoDS_Shape& /*theShape*/) { return false; } bool SMESH_Algo::SetParametersByDefaults(const TDefaults& , const SMESH_Mesh*) { return false; } //================================================================================ /*! * \brief Fill vector of node parameters on geometrical edge, including vertex nodes * \param theMesh - The mesh containing nodes * \param theEdge - The geometrical edge of interest * \param theParams - The resulting vector of sorted node parameters * \retval bool - false if not all parameters are OK */ //================================================================================ bool SMESH_Algo::GetNodeParamOnEdge(const SMESHDS_Mesh* theMesh, const TopoDS_Edge& theEdge, vector< double > & theParams) { theParams.clear(); if ( !theMesh || theEdge.IsNull() ) return false; SMESHDS_SubMesh * eSubMesh = theMesh->MeshElements( theEdge ); if ( !eSubMesh || !eSubMesh->GetElements()->more() ) return false; // edge is not meshed //int nbEdgeNodes = 0; set < double > paramSet; if ( eSubMesh ) { // loop on nodes of an edge: sort them by param on edge SMDS_NodeIteratorPtr nIt = eSubMesh->GetNodes(); while ( nIt->more() ) { const SMDS_MeshNode* node = nIt->next(); const SMDS_PositionPtr& pos = node->GetPosition(); if ( pos->GetTypeOfPosition() != SMDS_TOP_EDGE ) return false; const SMDS_EdgePosition* epos = static_cast(node->GetPosition()); if ( !paramSet.insert( epos->GetUParameter() ).second ) return false; // equal parameters } } // add vertex nodes params TopoDS_Vertex V1,V2; TopExp::Vertices( theEdge, V1, V2); if ( VertexNode( V1, theMesh ) && !paramSet.insert( BRep_Tool::Parameter(V1,theEdge) ).second ) return false; // there are equal parameters if ( VertexNode( V2, theMesh ) && !paramSet.insert( BRep_Tool::Parameter(V2,theEdge) ).second ) return false; // there are equal parameters // fill the vector theParams.resize( paramSet.size() ); set < double >::iterator par = paramSet.begin(); vector< double >::iterator vecPar = theParams.begin(); for ( ; par != paramSet.end(); ++par, ++vecPar ) *vecPar = *par; return theParams.size() > 1; } //================================================================================ /*! * \brief Fill vector of node parameters on geometrical edge, including vertex nodes * \param theMesh - The mesh containing nodes * \param theEdge - The geometrical edge of interest * \param theParams - The resulting vector of sorted node parameters * \retval bool - false if not all parameters are OK */ //================================================================================ bool SMESH_Algo::GetSortedNodesOnEdge(const SMESHDS_Mesh* theMesh, const TopoDS_Edge& theEdge, const bool ignoreMediumNodes, map< double, const SMDS_MeshNode* > & theNodes) { theNodes.clear(); if ( !theMesh || theEdge.IsNull() ) return false; SMESHDS_SubMesh * eSubMesh = theMesh->MeshElements( theEdge ); if ( !eSubMesh || !eSubMesh->GetElements()->more() ) return false; // edge is not meshed int nbNodes = 0; set < double > paramSet; if ( eSubMesh ) { // loop on nodes of an edge: sort them by param on edge SMDS_NodeIteratorPtr nIt = eSubMesh->GetNodes(); while ( nIt->more() ) { const SMDS_MeshNode* node = nIt->next(); if ( ignoreMediumNodes ) { SMDS_ElemIteratorPtr elemIt = node->GetInverseElementIterator(); if ( elemIt->more() && elemIt->next()->IsMediumNode( node )) continue; } const SMDS_PositionPtr& pos = node->GetPosition(); if ( pos->GetTypeOfPosition() != SMDS_TOP_EDGE ) return false; const SMDS_EdgePosition* epos = static_cast(node->GetPosition()); theNodes.insert( theNodes.end(), make_pair( epos->GetUParameter(), node )); //MESSAGE("U " << epos->GetUParameter() << " ID " << node->GetID()); ++nbNodes; } } // add vertex nodes TopoDS_Vertex v1, v2; TopExp::Vertices(theEdge, v1, v2); const SMDS_MeshNode* n1 = VertexNode( v1, (SMESHDS_Mesh*) theMesh ); const SMDS_MeshNode* n2 = VertexNode( v2, (SMESHDS_Mesh*) theMesh ); //MESSAGE("Vertices ID " << n1->GetID() << " " << n2->GetID()); Standard_Real f, l; BRep_Tool::Range(theEdge, f, l); if ( v1.Orientation() != TopAbs_FORWARD ) std::swap( f, l ); if ( n1 && ++nbNodes ) theNodes.insert( make_pair( f, n1 )); if ( n2 && ++nbNodes ) theNodes.insert( make_pair( l, n2 )); return theNodes.size() == nbNodes; } //================================================================================ /*! * \brief Make filter recognize only compatible hypotheses * \param theFilter - the filter to initialize * \param ignoreAuxiliary - make filter ignore compatible auxiliary hypotheses */ //================================================================================ bool SMESH_Algo::InitCompatibleHypoFilter( SMESH_HypoFilter & theFilter, const bool ignoreAuxiliary) const { if ( !_compatibleHypothesis.empty() ) { theFilter.Init( theFilter.HasName( _compatibleHypothesis[0] )); for ( int i = 1; i < _compatibleHypothesis.size(); ++i ) theFilter.Or( theFilter.HasName( _compatibleHypothesis[ i ] )); if ( ignoreAuxiliary ) theFilter.AndNot( theFilter.IsAuxiliary() ); return true; } return false; } //================================================================================ /*! * \brief Return continuity of two edges * \param E1 - the 1st edge * \param E2 - the 2nd edge * \retval GeomAbs_Shape - regularity at the junction between E1 and E2 */ //================================================================================ GeomAbs_Shape SMESH_Algo::Continuity(TopoDS_Edge E1, TopoDS_Edge E2) { //E1.Orientation(TopAbs_FORWARD), E2.Orientation(TopAbs_FORWARD); // avoid pb with internal edges if (E1.Orientation() > TopAbs_REVERSED) // INTERNAL E1.Orientation( TopAbs_FORWARD ); if (E2.Orientation() > TopAbs_REVERSED) // INTERNAL E2.Orientation( TopAbs_FORWARD ); TopoDS_Vertex V, VV1[2], VV2[2]; TopExp::Vertices( E1, VV1[0], VV1[1], true ); TopExp::Vertices( E2, VV2[0], VV2[1], true ); if ( VV1[1].IsSame( VV2[0] )) { V = VV1[1]; } else if ( VV1[0].IsSame( VV2[1] )) { V = VV1[0]; } else if ( VV1[1].IsSame( VV2[1] )) { V = VV1[1]; E1.Reverse(); } else if ( VV1[0].IsSame( VV2[0] )) { V = VV1[0]; E1.Reverse(); } else { return GeomAbs_C0; } Standard_Real u1 = BRep_Tool::Parameter( V, E1 ); Standard_Real u2 = BRep_Tool::Parameter( V, E2 ); BRepAdaptor_Curve C1( E1 ), C2( E2 ); Standard_Real tol = BRep_Tool::Tolerance( V ); Standard_Real angTol = 2e-3; try { #if OCC_VERSION_LARGE > 0x06010000 OCC_CATCH_SIGNALS; #endif return BRepLProp::Continuity(C1, C2, u1, u2, tol, angTol); } catch (Standard_Failure) { } return GeomAbs_C0; } //================================================================================ /*! * \brief Return the node built on a vertex * \param V - the vertex * \param meshDS - mesh * \retval const SMDS_MeshNode* - found node or NULL */ //================================================================================ const SMDS_MeshNode* SMESH_Algo::VertexNode(const TopoDS_Vertex& V, const SMESHDS_Mesh* meshDS) { if ( SMESHDS_SubMesh* sm = meshDS->MeshElements(V) ) { SMDS_NodeIteratorPtr nIt= sm->GetNodes(); if (nIt->more()) return nIt->next(); } return 0; } //======================================================================= //function : GetMeshError //purpose : Finds topological errors of a sub-mesh //WARNING : 1D check is NOT implemented so far //======================================================================= SMESH_Algo::EMeshError SMESH_Algo::GetMeshError(SMESH_subMesh* subMesh) { EMeshError err = MEr_OK; SMESHDS_SubMesh* smDS = subMesh->GetSubMeshDS(); if ( !smDS ) return MEr_EMPTY; switch ( subMesh->GetSubShape().ShapeType() ) { case TopAbs_FACE: { // ====================== 2D ===================== SMDS_ElemIteratorPtr fIt = smDS->GetElements(); if ( !fIt->more() ) return MEr_EMPTY; // We check that olny links on EDGEs encouter once, the rest links, twice set< SMESH_TLink > links; while ( fIt->more() ) { const SMDS_MeshElement* f = fIt->next(); int nbNodes = f->NbCornerNodes(); // ignore medium nodes for ( int i = 0; i < nbNodes; ++i ) { const SMDS_MeshNode* n1 = f->GetNode( i ); const SMDS_MeshNode* n2 = f->GetNode(( i+1 ) % nbNodes); std::pair< set< SMESH_TLink >::iterator, bool > it_added = links.insert( SMESH_TLink( n1, n2 )); if ( !it_added.second ) // As we do NOT(!) check if mesh is manifold, we believe that a link can // encounter once or twice only (not three times), we erase a link as soon // as it encounters twice to speed up search in the map. links.erase( it_added.first ); } } // the links remaining in the should all be on EDGE set< SMESH_TLink >::iterator linkIt = links.begin(); for ( ; linkIt != links.end(); ++linkIt ) { const SMESH_TLink& link = *linkIt; if ( link.node1()->GetPosition()->GetTypeOfPosition() > SMDS_TOP_EDGE || link.node2()->GetPosition()->GetTypeOfPosition() > SMDS_TOP_EDGE ) return MEr_HOLES; } // TODO: to check orientation break; } case TopAbs_SOLID: { // ====================== 3D ===================== SMDS_ElemIteratorPtr vIt = smDS->GetElements(); if ( !vIt->more() ) return MEr_EMPTY; SMDS_VolumeTool vTool; while ( !vIt->more() ) { if (!vTool.Set( vIt->next() )) continue; // strange for ( int iF = 0; iF < vTool.NbFaces(); ++iF ) if ( vTool.IsFreeFace( iF )) { int nbN = vTool.NbFaceNodes( iF ); const SMDS_MeshNode** nodes = vTool.GetFaceNodes( iF ); for ( int i = 0; i < nbN; ++i ) if ( nodes[i]->GetPosition()->GetTypeOfPosition() > SMDS_TOP_FACE ) return MEr_HOLES; } } break; } default:; } return err; } //================================================================================ /*! * \brief Sets event listener to submeshes if necessary * \param subMesh - submesh where algo is set * * After being set, event listener is notified on each event of a submesh. * By default non listener is set */ //================================================================================ void SMESH_Algo::SetEventListener(SMESH_subMesh* /*subMesh*/) { } //================================================================================ /*! * \brief Allow algo to do something after persistent restoration * \param subMesh - restored submesh * * This method is called only if a submesh has HYP_OK algo_state. */ //================================================================================ void SMESH_Algo::SubmeshRestored(SMESH_subMesh* /*subMesh*/) { } //================================================================================ /*! * \brief Computes mesh without geometry * \param aMesh - the mesh * \param aHelper - helper that must be used for adding elements to \aaMesh * \retval bool - is a success */ //================================================================================ bool SMESH_Algo::Compute(SMESH_Mesh & /*aMesh*/, SMESH_MesherHelper* /*aHelper*/) { return error( COMPERR_BAD_INPUT_MESH, "Mesh built on shape expected"); } //======================================================================= //function : CancelCompute //purpose : Sets _computeCanceled to true. It's usage depends on // * implementation of a particular mesher. //======================================================================= void SMESH_Algo::CancelCompute() { _computeCanceled = true; _error = COMPERR_CANCELED; } //================================================================================ /*! * \brief store error and comment and then return ( error == COMPERR_OK ) */ //================================================================================ bool SMESH_Algo::error(int error, const SMESH_Comment& comment) { _error = error; _comment = comment; return ( error == COMPERR_OK ); } //================================================================================ /*! * \brief store error and return ( error == COMPERR_OK ) */ //================================================================================ bool SMESH_Algo::error(SMESH_ComputeErrorPtr error) { if ( error ) { _error = error->myName; _comment = error->myComment; _badInputElements = error->myBadElements; return error->IsOK(); } return true; } //================================================================================ /*! * \brief return compute error */ //================================================================================ SMESH_ComputeErrorPtr SMESH_Algo::GetComputeError() const { SMESH_ComputeErrorPtr err = SMESH_ComputeError::New( _error, _comment, this ); // hope this method is called by only SMESH_subMesh after this->Compute() err->myBadElements.splice( err->myBadElements.end(), (list&) _badInputElements ); return err; } //================================================================================ /*! * \brief initialize compute error */ //================================================================================ void SMESH_Algo::InitComputeError() { _error = COMPERR_OK; _comment.clear(); list::iterator elem = _badInputElements.begin(); for ( ; elem != _badInputElements.end(); ++elem ) if ( (*elem)->GetID() < 1 ) delete *elem; _badInputElements.clear(); _computeCanceled = false; } //================================================================================ /*! * \brief store a bad input element preventing computation, * which may be a temporary one i.e. not residing the mesh, * then it will be deleted by InitComputeError() */ //================================================================================ void SMESH_Algo::addBadInputElement(const SMDS_MeshElement* elem) { if ( elem ) _badInputElements.push_back( elem ); } //======================================================================= //function : addBadInputElements //purpose : store a bad input elements or nodes preventing computation //======================================================================= void SMESH_Algo::addBadInputElements(const SMESHDS_SubMesh* sm, const bool addNodes) { if ( sm ) { if ( addNodes ) { SMDS_NodeIteratorPtr nIt = sm->GetNodes(); while ( nIt->more() ) addBadInputElement( nIt->next() ); } else { SMDS_ElemIteratorPtr eIt = sm->GetElements(); while ( eIt->more() ) addBadInputElement( eIt->next() ); } } } //============================================================================= /*! * */ //============================================================================= // int SMESH_Algo::NumberOfWires(const TopoDS_Shape& S) // { // int i = 0; // for (TopExp_Explorer exp(S,TopAbs_WIRE); exp.More(); exp.Next()) // i++; // return i; // } //============================================================================= /*! * */ //============================================================================= int SMESH_Algo::NumberOfPoints(SMESH_Mesh& aMesh, const TopoDS_Wire& W) { int nbPoints = 0; for (TopExp_Explorer exp(W,TopAbs_EDGE); exp.More(); exp.Next()) { const TopoDS_Edge& E = TopoDS::Edge(exp.Current()); int nb = aMesh.GetSubMesh(E)->GetSubMeshDS()->NbNodes(); if(_quadraticMesh) nb = nb/2; nbPoints += nb + 1; // internal points plus 1 vertex of 2 (last point ?) } return nbPoints; }